China
Africa
Explore chapters and articles related to this topic
An agile process modelling approach for BIM projects
Published in Symeon E. Christodoulou, Raimar Scherer, eWork and eBusiness in Architecture, Engineering and Construction, 2017
Subject-oriented Business Process Management (S-BPM) is a methodology for modelling and executing business processes based on a conceptualisation of processes as a set of interactions between process-centric functionalities that are called “subjects”. The subjects in a process encapsulate their individual behaviour specifications (Fleischmann et al. 2012). Subjects exchange messages for coordinating their behaviours. The S-BPM approach is grounded in the Calculus of Communicating Systems by Milner (1999) and Communicating Sequential Processes by Hoare (1978). Abstract State Machines (ASM) (Börger and Stärk 2003) are used as the underlying formalism to allow instant transformation of S-BPM models into executable software. S-BPM mostly targets those applications where a stakeholder-oriented, agile approach to business process management is preferred over traditional methods based on global control flow. An increasing number of field studies demonstrate the use and benefits of S-BPM in practice (Fleischmann et al. 2015). Several open-source and commercial tools are available for modelling and execution support: www.i2pm.net.
Embedded Software Modeling and Design
Published in Louis Scheffer, Luciano Lavagno, Grant Martin, EDA for IC System Design, Verification, and Testing, 2018
Since its inception, a formal semantics has been part of the SDL standard (Z.100), including visual and textual constructs for the specification of both the architecture and the behavior of a system. The behavior of (active) SDL objects is described in terms of concurrently operating and asynchronously communicating abstract state machines (ASMs). SDL provides the formal behavior semantics that UML is currently missing: it is a language based on communicating state machines enabling tool support for simulation, verification, validation, testing, and code generation.
Models and Tools for Complex Embedded Software and Systems
Published in Luciano Lavagno, Igor L. Markov, Grant Martin, Louis K. Scheffer, Electronic Design Automation for IC System Design, Verification, and Testing, 2017
Since its inception, a formal semantics has been part of the SDL standard (Z.100), including visual and textual constructs for the specification of both the architecture and the behavior of a system. The behavior of (active) SDL objects is described in terms of concurrently operating and asynchronously communicating abstract state machines. SDL provides the formal behavior semantics that enables tool support for simulation, verification, validation, testing, and code generation.
On defining a model driven architecture for an enterprise e-health system
Published in Enterprise Information Systems, 2018
Blagoj Atanasovski, Milos Bogdanovic, Goran Velinov, Leonid Stoimenov, Aleksandar S. Dimovski, Bojana Koteska, Dragan Jankovic, Irena Skrceska, Margita Kon-Popovska, Boro Jakimovski
In the previous section, the requirement for a formal model for describing Processes was given(Riccobene and Scandurra 2009) based on Abstract State Machines (ASMs) to capture behaviour formalism at the PIM level, and (Tao et al. 2017) have proposed a framework for describing software architecture that is based on creating meta-models and constraints between the meta-models. We propose here a simpler model, which is inspired from ASMs and meta-models. With this model, we formalize the work-flow diagrams introduced in Section 4.2. The class diagram shown in Figure 6 is used to describe this model. A Process has a set of Implementation steps, such that each step is unique and identified with a name. The process knows the starting and terminating steps, identified by their names. The allowed transitions between steps are also part of the process.
An ASM-based characterisation of starvation-free systems
Published in International Journal of Parallel, Emergent and Distributed Systems, 2018
Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio
Our long-term research is aimed at providing an analogous framework for capturing computationally interesting properties with Abstract State Machines (ASMs) [2]. The goal is to enrich the general body-of-knowledge of the ASM framework and reinforce it as a conceptual tool that developers can find useful and practical in order to analyse system properties in an operational fashion. In this paper, ‘operational’ means that the formal specification describes procedurally the system behaviour by providing an abstract machine, which can be transformed in an executable form: this is the case of ASM-based models. This notation is usually mentioned in opposition to ‘declarative’ specifications which, instead, state the desired properties by applying a purely descriptive language: this is the case, for example, of temporal logics [3].