37 search results - page 1 / 8 » Partial Order Semantics of Sequence Diagrams for Mobility |
DAGSTUHL
2003
13 years 5 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
ICTAC
2004
Springer
13 years 10 months ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
CORR
2010
Springer
13 years 1 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
DAGSTUHL
2003
13 years 5 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...