An Introduction to the Tool Ticc

Legay, Axel; de Alfaro, Luca; Faella, Marco

doi:10.4230/OASIcs.TrustworthySW.2006.766

Document

An Introduction to the Tool Ticc

Authors Axel Legay, Luca de Alfaro, Marco Faella

Part of: Volume: Workshop on Trustworthy Software (TrustworthySW 2006)
Part of: Series: Open Access Series in Informatics (OASIcs)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2006-10-19

PDF

File

PDF

OASIcs.TrustworthySW.2006.766.pdf

Filesize: 364 kB
32 pages

Document Identifiers

DOI: 10.4230/OASIcs.TrustworthySW.2006.766
URN: urn:nbn:de:0030-drops-7667

Subject Classification

Keywords

Open system
game
interface automata

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This paper is a tutorial introduction to the sociable interface model
of [12] and its underlying tool \textsc{Tcc}. The
paper starts with a survey of the theory of interfaces and then
introduces the sociable interface model that is a game-based model
with rich communication primitives to facilitate the modeling of
software and distributed systems. The model and its
main features are then intensivelly discussed and illustrated using
the tool \textsc{Tcc}.

Cite As Get BibTex

Axel Legay, Luca de Alfaro, and Marco Faella. An Introduction to the Tool Ticc. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/OASIcs.TrustworthySW.2006.766

Author Details

Axel Legay

Luca de Alfaro

Marco Faella

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail