Abstract
Most large-scaled software systems are logically structured in subsystems resp. components to cope with complexity. These components are deployed and executed within an distributed system infrastructure. Consequently, for many reasons, like for instance multi-user support or performance issues, the components are to some extent concurrently executed within an distributed environement. Note, this also holds for the Common Component Modelling Example (CoCoME).
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
Aleksy, M., Korthaus, A., Schader, M.: Implementing Distributed Systems with Java and CORBA. Springer, Heidelberg (2005)
Juric, M.B.: Professional J2EE EAI. Wrox Press (2002)
Beer, W., Birngruber, D., Mössenböck, H., Prähofer, H., Wöß, A.: Die.NET-Technologie. dpunkt.verlag (2006)
Harel, D., Rumpe, B.: What’s the semantics of semantics. IEEE Computer 37(10), 64–72 (2004)
Broy, M., Len, K.S.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)
Bergner, K., Broy, M., Rausch, A., Sihling, M., Vilbig, A.: A formal model for componentware. In: Foundations of Component-Based Systems. Cambridge University Press, Cambridge (2000)
Rausch, A.: Componentware: Methodik des evolutionären Architekturentwurfs. PhD thesis, Technische Universität München (2001)
Seiler, M.: UML-basierte Spezifikation und Simulation verteilter komponentenbasierter Anwendungen. Master’s thesis, Technische Universität Kaiserslautern (2005)
Rausch, A.: DisCComp - A Formal Model for Distributed Concurrent Components. In: Workshop Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2006) (2006)
Meyer, B.: Applying ’design by contract’. IEEE Computer 25(10) (1992)
Object Management Group (OMG): Unified Modeling Language (UML) 2.0 Superstructure Specification (2005), http://www.omg.org/docs/formal/05-07-04.pdf
Object Management Group (OMG): Meta Object Facility Core Specification Version 2.0 (2006), http://www.omg.org/docs/formal/06-01-01.pdf
Rausch, A.: Design by Contract + Componentware = Design by Signed Contract. Journal of Object Technology 1(3) (2002)
Object Management Group (OMG): Object Constraint Language (OCL) Specification (2006), http://www.omg.org/docs/formal/06-05-01.pdf
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. John Wiley, Chichester (1996)
Kivlehan, D.: DesignIt: Code Generator based on XML and Code Templates. Master’s thesis, The Queen’s University of Belfast (2000)
Rausch, A.: A Proposal for a Code Generator based on XML and Code Templates. In: Proceedings of the Workshop of Generative Techniques for Product Lines, 23rd International Conference on Software Engineering (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Appel, A., Herold, S., Klus, H., Rausch, A. (2008). Modelling the CoCoME with DisCComp. 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_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-85289-6_11
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)