A framework for component-based construction

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005

Volumn , Issue , 2005, Pages 293-299

  Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC COMPONENTS; COMPONENT-BASED CONSTRUCTION; CORRECTNESS BY CONSTRUCTION; HETEROGENEOUS INTERACTIONS; INTERACTION MODEL; RESEARCH PROBLEMS; SPECIFIC PROPERTIES; TRANSITION SYSTEM;

GLUES; GLUING;

SOFTWARE ENGINEERING;

EID: 84883274848     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2005.3     Document Type: Conference Paper

References (18)

1. R. Allen, S. Vestal, D. Cornhill, and B. Lewis. Using an architecture description language for quantitative analysis of real-time systems. In Workshop on Software and Performance, pages 203-210, 2002.
2. K. Altisen, G. Gößler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on Control Approaches to Real-Time Computing, 23(1-2):55-84, 2002.
3. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. Metropolis: An integrated electronic system design environment. IEEE Computer, Apr 2003.
4. M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis. The IF toolset. In 4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, SFM-04:RT, Bologna, Sept. 2004, LNCS Tutorials, Springer, 2004.
5. R. Bruni, J. L. Fiadeiro, I. Lanese, A. Lopes, and U. Montanari. New insights on architectural connectors. In IFIP TCS, pages 367-380, 2004.
6. D. Garlan and B. R. Schmerl. Using architectural models at runtime: Research challenges. In EWSA, pages 200-205, 2004.
7. G. Gößler and J. Sifakis. Component-based construction of deadlock-free systems: Extended abstract. In FSTTCS, pages 420-433, 2003.
8. G. Gössler and J. Sifakis. Composition for component-based modeling. In 1st Symposium on Formal Methods for Components and Objects, revised lectures, volume 2852 of LNCS Tutorials, 2003.
9. G. Gössler and J. Sifakis. Priority systems. In proceedings of FMCO'03, LNCS 3188, pages 314-329, 2004.
10. G. Gössler and J. Sifakis. Composition for component-based modeling. Sci. Comput. Program., 55(1-3):161-183, 2005.
11. T. A. Henzinger, S. Qadeer, and S. K. Rajamani. Decomposing refinement proofs using assume-guarantee reasoning. In ICCAD, pages 245-252, 2000.
12. C. A. R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10):576-580, 1969.
13. E. Lee. Overview of the Ptolemy Project, Technical Memorandum UCB/ERL M03/25, July 2003.
14. R. Milner. The pi calculus and its applications (keynote address). In IJCSLP, pages 3-4, 1998.
15. W. Mueller, J. Ruf, D. Hofmann, J. Gerlach, T. Kropf, and W. Rosenstiehl. The simulation semantics of systemc, 2001.
16. A. Ray and R. Cleaveland. Architectural interaction diagrams: Aids for system modeling. In ICSE, pages 396-407, 2003.
17. B. Selic. Tutorial: An overview of uml 2. 0. In ICSE, pages 741-742, 2004.
18. J. Vera, L. Perrochon, and D. C. Luckham. Event-based execution architectures for dynamic software systems. In WICSA, pages 303-318, 1999.