Abstract
The Java/A approach aims at semantically well-founded and coherent modelling and programming concepts for components: based on sound theoretical foundations it enhances the widely used UML 2.0 component model by modular analysis and verification techniques and a Java-based architectural programming language.
This research has been partially supported by the EC 6th Framework project SENSORIA “Software Engineering for Service-Oriented Overlay Computers” (IST 016004) and the GLOWA-Danube project (01LW0303A) sponsored by the German Federal Ministry of Education and Research.
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
Baumeister, H., Hacklinger, F., Hennicker, R., Knapp, A., Wirsing, M.: A Component Model for Architectural Programming. In: Barbosa, L., Liu, Z. (eds.) Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS 2005). Elect. Notes Theo. Comp. Sci, vol. 160, pp. 75–96 (2006)
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, New York (1994)
Object Management Group: Unified Modeling Language: Superstructure, Version 2.0. Technical report, OMG (2005)
Lau, K.K., Wang, Z.: A Survey of Software Component Models (Second Edition). Technical Report CSPP-38, School of Computer Science, The University of Manchester (2006)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Bradley, J., Clark, A., Gilmore, S.: User manual for ipc: The Imperial PEPA Compiler (05/02/07), http://www.doc.ic.ac.uk/ipc
Hacklinger, F.: Java/A – Taking Components into Java. In: Proc. 13th ISCA Int. Conf. Intelligent and Adaptive Systems and Software Engineering (IASSE 2004), ISCA, Cary, NC, pp. 163–169 (2004)
Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SIGSOFT Softw. Eng. Notes 17(4), 40–52 (1992)
Baumeister, H., Clark, A., Gilmore, S., Hacklinger, F., Hennicker, R., Janisch, S., Knapp, A., Wirsing, M.: Modelling the CoCoME with the Javaa Component Model (05/02/07), http://www.pst.ifi.lmu.de/Research/current-projects/cocome/
Reussner, R., Krogmann, K., Koziolek, H., Rausch, A., Herold, S., Klus, H., Welsch, Y., Hummel, B., Meisinger, M., Pfaller, C., Mirandola, R.: CoCoME — The Common Component Modelling Example. In: The Common Component Modeling Example: Comparing Software Component Models, ch. 3 (2007)
Magee, J., Kramer, J.: Concurrency — State Models and Java Programs. John Wiley & Sons, Chichester (1999)
Hennicker, R., Janisch, S., Knapp, A.: On the Compositional Analysis of Hierarchical Components with Explicit Ports (submitted, 2007) (06/22/07), http://www.pst.ifi.lmu.de/Research/current-projects/cocome/
Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. Softw. Eng. Methodol. 11(4), 386–426 (2002)
Hennicker, R., Baumeister, H., Knapp, A., Wirsing, M.: Specifying Component Invariants with OCL. In: Bauknecht, K., Brauer, W., Mück, T. (eds.) Proc. GI/OCG-Jahrestagung, vol. 157/I of books@ocg.at., pp. 600–607. Austrian Computer Society (2001)
Bidoit, M., Hennicker, R.: A Model-theoretic Foundation for Contract-based Software Components (submitted, 2007), http://www.pst.ifi.lmu.de/people/staff/hennicker/
Buchholtz, M., Gilmore, S., Haenel, V., Montangero, C.: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 286–301. Springer, Berlin (2005)
Knapp, A.: Hugo/RT Web page (05/02/07), http://www.pst.ifi.lmu.de/projekte/hugo
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Knapp, A. et al. (2008). Modelling the CoCoME with the Java/A Component Model. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-85289-6_9
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)