A collaboration-based approach to service specification and detection of implied scenarios

Authors:
Humberto Nicolás Castejón;Rolv Bræk
Affiliations:
Norwegian University of Science and Technology, Trondheim, Norway;Norwegian University of Science and Technology, Trondheim, Norway
Venue:
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Year:
2006

Citing 8
Cited 7

Inference of message sequence charts

Proceedings of the 22nd international conference on Software engineering
Goal-Oriented Requirements Engineering: A Guided Tour

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios

ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling Peer-to-Peer Service Goals in UML

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Detecting implied scenarios analyzing non-local branching choices

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Service discovery and component reuse with semantic interfaces

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

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
Synthesizing components with sessions from collaboration-oriented service specifications

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
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
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
On the realizability of collaborative services

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Methods for service specification should be simple and intuitive. At the same time they should be precise and allow early validations to be performed, in order to detect inconsistencies as early as possible in the service development cycle. In this paper we present a service specification approach based on UML 2.0 collaborations. It aims to be a constructive approach, rather than a corrective one, as it is intended to promote understanding and help reducing the number of specification errors. We also address the detection of implied scenarios from collaboration-based service specifications, and propose an approach that limits the state explosion problem. This is possible since the detection analysis is modular and it is performed at a high-levelof abstraction.