A formal model of services

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A formal model of services

Full text

Pdf (451 KB)

Source

ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 16 , Issue 1 (February 2007) table of contents

Article No. 5

Year of Publication: 2007

ISSN:1049-331X

Authors

Manfred Broy	Technische Universität München, München, Germany
Ingolf H. Krüger	University of California, San Diego, La Jolla, CA
Michael Meisinger	Technische Universität München, München, Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 97, Downloads (12 Months): 792, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1189748.1189753 What is a DOI?

ABSTRACT

Service-oriented software systems rapidly gain importance across application domains: They emphasize functionality (services), rather structural entities (components), as the basic building block for system composition. More specifically, services coordinate the interplay of components to accomplish specific tasks. In this article, we establish a foundation of service orientation: Based on the Focus theory of distributed systems (see Broy and Stølen [2001]), we introduce a theory and formal model of services. In Focus, systems are composed of interacting components. A component is a total behavior. We introduce a formal model of services where, in contrast, a service is a partial behavior. For services and components, we work out foundational specification techniques and outline methodological development steps. We show how services can be structured and how software architectures can be composed of services and components. Although our emphasis is on a theoretical foundation of the notion of services, we demonstrate utility of the concepts we introduce by means of a running example from the automotive domain.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
	2	AspectJ. 2005. AspectJ Eclipse project. http://eclipse.org/aspectj/.
	3	Autosar. 2004. Automotive open system architecture. http://www.autosar.org.
	4	Don Batory , Jacob Neal Sarvela , Axel Rauschmayer, Scaling step-wise refinement, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	5	Broy, M., Hofmann, C., Krüger, I., and Schmidt, M. 1997. A graphical description technique for communication in software architectures. Tech. Rep. TUM-I9705, Technische Universität München, Institut für Informatik, München.
	6	Manfred Broy, A Functional Rephrasing of the Assumption/Commitment Specification Style, Formal Methods in System Design, v.13 n.1, p.87-119, May 1, 1998 [doi>10.1023/A:1008618722275 ]
	7	Manfred Broy , Ingolf Krüger, Interaction Interfaces - Towards a Scientific Foundation of a Methodological usage of Message Sequence Charts, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, p.2, December 09-11, 1998
	8	Manfred Broy , Ketil Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement, Springer-Verlag New York, Inc., Secaucus, NJ, 2001
	9	Broy, M. 2003. Modeling services and layered architectures. In Formal Techniques for Networked and Distributed Systems, H. König et al., eds. Lecture Notes in Computer Science, vol. 2767. 48--61.
	10	Alistair Cockburn, Writing Effective Use Cases, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	11	Dijkstra, E. W. 1971. Notes on structured programming. In Structured Programming, O. Dahl et al., eds., No. 8 in A.P.I.C. Studies in Data Processing. Academic Press, London. 1--82.
	12	Evans, E. 2003. Domain-Driven Design. Addison-Wesley, Boston.
	13	Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	14	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	15	Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
	16	J. Paul Gibson , Dominique Méry, Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem, Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics, p.155-179, July 06-09, 1999
	17	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9 ]
	18	D. Herzberg , M. Broy, Modeling layered distributed communication systems, Formal Aspects of Computing, v.17 n.1, p.1-18, May 2005 [doi>10.1007/s00165-004-0051-8]
	19	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	20	IBM. 2003. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1. IBM developerWorks.
	21	ISO. 1986. Information processing systems, open systems interconnection, basic reference model. ISO-7498. International Organization for Standardization, Geneva.
	22	ITU-T. 1993. Criteria for the use and applicability of formal description techniques. Recommendation Z. 120, Message Sequence Chart (MSC). ITU-T (previously CCITT), Geneva, March 1993.
	23	ITU-T. 1996. Recommendation Z.120 -- Message Sequence Chart (MSC 96). ITU-T, Geneva.
	24	Ivar Jacobson, Object-oriented software engineering, ACM Press, New York, NY, 1991
	25	Ivar Jacobson , Grady Booch , James Rumbaugh, The unified software development process, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	26	JXTA. 2001. JXTA project homepage. http://jxme.jxta.org.
	27	Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
	28	Kosmas, N. and Turner, K. J. 1997. Requirements for service creation environments. In Proceedings of the 2nd International Workshop on Applied Formal Methods in System Design (Zagreb) 133--137.
	29	Kotonya, G. and Sommerville, I. 1995. Requirements engineering with viewpoints. Tech. Rep. CSEG/10/1995, Cooperative Systems Engineering Group Computer Department, Lancaster University.
	30	Ingolf Krüger , Radu Grosu , Peter Scholz , Manfred Broy, From MSCs to statecharts, Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, p.61-71, October 1998, Scholoß Eringerfeld, Germany
	31	Krüger, I. 2000. Distributed system design with message sequence charts. Dissertation, Technische Universität München, München.
	32	Krüger, I. 2002. Specifying services with UML and UML-RT. Electron. Notes Theor. Comput. Sci. 65, 7, 1--17.
	33	Krüger, I. 2003. Capturing overlapping, triggered, and preemptive collaborations using MSCs. In Proceedings of the Fundamental Approaches to Software Engineering, 6th International Conference (FASE). Lecture Notes in Computer Science vol. 2621. Springer Verlag. 387--402.
	34	Krüger, I., Schätz, B., Broy, M., and Hussmann, H., eds. 2003. SBSE'03. Service-Based software engineering. In Proceedings of the FM2003 Workshop. Tech. Rep. TUM-I0315, Technische Universität München, München.
	35	Systematic Development and Exploration of Service-Oriented Software Architectures, Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA'04), p.177, June 12-15, 2004
	36	Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
	37	R. Milner, Communication and Concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	38	Nelson, E. C. and Prasad, K. V. 2003. Automotive Infotronics: An emerging domain for service-based architecture. In {Krüger et al. 2003}, pp. 3--14.
	39	OMG. 1999. Realtime CORBA joint revised submission. Object Management Group (OMG), document orbos/99-02-12 ed., March 1999.
	40	OMG. 2003. UML 2.0 infrastructure/superstructure final adopted specification. Object Management Group (OMG), documents ptc/03-09-15 and ptc/03-08-02.
	41	Parlay Group. 2001. Parlay 3.0 specification - Call control, framework, content-based charging. http://www.parlay.org/specs/index.asp.
	42	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	43	Peltz, C. 2003. Web services orchestration and choreography. IEEE Comput. 36, 10, 46--52.
	44	David S. Platt , Keith Ballinger, Introducing Microsoft® .NET, Microsoft Press, Redmond, WA, 2001
	45	Prehofer, C. 1997. Feature oriented programming: A fresh look at objects. In Proceedings of the ECOOP, (Jyväskylä, Finland) Lecture Notes in Computer Science, vol. 1241, Springer Verlag, 419--443.
	46	Prehofer, C. 2003. Plug-and-Play composition of features and feature interactions with statechart diagrams. In Proceedings of the 7th International Workshop on Feature Interactions in Telecommunications and Software Systems (Ottawa). 43--58.
	47	SANCHO. 2003. Definition for the term “(software) service,” Sector Abbreviations and definitions for a telecommunications thesaurus oriented database, ITU-T. http://www.itu.int/sancho.
	48	Bran Selic , Garth Gullekson , Paul T. Ward, Real-time object-oriented modeling, John Wiley & Sons, Inc., New York, NY, 1994
	49	James Snell , Doug Tidwell , Pavel Kulchenko, Programming Web services with SOAP, O'Reilly & Associates, Inc., Sebastopol, CA, 2002
	50	Sun. 2000. Jini architecture specification, version 1.1. Sun Microsystems, http://wwwwswest.sun.com/jini/specs/jini1_1.pdf.
	51	Clemens Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
	52	Trowbridge, D., Roxburgh, U., Hohpe, G., Manolescu, D., and Nadhan, E. G. 2004. Integration patterns. patterns and practices. Microsoft. http://www.microsoft.com.
	53	Turner, K. J. 1997. Relating services and features in the intelligent network. In Proceedings of the 4th International Conference on Telecommunications (Zagreb). 235--243.
	54	W3C. 2002. Web Service Choreography Interface (WSCI) 1.0. World Wide Web Consortium (W3C), online specification. http://www.w3.org/TR/wsci, August 2002.
	55	Pamela Zave, Feature Interactions and Formal Specifications in Telecommunications, Computer, v.26 n.8, p.20-29, August 1993 [doi>10.1109/2.223539 ]