24 search results - page 1 / 5 » Supporting UML Sequence Diagrams with a Processor Net Approa... |
JSW
2007
13 years 4 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
ECMDAFA
2009
Springer
13 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
SEKE
2004
Springer
13 years 10 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
EDOC
2008
IEEE
13 years 6 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
JUCS
2002
13 years 4 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...