Modal I/O automata for interface and product line theories

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

Volumn 4421 LNCS, Issue , 2007, Pages 64-79

  Larsen, Kim G ^a   Nyman, Ulrik ^a   Wa̧sowski, Andrzej ^a,b  

^a AALBORG UNIVERSITY   (Denmark)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; INTERFACES (COMPUTER); MATHEMATICAL TECHNIQUES; PRODUCT DEVELOPMENT;

I/O AUTOMATA; MODAL REFINEMENT; PRODUCT LINE DEVELOPMENT;

GAME THEORY;

EID: 37149013404     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71316-6_6     Document Type: Conference Paper

References (16)

1. Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), Vienna, Austria, ACM Press (2001) 109-120
2. Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, IEEE Computer Society (1988)
3. Chakabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Resource interfaces. In Alur, R., Lee, I., eds.: EMSOFT 03: 3rd Intl. Workshop on Embedded Software. LNCS, Springer (2003)
4. Alfaro, L., Henzinger, T., Stoelinga, M.I.A.: Timed interfaces. In SangiovanniVincentelli, A., Sifakis, J., eds.: EMSOFT 02: 2nd Intl. Workshop on Embedded Software. LNCS, Springer (2002)
5. Larsen, K.G., Nyman, U., Wasowski, A.: Interface input/output automata. In Misra, J., Nipkow, T., Sekerinski, E., eds.: 14th International Symposium on Formal Methods (FM) Hamilton, Canada, August 21-27, 2006 Proceedings. Volume 4085 of LNCS., Springer (2006) 82-97
6. Černá, I., Vařeková, P., Zimmerová, B.: Component substitutability via equivalencies of component-interaction automata. In: FACS'06. (2006) 115-130 To be published in ENTCS.
7. Hermanns, H., Rehof, J., Stoelinga, M.I.A., eds.: Workshop Procedings FIT 2005: Foundations of Interface Technologies. ENTCS, Elsevier Science Publishers (2005)
8. Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.: Alternating refinement relations. In Sangiorgi, D., de Simone, R., eds.: Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR'98). Volume 1466 of LNCS., Springer (1998) 163-178
9. Alfaro, L., Henzinger, T.A.: Interface-based design. In: In Engineering Theories of Software Intensive Systems, Marktoberdorf Summer School, Kluwer Academic Publishers (2004)
10. Carrez, C., Fantechi, A., Najm, E.: Assembling components with behavioral contracts. Annales del Télécommunications 60 (2005)
11. Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering Vol. SE-2 (1976) 1-9
12. Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)
13. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering-Foundations, Principles, and Techniques. Springer (2005)
14. Larsen, K.G., Larsen, U., Wasowski, A.: Color-blind specifications for transformations of reactive synchronous programs. In Cerioli, M., ed.: FASE, Edinburgh, April 2005. LNCS, Springer (2005)
15. Boudol, G., Larsen, K.G.: Graphical versus logical specifications. In Arnold, A., ed.: CAAP. Volume 431 of Lecture Notes in Computer Science., Springer (1990) 57-71
16. Larsen, K.G.: Modal specifications. In Sifakis, J., ed.: Automatic Verification Methods for Finite State Systems. Volume 407 of Lecture Notes in Computer Science., Springer (1989) 232-246