Dvlab Open WikiThe following publications on interface theory are relevant to Ticc.
The semantics, algorithms, and theoretical foundations of Ticc are presented in the following paper:
L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, P. Roy, M. Sorea. Sociable Interfaces. In FROCOS 2005: 5th International Workshop on Frontiers of Combining Systems, LNAI 3717, Springer-Verlag, 2005. Postscript PDF
The following paper presents a brief overview of Ticc:
B. Thomas Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy. Ticc: A Tool for Interface Compatibility and Composition. Technical Report ucsc-crl-06-01, School of Engineering, University of California, Santa Cruz, 2006. Postscript PDF
A longer, but still informal, overview is presented in the following technical report:
L. de Alfaro, M. Faella, A. Legay. An Introduction to the Tool Ticc. Technical report ucsc-crl-06-14, School of Engineering, University of California, Santa Cruz, CA 95064, USA, 2006. Postscript PDF
These two papers were the original papers on interface theories.
L. de Alfaro and T.A. Henzinger. Interface Automata. In ESEC/FSE 01: Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 2001. Postscript PDF There are some minor errors in the formalism proposed in this paper. Please see the paper Interface-Based Design in the proceedings of Marktobderdorf 2004 for a revised and corrected version of the formalism.
L. de Alfaro and T.A. Henzinger. Interface Theories for Component-Based Design. In EMSOFT 01: Proceedings of the First International Workshop on Embedded Software, Lecture Notes in Computer Science, Springer-Verlag, 2001. Postscript PDF.
This paper supersedes the FSE 2001 paper:
L. de Alfaro, T.A. Henzinger. Interface-Based Design. In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School, Kluwer, 2004. Postscript PDF
This is a paper that argues that games provide an ideal model for open system. As a corollary, we should model open systems using interface theories, rather than the classical transition systems.
L. de Alfaro. Game Models for Open Systems. In Proceedings of the International Symposium on Verification (Theory in Practice), Lecture Notes in Computer Science 2772, Springer-Verlag, 2003. Postscript PDF
This is a paper that compare several models and tools for modeling open systems.
M. Faella, A. Legay. Some Models and Tools for Open Systems. In FIT05: Proceedings of the 1st International Workshop on Foundations of Interface Technologies, 2005. Postscript PDF
This is an introduction to untimed and timed interfaces:
L. de Alfaro and M. Stoelinga. Interfaces: A Game-Theoretic Framework to Reason about Open Systems. In FOCLASA 03: Proceedings of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures, 2003. Postscript PDF
You need to be logged in to edit this page.