Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented software engineering
Object-oriented software engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
Using Roles with Types and Objects for Service Development
SMARTNET '99 Proceedings of the IFIP TC6 WG6.7 Fifth International Conference on Intelligence in Networks
Collaboration-Based Design of SDL Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Modeling Peer-to-Peer Service Goals in UML
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
The role concept in data models
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Specifying Component Behavior with Port State Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Using SDL for modeling behavior composition
SDL'03 Proceedings of the 11th international conference on System design
Service discovery and component reuse with semantic interfaces
SDL'05 Proceedings of the 12th international conference on Model Driven
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
A collaboration-based approach to service specification and detection of implied scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Specifying Service Composition Using UML 2.x and Composition Policies
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Milestones: Mythical Signals in UML to Analyze and Monitor Progress
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Dealing with Active and Stateful Services in the Service-Oriented Architecture
Service-Oriented Computing - ICSOC 2007 Workshops
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Describing component collaboration using goal sequences
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A comprehensive engineering framework for guaranteeing component compatibility
Journal of Systems and Software
A developer-friendly approach for the validation of dynamic compositions
SAM'10 Proceedings of the 6th international conference on System analysis and modeling: about models
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
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Application of stuck-free conformance to service-role composition
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
A UML2 profile for service modeling
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Collaborations and collaboration uses are features new to UML 2.0. They possess many properties that support rapid and compositional service engineering. The notion of collaboration corresponds well with the notion of a service, and it seems promising to use them for service specification. We present an approach where collaborations are used to specify services, and show how collaborations enable high level feature composition by means of collaboration uses. We also show how service goals can be combined with behavior descriptions of collaborations to form what we call semantic interfaces. Semantic interfaces can be used to ensure compatibility when binding roles to classes and when composing systems from components. Various ways to compose collaboration behaviors are outlined and illustrated with telephony services.