Design and validation of computer protocols
Design and validation of computer protocols
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Guest Editors' Introduction: Model-Driven Development
IEEE Software
Modeling Peer-to-Peer Service Goals in UML
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Service-Oriented Architecture: Concepts, Technology, and Design
Service-Oriented Architecture: Concepts, Technology, and Design
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
COSMO: A conceptual framework for service modelling and refinement
Information Systems Frontiers
Applied Ontology
Service discovery and component reuse with semantic interfaces
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
A UML2 profile for service modeling
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
Service engineering with the SIMS design and validation tools
Nordic Journal of Computing
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
| Hi-index | 0.00 |
Services are normally not performed by a single component, but result from the collaboration of several distributed components. Their precise specification and validation require complex models, where the intention of the service is easily lost in the detail. This paper exploits the concept of service goals that was earlier introduced to simplify service modeling. It describes the semantics of service goals, how to specify and how to use them. We show that so-called goal sequences can provide a designer-friendly, high-level description of the intention of the service, while maintaining simplicity, reusability and flexibility when composing from elementary services. By way of examples, we illustrate the difference between goal sequences and behavior descriptions. Finally we discuss issues related to the validation of goal sequences and their use at design time and runtime, for example in connection with service discovery.