The SysML notation within

SysML formal semantics

* Final gross prices may vary according to local VAT.


Abstract

In this work, we propose a semantics for Activity Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems which is based on the CSP and VDM specification languages. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Activity Diagrams, which comprises action, object and control nodes constructors, control and object flow, interruptible regions among other features. We illustrate our semantics with diagrams of an emergency response system. We also discuss an analysis strategy which involves an integrated view of diagrams like block definition and state machines.

You might also like
Static and Dynamic Web Pages
Static and Dynamic Web Pages
Unity Fog Of War. Tutorial 2. Static and dynamic fog of
Unity Fog Of War. Tutorial 2. Static and dynamic fog of ...
PHP Programming part1 : static and dynamic web pages
PHP Programming part1 : static and dynamic web pages
Machine Learning for Multimodal Interaction: 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008, Proceedings ... Applications, incl. Internet/Web, and HCI)
Book (Springer)
  • Used Book in Good Condition
Webinar: Delivering Static and Dynamic Content Using
Webinar: Delivering Static and Dynamic Content Using ...
WC-japan-steinar-web.m4v
WC-japan-steinar-web.m4v
Static and Dynamic Websites
Static and Dynamic Websites
Related Posts