20 search results - page 1 / 4 » Automatic Translation of UML Sequence Diagrams into PEPA Mod... |
QEST
2008
IEEE
13 years 10 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
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
2010
Springer
13 years 7 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
DEXA
2005
Springer
13 years 10 months ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between di...
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...