Live Sequence Charts (LSC) extend Message Sequence Charts (MSC), mainly by
distinguishing possible from necessary behavior. They thus enable the specification of rich …

Scenario languages are widely used in software development. Typical usage scenarios,
forbidden behaviors, test cases, and many more aspects can be depicted with graphical …

For a system of distributed processes, correctness can be ensured by (statically) checking
whether their composition satisfies properties of interest. However, Web services are …

Abstract Models express not only information about their intended domain but also about the
way in which the model is incomplete, or “partial”. This partiality supports the modeling …

The paper presents a method to compute performance metrics (response time, sojourn time,
throughput) on Unified Modeling Language design. The method starts with UML design …

Risk analysis is the identification and documentation of risks with respect to an organisation
or a target system. Established risk analysis methods and guidelines typically focus on a …

The purpose of this paper is to explain the standard for stairs for people with special needs.
This study was based on a literature review from various sources, particularly sources in …

There are many examples in the literature of algorithms for synthesizing state machines from
scenario-based models. The motivation for these is to automate the transition from scenario …

A well known challenge in the formal methods domain is to improve their integration with
practical engineering methods. In the context of embedded systems, model checking …

Abstract Models are used for a number of different purposes, from the requirements capture
and design of a new system, to the testing of an existing system. Many different modeling …