Abstract
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a service-based development process applicable in safety-critical areas, a precise understanding of the notions service, component and interface is introduced as well as methodical steps like composition, and consistency and completeness validation. The applicability of our definitions is demonstrated in the context of tool-supported feature interaction detection.
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
Aho, A., Gallagher, N., Griffeth, N., Schell, C., Swayne, D.: SCF3/Sculptor with Chisel. In: Kimbler, K., et al. (eds.) Proc. 5th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (1998)
Alur, R., Henzinger, T.: Reactive Modules. In: Formal Methods in Systems Design, vol. 1(15). Kluwer Academic Publishers, Dordrecht (1999)
Biere, A.: Effiziente Modellprüfung des μ-Kalküls mit binären Entscheidungsdiagrammen. Ph.D. Thesis. Universität Karlsruhe (1997)
Berners-Lee, T.: Are we done yet?, http://www.w3.org/2001/Talks/0501-tbl/
Broy, M., Stoelen, K.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1, W3C Note, http://www.w3.org/TR/wsdl
Calder, M., et Magill, E. (eds.): Proc. 6th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (2000)
Griffeth, N., et al.: Feature Interaction Detection Contest. Instructions (1999), http://wwwdb.research.bell-labs.com/user/nancyg/instructions.ps
Grosu, R., Stoelen, K.: Specification of Dynamic Networks. In: Proceedings of the 8th Nordic Workshop on Programming Theory, Oslo, Norway. University of Oslo (1996)
Huber, F., Schätz, B.: Integrating Formal Description Techniques. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, p. 1206. Springer, Heidelberg (1999)
Huber, F., Schätz, B., Einert, G.: Consistent Graphical Specification of Distributed Systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313. Springer, Heidelberg (1997)
Jackson, M., Zave, P.: New Feature Interactions in Mobile and Multimedia Telecommunication Services. In: Calder, M., et al. (eds.) Proc. 6th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (2000)
Koshumi, A., Bevelo, R.J.: A Detection Method Developed after A Thorough Study of the Contest Held in 1998. In: Calder, M., et al. (eds.) Proc. 6th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (2000)
Kimbler, K., et Bouma, L. (eds.): Proc. 5th Feature Interactions in Telecommunications and Software Systems. IOS Press, Amsterdam (1998)
Krüger, I.: Distributed System Design with Message Sequence Charts, Dissertation, Technische Universität München (2000)
Logothetis, G., Schneider, K.: Symbolic Model-Checking of Real-Time Systems. In: Eighth International Symposium on Temporal Representation and Reasoning (TIME 2001). IEEE Computer Society, Los Alamitos (2001)
Kof, L., Schätz, B.: Dimensions of Design: Combining Aspects of Reactive Systems. In: Perspectives Of System Informatics (5th Andrei Ershov International Conference). LNCS. Springer, Heidelberg (2003)
Lamport, L.: Specification and Verification of Concurrent Programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803. Springer, Heidelberg (1994)
Lynch, N., Tuttle, M.: An Introdcution to Input/Output Automata. CWI Quaterly 3(2) (1989)
Mühlhäuser, M. (ed.): Special Issues in Object- Oriented Programming – Proceedings of WCOP 1996. dpunkt Verlag, Heidelberg (1997)
OASIS Web Page, http://www.oasis-open.org/committees/wscm
Christian Salzmann Modellbasierter Entwurf spontaner Komponentensysteme. PhD Thesis Technische Universität München (2002)
Schätz, B.: Towards Service-Based Systems Engineering: Formalizing and mu- Checking Service Specifications. Tech. Report TUMI-0602, TU München (2002)
Stoelen, K., Dederichs, F., Weber, R.: Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents. Technical Report TUM-I9303, TU München (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schätz, B., Salzmann, C. (2003). Service-Based Systems Engineering: Consistent Combination of Services. In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-39893-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20461-9
Online ISBN: 978-3-540-39893-6
eBook Packages: Springer Book Archive