Ticc: a tool for interface compatibility and composition

Authors:
B. Thomas Adler;Luca de Alfaro;Leandro Dias Da Silva;Marco Faella;Axel Legay;Vishwanath Raman;Pritam Roy
Affiliations:
School of Engineering, University of California, Santa Cruz;School of Engineering, University of California, Santa Cruz;EE Department, Federal University of Campina Grande, Paraiba, Brasil;Dipartimento di Scienze Fisiche, Università di Napoli “Federico II”, Italy;,School of Engineering, University of California, Santa Cruz;School of Engineering, University of California, Santa Cruz;School of Engineering, University of California, Santa Cruz
Venue:
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Year:
2006

Citing 6
Cited 9

Reactive Modules

Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Distributed Algorithms

Distributed Algorithms
Interface Theories for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Semantics of Interaction (Abstract)

CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
A behavioral type system and its application in Ptolemy II

Formal Aspects of Computing

Verifying Interaction Protocol Compliance of Service Orchestrations

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Refinement of Interface Automata Strengthened by Action Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)
A generic constructive solution for concurrent games with expressive constraints on strategies

ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A Strict-Observational Interface Theory for Analysing Service Orchestrations

Electronic Notes in Theoretical Computer Science (ENTCS)
ECDAR: an environment for compositional design and analysis of real time systems

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
MIO workbench: a tool for compositional design with modal input/output interfaces

ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Formal verification of components assembly based on SysML and interface automata

Innovations in Systems and Software Engineering
Formalizing and verifying compatibility and consistency of SysML blocks

ACM SIGSOFT Software Engineering Notes
Solving games via three-valued abstraction refinement

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

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.