Abstract
In Service-Oriented Architectures (SOAs), software systems are decomposed into independent units, namely services, that interact with one another through message exchanges. To promote reuse and evolvability, these interactions are explicitly described right from the early phases of the development lifecycle. Up to now, emphasis has been placed on capturing structural aspects of service interactions. Gradually though, the description of behavioral dependencies between service interactions is gaining increasing attention as a means to push forward the SOA vision. This paper deals with the description of these behavioral dependencies during the analysis and design phases. The paper outlines a set of requirements that a language for modeling service interactions at this level should fulfill, and proposes a language whose design is driven by these requirements.
An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914853_71.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, version 1.1, May (2003), Available at: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302–318. Springer, Heidelberg (2005), Extended version available as Technical Report FIT-TR-2005-02, Faculty of IT, Queensland University of Technology, http://eprints.qut.edu.au/archive/00002295
Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation (November 2005), http://www.w3.org/TR/ws-cdl-10
Benatallah, B., Casati, F., Toumani, F., Hamadi, R.: Conceptual Modelling of Web Service Conversations. In: Eder, J., Missikoff, M. (eds.) CAiSE 2003. LNCS, vol. 2681, pp. 449–467. Springer, Heidelberg (2003)
Clark, J., Casanave, C., Kanaskie, K., Harvey, B., Clark, J., Smith, N., Yunker, J., Riemer, K. (eds.): ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS Specification (May 2001), http://www.ebxml.org/specs/ebBPSS.pdf
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)
Decker, G., Kirov, M., Zaha, J.M., Dumas, M.: Maestro for Let’s Dance: An Environment for Modeling Service Interactions. In: Demonstration Session of the 4th International Conference on Business Process Management (BPM), Vienna, Austria (September 2006)
Decker, G., Zaha, J.M., Dumas, M.: Execution Semantics for Service Choreographies. In: Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM), Vienna, Austria, September 2006. Springer, Heidelberg (2006)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Tool Support for Model-Based Engineering of Web Service Compositions. In: Proceedings of the IEEE International Conference on Web Servies (ICWS), Orlando FL, USA, July 2005. IEEE Computer Society, Los Alamitos (2005)
Green, T.R.G., Petre, M.: Usability Analysis of Visual Programming Environments: A ’Cognitive Dimensions’ Framework. Journal of Visual Languages and Computing 7(2), 131–174 (1996)
Halpin, T.: Information Modeling and Relational Databases - From onceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol. 1. Springer, Berlin (1997)
Martin, D., Paolucci, M., McIlraith, S.A., Burstein, M., McDermott, D., McGuinness, D.L., Parsia, B., Payne, T.R., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.P.: Bringing Semantics to Web Services: The OWL-S Approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26–42. Springer, Heidelberg (2005)
Object Mangement Group (OMG): UML Profile for EDOC (February 2004), http://www.omg.org/technology/documents/formal/edoc.htm
Object Management Group (OMG): UML 2.0 Superstructure Specification. OMG Document ptc/04-10-02 (October 2004), http://www.omg.org/cgi-bin/doc?ptc/2004-10-02
Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology 1(1), 77–106 (2005)
RosettaNet: Partner Interface Protocols, http://www.rosettanet.org
White, S.: Business Process Modeling Notation (BPMN) – Version 1.0 (May 2004), http://www.bpmi.org
Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let’s Dance: A Unified Language for Service Behavior Modeling. Technical Report FIT-2006, Faculty of IT, Queensland University of Technology(2006), http://eprints.qut.edu.au/archive/00004468
Zaha, J.M., Dumas, M., ter Hofstede, A., Barros, A., Decker, G.: Service Interaction Modeling: Bridging Global and Local Views. In: Proceedings of the Tenth IEEE International Conference on Enterprise Distributed Object Computing (EDOC), Hong Kong, China, October 2006. IEEE Computer Society Press, Los Alamitos (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A. (2006). Let’s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. OTM 2006. Lecture Notes in Computer Science, vol 4275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11914853_10
Download citation
DOI: https://doi.org/10.1007/11914853_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48287-1
Online ISBN: 978-3-540-48289-5
eBook Packages: Computer ScienceComputer Science (R0)