CoCoME in SOFA

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

Volumn 5153 LNCS, Issue , 2008, Pages 388-417

  Bureš, Tomáš ^a,b   Děcký, Martin ^a   Hnětynka, Petr ^a   Kofroň, Jan ^a,b   Parízek, Pavel ^a   Plášil, František ^a,b   Poch, Tomáš ^a   Šerý, Ondřej ^a   Tůma, Petr ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER ARCHITECTURE; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; HIERARCHICAL SYSTEMS; MODEL CHECKING; NETWORK ARCHITECTURE; NETWORK PROTOCOLS; SENSOR NETWORKS; SPECIFICATIONS; UNIFIED MODELING LANGUAGE; USER INTERFACES;

BEHAVIOR SPECIFICATIONS; COMPONENT BEHAVIORS; HIERARCHICAL; HIERARCHICAL COMPONENT MODELS; JAVA CODES; JAVA IMPLEMENTATIONS; LAYERED QUEUES; MODELING; MODELING ARCHITECTURES; RESOURCE USAGES; STATE CHARTS; UML SEQUENCE DIAGRAMS; USE CASES;

JAVA PROGRAMMING LANGUAGE;

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

References (33)

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. Adamek, J., Plasil, F.: Component Composition Errors and Update Atomicity: Static Analysis. Journal of Software Maintenance and Evolution: Research and Practice 17(5) (September 2005)
3. Aldrich, J., Chambers, C., Notkin, D.: ArchJava: Connecting Software Architecture to Implementation. In: Proc. of ICSE 2002, Orlando, USA (May 2002)
4. Allen, R.J.: A Formal Approach to Software Architecture, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University (May 1997)
5. Balsamo, S., DiMarco, A., Inverardi, P., Simeoni, M.: Model-based Performance Prediction in Software Development. IEEE Transactions on Software Engineering 30(5) (May 2004)
6. Baumeister, H., Hacklinger, F., Hennicker, R., Knapp, A., Wirsing, M.: A Component Model for Architectural Programming. In: ENTCS, Vol. 160 (August 2006)
7. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: The Fractal Component Model and Its Support in Java. Software Practice and Experience, Special issue on Experiences with Auto-adaptive and Reconfigurable Systems 36(11-12) (2006)
8. Bures, T.: Generating Connectors for Homogeneous and Heterogeneous Deployment, Ph.D. Thesis, Dep. of SW Engineering, Charles University, Prague (September 2006)
9. Bures, T., Hnetynka, P., Plasil, F.: SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In: Proc. of SERA 2006, Seattle, USA, August 2006, IEEE CS, Los Alamitos (2006)
10. Eclipse Modeling Framwork, http://www.eclipse.org/emf/
11. Enterprise Java Beans specification, version 2.1, Sun Microsystems (November 2003)
12. Ghosh, A., Givargis, T.: Cache optimalization for embedded processor cores: An analytical approach. ACM Transactions on Design Automation of Electronic Systems (TODAES), 9(4) (October 2004)
13. Haas, P.J.: Stochastic Petri Nets: Modelling. Springer, New York (2002)
14. Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for Software Architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344. Springer, Heidelberg (2006)
15. Hnetynka, P., Plasil, F.: Dynamic Reconfiguration and Access to Services in Hierarchical Component Models. In: Gorton, I., Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063. Springer, Heidelberg (2006)
16. Kofron, J.: Extending Behavior Protocols With Data and Multi-synchronization, Tech. Report No. 2006/10, Dep. of SW Engineering, Charles University in Prague (October 2006)
17. Magee, J., Kramer, J.: Concurrency State Models & Java Programs. Wiley, Chichester (1999)
18. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proc. of FSE 2004, San Francisco, USA (October 1996)
19. Mencl, V., Bures, T.: Microcomponent-Based Component Controllers: A Foundation for Component Aspects. In: Proc. of APSEC 2005, Taipei, Taiwan, December 2005, IEEE CS, Los Alamitos (2005)
20. OMG: UML Profile for Schedulability, Performance and Time, OMG document formal/2005-01-02 (January 2005)
21. OMG: CORBA Components, v 3.0, OMG document formal/02-06-65 (June 2002)
22. OMG: MDA Guide, v. 1.0.1, OMG document omg/03-06-01 (Jun 2003)
23. van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala Component Model for Consumer Electronics Software. IEEE Computer 33(3) (March 2000)
24. Plasil, F., Balek, D., Janecek, R.: SOFA/DCUP: Architecture for Component Trading and Dynamic Updating. In: Proc. of ICCDS 1998, Annapolis, USA. IEEE CS Press, Los Alamitos (May 1998)
25. Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering 28(11) (November 2002)
26. Seinturier, L., Pessemier, N., Duchien, L., Coupaye, T.: A Component Model Engineered with Components and Aspects. In: Gorton, I., Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2006. LNCS, vol. 4063. Springer, Heidelberg (2006)
27. SOFA CoCoME (2007), http://dsrg.mff.cuni.cz/cocome/sofa
28. SOFA 2.0 implementation, http://sofa.objectweb.org/
29. Spin, http://www.spinroot.com/
30. Sun Microsystems, JSR 220: Enterprise JavaBeansTM, Version 3.0
31. Woodside, C.M., Neron, E., Ho, E.D.S., Mondoux, B.: An Active-Server Model for the Performance of Parallel Programs Written Using Rendezvous. Journal of Systems and Software (1986)
32. Xu, J., Oufimtsev, A., Woddside, C.M., Murphy, L.: Performance Modeling and Prediction of Enterprise JavaBeans with Layered Queueing Network Templates. ACM SIGSOFT Software Engineering Notes 31(2) (March 2006)
33. Wu, X.P., Woodside, C.M.: Performance Modeling from Software Components. In: Proc. of WOSP 2004, Redwood Shores, USA (January 2004)