Skip to main content

Abstract

This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of component behavior via behavior protocols, (iii) checking compatibility of components, (iv) verification of correspondence between component code and behavior specification, and (v) run-time monitoring of non-functional properties. Among the issues we have faced was the need to modify the architecture - the component hierarchy was reorganized in order to improve clarity of the design and the hierarchical bus was split into two independent buses. These were modeled by primitive components, since Fractal does not support message bus as a first-class entity. Since the CoCoME assignment does not include a complete UML behavior specification (e.g. via activity diagrams and state charts), behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation.

This work was partially supported by the Czech Academy of Sciences project 1ET400300504 and its results will be used in the ITEA/EUREKA project OSIRIS Σ!2023.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.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. Adamek, J., Bures, T., Jezek, P., Kofron, J., Mencl, V., Parizek, P., Plasil, F.: Component Reliability Extensions for Fractal Component Model (2006), http://kraken.cs.cas.cz/ft/public/public_index.phtml

  2. ASM, http://asm.objectweb.org/

  3. Baude, F., Baduel, L., Caromel, D., Contes, A., Huet, F., Morel, M., Quilici, R.: Programming, Composing, Deploying for the Grid. In: Cunha, J.C., Rana, O.F. (eds.) GRID COMPUTING: Software Environments and Tools. Springer, Heidelberg (January 2006)

    Google Scholar 

  4. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.B.: The FRACTAL component model and its support in Java. Softw., Pract. Exper. 36(11-12) (2006)

    Google Scholar 

  5. Bruneton, E., Coupaye, T., Stefani, J.B.: Fractal Component Model, version 2.0-3 (February 2004)

    Google Scholar 

  6. dChecker, http://dsrg.mff.cuni.cz/projects.phtml?p=dchecker

  7. Dream, http://dream.objectweb.org/

  8. FRACTNET, http://www-adele.imag.fr/fractnet/

  9. Fractal ADL, http://fractal.objectweb.org/fractaladl/index.html

  10. Fractal BPC, http://fractal.objectweb.org/fractalbpc/index.html

  11. Fractal GUI, http://fractal.objectweb.org/fractalgui/

  12. Fractal JMX, http://fractal.objectweb.org/fractaljmx/

  13. Fractal RMI, http://fractal.objectweb.org/fractalrmi/index.html

  14. Java Management Extensions (JMX) Specification, version 2.0, JSR 255, http://jcp.org/en/jsr/detail?id=255

  15. Java PathFinder, http://javapathfinder.sourceforge.net/

  16. JUnit, http://www.junit.org/

  17. Layaida, O., Hagimont, D.: PLASMA: A Component-based Framework for Building Self-Adaptive Applications. In: Proceedings of SPIE/IS&T Symposium On Electronic Imaging, Conference on Embedded Multimedia Processing and Communications, San Jose, CA, USA (January 2004)

    Google Scholar 

  18. Loiret, F., Servat, D., Seinturier, L.: A First Experimentation on High-Level Tooling Support upon Fractal. In: Proceedings of the 5th International ECOOP Workshop on Fractal Component Model (Fractal 2006), Nantes, France (July 2006)

    Google Scholar 

  19. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architecture, Proceeding of the 5th European Software Engineering Conference (ESE’C 1995). In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137–153. Springer, Heidelberg (1995)

    Google Scholar 

  20. Mencl, V., Bures, T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects. In: Proceedings of APSEC 2005, Taipei, Taiwan, December 2005, IEEE CS, Los Alamitos (2005)

    Google Scholar 

  21. Mencl, V., Polak, M.: UML 2.0 Components and Fractal: An Analysis. In: Proceedings of the 5th International ECOOP Workshop on Fractal Component Model (Fractal 2006), Nantes, France (July 2006)

    Google Scholar 

  22. Microsoft .NET Framework, http://www.microsoft.com/net/

  23. Object Management Group, Corba Components, version 3.0 (June 2002), http://www.omg.org/docs/formal/02-06-65.pdf

  24. OMG, Object Management Group: UML Profile for Schedulability, Performance and Time (2005), http://www.omg.org/cgi-bin/doc?formal/2005-01-02

  25. Parízek, P., Plášil, F.: Modeling Environment for Compoment Model Checking from Hierarchical Architecture. In: Proceedings of Formal Aspects of Component Software (FACS 2006), Prague, Czech Republic (September 2006)

    Google Scholar 

  26. Parízek, P., Plášil, F., Kofroň, J.: Model checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. In: Proceedings of 30th IEEE/NASA Sofrware Engineering Workshop (SEW-30), January 2007, pp. 133–141. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  27. Plášil, F., Višňovský, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering 28(11) (November 2002)

    Google Scholar 

  28. Seinturier, L., Pessemier, N., Duchien, L., Coupaye, T.: A Component Model Engineered with Components and Aspects. In: Gorton, I., Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  29. Simple Network Management Protocol (SNMP), RFC (1157), http://www.faqs.org/rfcs/rfc1157.html

  30. Sun Microsystems, JSR 220: Enterprise JavaBeansTM,Version 3.0

    Google Scholar 

  31. THINK, http://think.objectweb.org

  32. Visser, W., Havelund, K., Brat., G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal 10(2) (April 2003)

    Google Scholar 

  33. Fractal CoCoME, http://dsrg.mff.cuni.cz/cocome/fractal

Download references

Author information

Authors and Affiliations

Authors

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

Bulej, L. et al. (2008). CoCoME in Fractal. 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_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85289-6_14

  • 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