Sciweavers

ECBS
2009
IEEE
187views Hardware» more  ECBS 2009»
14 years 7 months ago
On the Meaning of SysML Activity Diagrams
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 se...
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar