Paper Info
Title
On the Meaning of SysML Activity Diagrams
Abstract
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational semantics that provides a rigorous and intuitive operational understanding of the behavior captured by the diagram. The semantics covers advanced control flows such as unstructured loops and concurrent control flows. Further more, our approach allows non well-formed control flows, with mixed and nested forks and joins. The probabilistic behaviors as specified in SysML are also considered. This formalization allows us to build a sound framework for the verification and validation of systems design expressed in SysML activity diagrams.
Year
DOI
Venue
2009
10.1109/ECBS.2009.25
ECBS
Keywords
Field
DocType
probabilistic behavior,dedicated algebraic-like language,nested fork,non well-formed control flow,concurrent control flow,intuitive operational understanding,activity calculus,sysml activity diagram,operational semantics,sysml activity diagrams,advanced control,activity diagram,algebra,probabilistic logic,calculus,probability density function,sysml,control flow,formal verification,computer security,systems analysis,semantics,system design,data mining,petri nets,concurrent computing,concurrency control,modeling,information systems,verification and validation,unified modeling language
Joins,Operational semantics,Petri net,Programming language,Unified Modeling Language,Computer science,Activity diagram,Theoretical computer science,Systems Modeling Language,Semantics,Formal verification
Conference
Citations 
PageRank 
References 
11
0.74
15
Authors
3
Name
Order
Citations
PageRank
Yosr Jarraya117314.52
Mourad Debbabi21467144.47
Jamal Bentahar3110796.78