Statecharts: A visual formalism for complex systems
Science of Computer Programming
Real-time object-oriented modeling
Real-time object-oriented modeling
Use case maps for object-oriented systems
Use case maps for object-oriented systems
Software architecture in practice
Software architecture in practice
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The SDL pattern approach — a reuse-driven SDL design methodology
Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
The 4+1 View Model of Architecture
IEEE Software
Designing Software for Ease of Extension and Contraction
IEEE Transactions on Software Engineering
Dealing with Active and Stateful Services in the Service-Oriented Architecture
Service-Oriented Computing - ICSOC 2007 Workshops
Formalizing collaboration goal sequences for service choreography
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A compositional approach to service validation
SDL'05 Proceedings of the 12th international conference on Model Driven
Synthesizing state-machine behaviour from UML collaborations and use case maps
SDL'05 Proceedings of the 12th international conference on Model Driven
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
The concept of collaborations capturing dynamic aspects of a distributed system across agent boundaries is elaborated in the context of SDL-2000. Several ways of composing collaborations are introduced, with collaborations being implicitly represented as SDL fragments. A new language for their explicit formal description, called CoSDL (Collaborations in SDL systems) is then introduced and illustrated.