Abstract
Reactive distributed systems, including business information systems and embedded control systems, require systematic software engineering approaches that can manage the complexity of the system and the development. This helps to ensure resulting implementations of high quality within reasonable cost and time frames. The CoCoME POS system (see Chapter 3) is a telling example that combines elements of both system classes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Gruler, A., Harhurin, A., Hartmann, J.: Modeling the Functionality of Multi-Functional Software Systems. In: 14th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS), pp. 349–358. IEEE Computer Society Press, Los Alamitos (2007)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, New York (2001)
Broy, M.: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures–The Janus-Approach. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute, pp. 47–82. Springer, Heidelberg (2005)
Krüger, I., Mathew, R., Meisinger, M.: Efficient Exploration of Service-Oriented Architectures using Aspects. In: Proceedings of the 28th International Conference on Software Engineering (ICSE) (2006)
Broy, M., Krüger, I., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(1) (2007)
Krüger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München (2000)
Technische Universität München: AutoFocus 2 (2007), http://www4.informatik.tu-muenchen.de/~af2
Huber, F., Schätz, B., Schmidt, A., Spies, K.: AutoFocus - A Tool for Distributed Systems Specification. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol. 1135, pp. 467–470. Springer, Heidelberg (1996)
Hartmann, J., Rittmann, S., Scholz, P., Wild, D.: A Compositional Approach for Functional Requirement Specifications of Automotive Software Systems. In: Proceedings of the Workshop on Automotive Requirements Engineering (AuRE 2006) (2006)
Deubler, M., Grünbauer, J., Holzbach, A., Popp, G., Wimmel, G.: Kontextadaptivität in dienstbasierten Softwaresystemen. Technical Report TUM-I0511, Institut für Informatik, Technische Universität München TUM (2005)
Deubler, M., Grünbauer, J., Jürjens, J., Wimmel, G.: Sound development of secure service based systems. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC) (2004)
Broy, M., Bauer, A., Romberg, J., Schätz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: AutoMoDe – Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE, Detroit (2005) SAE 05AE-268
Fox, J., Jürjens, J.: A Framework for Analyzing Composition of Security Aspects. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R., eds.: Methods for Modelling Software Systems (MMOSS). Number 06351 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2007)
Spichkova, M.: Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, Technische Universität München (2007)
Technische Universität München, Institut für Informatik: CoCoME Full Model (2007), http://www4.in.tum.de/~af2/cocome.zip
ITU-TS: Recommendation Z.120: Message Sequence Chart (MSC), Geneva (1996)
Huber, F., Schätz, B.: Rapid Prototyping with AutoFocus. In: GI-FDT 1997 (1997)
Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL – A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Broy, M. et al. (2008). Service-Oriented Modeling of CoCoME with Focus and AutoFocus. In: Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds) The Common Component Modeling Example. Lecture Notes in Computer Science, vol 5153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85289-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-85289-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85288-9
Online ISBN: 978-3-540-85289-6
eBook Packages: Computer ScienceComputer Science (R0)