iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://unpaywall.org/10.1007/978-3-540-85289-6_9
Modelling the CoCoME with the Java/A Component Model | SpringerLink
Skip to main content
Springer Nature Link
Log in

Modelling the CoCoME with the Java/A Component Model

  • Chapter
The Common Component Modeling Example

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5153))

  • 1052 Accesses

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

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Google Scholar 

  2. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, New York (1994)

    MATH  Google Scholar 

  3. Object Management Group: Unified Modeling Language: Superstructure, Version 2.0. Technical report, OMG (2005)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)

    Google Scholar 

  6. Bradley, J., Clark, A., Gilmore, S.: User manual for ipc: The Imperial PEPA Compiler (05/02/07), http://www.doc.ic.ac.uk/ipc

  7. 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)

    Google Scholar 

  8. Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SIGSOFT Softw. Eng. Notes 17(4), 40–52 (1992)

    Article  Google Scholar 

  9. 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/

  10. 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)

    Google Scholar 

  11. Magee, J., Kramer, J.: Concurrency — State Models and Java Programs. John Wiley & Sons, Chichester (1999)

    Google Scholar 

  12. 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/

  13. Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. Softw. Eng. Methodol. 11(4), 386–426 (2002)

    Article  Google Scholar 

  14. 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)

    Google Scholar 

  15. Bidoit, M., Hennicker, R.: A Model-theoretic Foundation for Contract-based Software Components (submitted, 2007), http://www.pst.ifi.lmu.de/people/staff/hennicker/

  16. 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)

    Google Scholar 

  17. Knapp, A.: Hugo/RT Web page (05/02/07), http://www.pst.ifi.lmu.de/projekte/hugo

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München,  

    Alexander Knapp, Stephan Janisch, Rolf Hennicker, Florian Hacklinger & Martin Wirsing

  2. Laboratory for Foundations of Computer Science, University of Edinburgh,  

    Allan Clark & Stephen Gilmore

  3. Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, Lyngby,  

    Hubert Baumeister

Authors
  1. Alexander Knapp
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephan Janisch
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rolf Hennicker
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Allan Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Stephen Gilmore
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Florian Hacklinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Hubert Baumeister
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andreas Rausch Ralf Reussner Raffaela Mirandola František Plášil

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation