CoCoME in fractal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5153 LNCS, Issue , 2008, Pages 357-387

  Bulej, Lubomír ^a,b   Bureš, Tomáš ^a,b   Coupaye, Thierry ^c   Děcký, Martin ^a   Ježek, Pavel ^a   Parízek, Pavel ^a   Plášil, František ^a,b   Poch, Tomáš ^a   Rivierre, Nicolas ^c   Šerý, Ondřej ^a   Tůma, Petr ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^c ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BUSES; CODES (SYMBOLS); DIFFRACTIVE OPTICAL ELEMENTS; FRACTALS; GRAPHIC METHODS; NETWORK PROTOCOLS; SPECIFICATIONS; UNIFIED MODELING LANGUAGE;

ACTIVITY DIAGRAMS; BEHAVIOR SPECIFICATIONS; COMPONENT BEHAVIORS; COMPONENT CODES; COMPONENT MODELS; FUNCTIONAL PROPERTIES; HIERARCHICAL; JAVA IMPLEMENTATIONS; MODELING ARCHITECTURES; STATE CHARTS; UML SEQUENCE DIAGRAMS; USE CASES;

NETWORK ARCHITECTURE;

EID: 54249117803     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85289-6_14     Document Type: Conference Paper

References (30)

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)
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)
5. Bruneton, E., Coupaye, T., Stefani, J.B.: Fractal Component Model, version 2.0-3 (February 2004)
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)
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)
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)
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)
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)
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)
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)
27. Plášil, F., Višňovský, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering 28(11) (November 2002)
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)
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