Protocol Modelling Semantics for Embedded Systems

Abstract

Abstract

Advances in Behavior Modeling

“…They are able to support the system life cycle from requirements to implementation. There are published case studies that use CPNs in all stages of development for flexible manufacturing [48], industrial applications [49], business processes [50], and embedded systems [51]. Execution, simulation, and analysis of CPNs are supported by the CPN tool [47].…”

“…The reader will be able to compare the ability of modeling semantics to localize concerns and support model evolution. Figures 13 and 14 [51] show the CPN model of a mobile phone with a phone book. Figure 13 contains the declarations of the variables and functions.…”

CSP parallel composition of aspect models

“…However, Protocol Models can be represented in any notation that can support the semantics of an event alphabet and the ability of a machine to accept or refuse a presented event. Previous work by the authors [20] demonstrates how the semantics of popular notations can be modified to support Protocol Modelling semantics. This paper is structured as follows: Section 2 defines the Protocol Modelling approach to modelling behavioural aspects and discusses local reasoning.…”