Using UML 2.0 collaborations for compositional service specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3713 LNCS, Issue , 2005, Pages 460-475

  Sanders, Richard Torbjørn ^a   Castejón, Humberto Nicolás ^b   Kraemer, Frank Alexander ^b   Bræk, Rolv ^b  

^a SINTEF ICT   (Norway)

^b NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

INTERFACES (COMPUTER); QUALITY OF SERVICE; SEMANTICS; TELEPHONE SYSTEMS;

COLLABORATIONS; COMPOSITIONAL SERVICE ENGINEERING; SEMANTIC INTERFACES; TELEPHONY SERVICES;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 33646188126     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_35     Document Type: Conference Paper

References (27)

1. Bræk, R., Floch, J.: ICT convergence: Modeling issues. In: Proc. of the 4th Int. SDL and MSC (SAM) Workshop, Ottawa, Canada, LNCS 3319, Springer (2004)
2. Sanders, R.T., Bræk, R., von Bochmann, G., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: Proc. of the 12th Int. SDL Forum, Grimstad, Norway, LNCS 3530, Springer (2005)
3. Rößler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Proc. of the 10th Int. SDL Forum, Copenhagen, Denmark, LNCS 2078, Springer (2001)
4. Sanders, R.T., Bræk, R.: Discovering service opportunities by evaluating service goals. In: Proc. of the 10th EUNICE and IFIP Workshop on Advances in Fixed and Mobile Networks, Tampere, Finland (2004)
5. Castejón, H.N.: Synthesizing state-machine behaviour from UML collaborations and Use Case Maps. In: Proc. of the 12th Int. SDL Forum, Norway, LNCS 3530, Springer (2005)
6. Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Dep. of Telematics, Norwegain Univ. Sci. and Tech., Trondheim, Norway (2003)
7. Object Management Group: UML 2.0 Superstructure Specification. (2004)
8. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. 2nd edn. Addison-Wesley (2004)
9. Bræk, R.: Using roles with types and objects for service development. In: IFIP 5th Int. Conf. on Intelligence in Networks (SMARTNET), Pathumthani, Thailand, Kluwer (1999)
10. Sanders, R.T., Bræk, R.: Modeling peer-to-peer service goals in UML. In: Proc. of the 2nd Int. Conf. on Soft. Eng. and Formal Methods (SEFM'04), IEEE Computer Society (2004)
11. Mencl, V.: Specifying component behavior with port state machines. Electr. Notes Theor. Comput. Sci. 101 (2004) 129-153
12. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons (1994)
13. Floch, J., Bræk, R.: A compositional approach to service validation. In: Proc. of the 12th Int. SDL Forum, Grimstad, Norway, LNCS 3530, Springer (2005)
14. Diethelm, I., Geiger, L., Maier, T., Zündorf, A.: Turning collaboration diagram strips into storycharts. In: Workshop on Scenarios and state machines: models, algorithms, and tools; ICSE'02, Orlando, Florida, USA. (2002)
15. Floch, J., Bræk, R.: Using SDL for modeling behavior composition. In: Proc. of the 11th Int. SDL Forum, Stuttgart, Germany, LNCS 2708, Springer (2003)
16. ITU-T Draft Recommendation Z.152: URN - Use Case Maps notation (UCM). (2004)
17. ITU-T Recommendation Z.120: Message Sequence Charts (MSC). (2004)
18. Jacobson, I., Christerson, M., Jonsson, P., Øvergaard, G.: Object-Oriented Software Engineering: A Case Driven Approach. Addison-Wesley (1992)
19. ITU-T Recommendation Z.100: Specification and Description Language (SDL). (2002)
20. International Organization for Standardization (ISO): Estelle: a formal description technique based on an extended state transition model. ISO9074. (1989)
21. Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8 (1987) 231-274
22. Bachman, C.W., Daya, M.: The role concept in data models. In: Proc. of the 3rd Int. Conference on Very Large Data Bases, Tokyo, Japan, IEEE Computer Society (1977)
23. Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The OOram Software Engineering Method. Prentice Hall (1996)
24. Rößler, F., Geppert, B., Gotzhein, R.: CoSDL: An experimental language for collaboration specification. In: Proc. of the 3rd Int. SDL and MSC (SAM) Workshop, Aberystwyth, UK, LNCS 2599, Springer (2002)
25. Haugen, Ø., Møller-Pedersen, B.: The fine arts of service modeling. Technical report, Internal report. ARTS (2003) http://www.pats.no/ projects/ARTS/arts.html.
26. Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML/RT in the FUJABA real-time tool suite. In: Proc. of the Int. Workshop on Specification and Vaildation of UML models for Real Time and embedded Systems (SVERTS), associated with UML2004, Lisbon, Portugal (2004)
27. Alsnes, R.: Role validation tool. Master's thesis, NTNU (2004)