Contracts for BIP: Hierarchical interaction models for compositional verification

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

Volumn 4574 LNCS, Issue , 2007, Pages 1-18

  Graf, Susanne ^a   Quinton, Sophie ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SET THEORY; VERIFICATION; HIERARCHICAL SYSTEMS;

EXPLICIT CONNECTORS; EXTERNAL PORTS; INTERNAL STRUCTURES; ATOMIC COMPONENTS; BASED REASONINGS; COMPONENT FRAMEWORK; COMPOSITIONAL VERIFICATION; HIERARCHICAL COMPONENTS; HIERARCHICAL INTERACTIONS; IMPLICIT INTERACTION; INTERNAL STRUCTURE;

HIERARCHICAL SYSTEMS; SEMANTICS;

EID: 38149100945     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73196-2_1     Document Type: Conference Paper

References (11)

1. Badouel, E., Benveniste, A., Bozga, M., Caillaud, B., Constant, O., Josko, B., Ma, Q., Passerone, R., Skipper, M.: SPEEDS meta-model syntax and draft semantics. Deliverable D2.1c (February 2007)
2. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06), Invited talk, September 11-15, 2006, Pune, pp. 3-12 (2006)
3. Bozga, M., Constant, O., Skipper, M., Ma, Q.: SPEEDS meta-model syntax and static semantics. Deliverable D2.1b (January 2007)
4. Bliudze, S., Sifakis, J.: The algebra of connectors structuring interaction in BIP. Techreport, Verimag (February 2007)
5. de Roever, W.P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. In: Nr 54 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge (2001)
6. Gößler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: An approach to modeling and verification of component based systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, Springer, Heidelberg (2007)
7. Gößler, G., Sifakis, J.: Component-based construction of deadlock-free systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 2914, Springer, Heidelberg (2003)
8. Goessler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming, pp. 161-183 (March 2005)
9. Graf, S., Lüttgen, G., Steffen, B.: Compositional Minimisation of Finite State Systems using Interface Specifications. In: Formal Aspects of Computation, vol. 8, Appeared as Passauer Informatik Bericht MIP-9505 (1996)
10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1984)
11. Winskel, G., Nielsen, M.: Models for concurrency, vol. 4. Oxford Univ. Press, Oxford (1995)