Advertisement

Ticc: A Tool for Interface Compatibility and Composition

  • B. Thomas Adler
  • Luca de Alfaro
  • Leandro Dias Da Silva
  • Marco Faella
  • Axel Legay
  • Vishwanath Raman
  • Pritam Roy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4144)

Abstract

We present the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component, and the component’s assumptions on the environment’s behavior. Ticc can check the compatibility of such interfaces, and analyze their emergent behavior, via a symbolic implementation of game-theoretic algorithms.

Keywords

Input Transition Output Transition Shared Action Will Emit Emergent Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Abramsky, S.: Semantics of interaction. In: Kirchner, H. (ed.) CAAP 1996. LNCS, vol. 1059. Springer, Heidelberg (1996)Google Scholar
  2. 2.
    Abramsky, S., Ghica, D.R., Murawski, A.S., Ong, L.: Applying Game Semantics to Compositional Software Modeling and Verification. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 421–435. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15, 7–48 (1999)CrossRefGoogle Scholar
  4. 4.
    Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and bidirectional component interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 414–427. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    de Alfaro, L.: Game models for open systems. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 269–289. Springer, Heidelberg (2004)Google Scholar
  6. 6.
    de Alfaro, L., Dias da Silva, L., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol. 3717, pp. 81–105. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 109–120. ACM Press, New York (2001)Google Scholar
  8. 8.
    de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Leroy, X.: Objective caml, http://caml.inria.fr/ocaml/index.en.html
  10. 10.
    Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)MATHGoogle Scholar
  11. 11.
    Somenzi, F.: Cudd: Cu decision diagram package, http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • B. Thomas Adler
    • 1
  • Luca de Alfaro
    • 1
  • Leandro Dias Da Silva
    • 2
  • Marco Faella
    • 3
  • Axel Legay
    • 1
    • 4
  • Vishwanath Raman
    • 1
  • Pritam Roy
    • 1
  1. 1.School of EngineeringUniversity of CaliforniaSanta CruzUSA
  2. 2.EE DepartmentFederal University of Campina GrandeParaibaBrasil
  3. 3.Dipartimento di Scienze FisicheUniversità di Napoli “Federico II”Italy
  4. 4.Department of Computer ScienceUniversity of LiègeBelgium

Personalised recommendations