COSMO: A conceptual framework for service modelling and refinement
- 757 Downloads
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to model and reason about services, and to support operations, such as composition and discovery, which are performed on them at design and run-time. In particular, the framework should facilitate the use of different service description languages tailored to different service aspects, such as the behaviour of a service and the information it manipulates, or design tasks, such as modelling, analysis and implementation. The idea is that models produced by these languages can be mapped onto the concepts of the framework, thereby facilitating one to relate these models, e.g., to verify consistency. Therefore, a requirement on the framework is to provide concepts that capture all elementary and generic service properties that are relevant during the service development process. We capture these properties by analysing existing service definitions and from earlier experience. Furthermore, we want the same concepts to be applicable throughout the service development process when modelling and refining services at successive abstraction levels. The framework distinguishes three generic abstraction levels, and describes an approach to assess the conformance between the service models produced at these abstraction levels.
KeywordsService-orientation Service concept Service modelling Service refinement Interaction modelling
- A-MUSE (2006). A-MUSE project, http://a-muse.freeband.nl.
- Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., et al. (2005). Web Services Agreement Specification (WS-Agreement) Version 2005/09. http://www.gridforum.org/Public_Comment_Docs/Documents/Oct-2005/WS-AgreementSpecificationDraft050920.pdf.
- Baader, F., Calvanese, D., McGuinnes, D., Nardi, D., & Patel-Schneider, P. (2003). The description logic handbook: Theory, implementation and applications. Cambridge: Cambridge University Press. ISBN 0521781760.Google Scholar
- Baida, Z., Gordijn, J., & Omelayenko, B. (2004). A shared service terminology for online service provisioning. In Proceedings of the 6th Int. Conference on Electronic Commerce, vol. 60 (pp. 1–10).Google Scholar
- BPMN (2006). Business Process Modeling Notation (BPMN) information, http://www.bpmn.org.
- Bruijn, J., Bussler, C., Domingue, J., Fensel, D., Hepp, M., Keller, U., et al. (2005). Web Service Modeling Ontology (WSMO), W3C member submission 3 June 2005, http://www.w3.org/Submission/WSMO.
- Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., & Zuccalà, M. (2005). Speaking a common language: A conceptual model for describing service-oriented systems. In Proceedings of the 3rd International Conference on Service-oriented Computing (ICSOC) (pp. 48–60).Google Scholar
- Dijkman, R., & Dumas, M. (2004). Service-oriented design: A multi-viewpoint approach. International Journal of Cooperative Information Systems (IJCIS), Special Issue on Service Oriented Modeling, 13(4), 337–368.Google Scholar
- Dijkman, R., Quartel, D., Ferreira Pires, L., & van Sinderen, M. (2004). A rigorous approach to relate enterprise and computational viewpoints. In Proceedings of the 8th IEEE Enterprise Distributed Object Computing (EDOC) Conference, Monterey, USA (pp. 187–200).Google Scholar
- Dirgahayu, T. (2005). Model-driven engineering of web service compositions: A transformation from ISDL to BPEL. MSc thesis, University of Twente, Enschede, The Netherlands.Google Scholar
- IBM (2006). IBM service definition, http://www.research.ibm.com/ssme/services.shtml.
- ISO (1994). Information technology—Open Systems Interconnection—Basic Reference model—Conventions for the definition of OSI Services. ISO/IEC DIS 10731.Google Scholar
- Lamsweerde, A. (2001). Goal-oriented requirements engineering: A guided tour. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE’01) (pp. 249–263).Google Scholar
- Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott D., McIlraith, S., et al. (2004). OWL-S: Semantic markup for web services W3C Member Submission 22 November 2004, http://www.w3.org/Submission/OWL-S.
- Pokraev, S., Quartel, D., Steen, M., & Reichert, M. (2006). Semantic service modeling: Enabling system interoperability. In Proceedings of the International Conference on Interoperability for Enterprise Software and Applications (I-ESA’06) (pp. 221–231).Google Scholar
- Pokraev, S., Quartel, D., Steen, M., Wombacher, A., & Reichert, M. (2007). Business level service-oriented enterprise application integration. In Proceedings of I-ESA’07.Google Scholar
- Quartel, D., Dijkman, R., & van Sinderen, M. (2004). Methodological support for service-oriented design with ISDL. In Proceedings of the 2nd International Conference on Service Oriented Computing (pp. 1–10).Google Scholar
- Quartel, D., Dijkman, R., & van Sinderen, M. (2005a). An approach to relate business and application services using ISDL. In Proceedings of the 9th IEEE Enterprise Distributed Object Computing (EDOC) Conference (pp. 157–168).Google Scholar
- Quartel, D., Dijkman, R., & van Sinderen, M. (2005b). Extending profiles with stereotypes for composite concepts. In The 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS) (pp. 232–247).Google Scholar
- Quartel, D., Ferreira Pires, L., & van Sinderen, M. (2002). On architectural support for behaviour refinement in distributed systems design. Journal of Integrated Design and Process Science, 6(1), 1–30.Google Scholar
- Quartel, D., Steen, M., Pokraev, S., & van Sinderen, M. (2006). A conceptual framework for service modelling. In Proceedings Tenth IEEE International EDOC Enterprise Computing Conference (pp. 319–330).Google Scholar
- Sprott, D., & Wilkes L. (2004). Understanding service-oriented architecture. In CBDI Journal, CBDI Forum, January.Google Scholar
- Vissers, C., & Logrippo, L. (1986). The importance of the service concept in the design of data communication protocols. Protocol Specification, Testing and Verification, V, 3–17.Google Scholar
- W3C (2004). Web services architecture W3C Working Group Note 11 February 2004. http://www.w3.org/TR/ws-arch/.
- Wieringa, R. (2003). Design methods for reactive systems: Yourdon, statemate, and the UML. San Mateo, CA: Morgan Kaufmann.Google Scholar
- Wikipedia (2005). http://en.wikipedia.org.
- WSMO (2006). http://www.wsmo.org.
- Yud, E. (1997). Towards modelling and reasoning support for early-phase requirements engineering. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE‘97) (pp. 226–235).Google Scholar