A collaborationbased approach to service specification and detection of implied scenarios

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 37-43

  Castejón, Humberto Nicolás ^a   Bræk, Rolv ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

Goal sequences; Goals; Implied scenarios; Roles; Service specification; Uml 2.0 collaborations

Indexed keywords

GOAL SEQUENCES; GOALS; IMPLIED SCENARIOS; ROLES; SERVICE SPECIFICATIONS; UML 2.0;

ALGORITHMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; TOOLS;

SPECIFICATIONS;

EID: 84885589581     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138953.1138962     Document Type: Conference Paper

References (12)

1. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In 22nd Intl. Conf. on Software Engineering (ICSE'00), pages 304-313, 2000.
2. H. N. Castejón. Synthesizing state-machine behaviour from UML collaborations and use case maps. In 12th Intl. SDL Forum, LNCS 3530, pages 339-359, 2005.
3. M. Jackson. Problems, subproblems and concerns. In Early Aspects 2004: Aspect-Oriented Requirements Engineering and Architecture Design, 2004.
4. I. H. Kruger, D. Gupta, R. Mathew, P. Moorthy, W. Phillips, S. Rittmann, and J. Ahluwalia. Towards a process and tool-chain for service-oriented automotive software engineering. In ICSE'04 Workshop on Software Engineering for Automotive Systems (SEAS), 2004.
5. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In 5th IEEE Intl. Symposium on Requirements Engineering (RE'01), page 249, 2001.
6. H. Muccini. Detecting implied scenarios analyzing non-local branching choices. In 6th Intl. Conf. Fundamental Approaches to Software Engineering (FASE'03), LNCS 3530, pages 372-386, 2003.
7. Object Management Group. UML 2.0 Superstructure Specification, August 2005.
8. F. Roßler, B. Geppert, and R. Gotzhein. Collaboration-based design of SDL systems. In 10th Intl. SDL Forum, LNCS 2078, pages 72-89, 2001.
9. R. T. Sanders and R. Bræk. Modeling peer-to-peer service goals in UML. In 2nd IEEE Intl. Conf. on Software Engineering and Formal Methods, 2004.
10. R. T. Sanders, R. Bræk, G. von Bochmann, and D. Amyot. Service discovery and component reuse with semantic interfaces. In 12th Intl. SDL Forum, LNCS 3530, pages 85-102, 2005.
11. R. T. Sanders, H. N. Castejón, F. A. Kraemer, and R. Bræk. Using UML 2.0 collaborations for compositional service specification. In ACM/IEEE 8th Intl. Conf. on Model Driven Eng. Languages and Systems (MoDELS), LNCS 3713, pages 460-475, 2005.
12. S. Uchitel, J. Kramer, and J. Magee. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol., 13(1):37-85, 2004.