When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.TrustworthySW.2006.766
URN: urn:nbn:de:0030-drops-7667
Go to the corresponding OASIcs Volume Portal

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

An Introduction to the Tool Ticc

Document 1.pdf (364 KB)


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}.

BibTeX - Entry

  author =	{Axel Legay and Luca de Alfaro and Marco Faella},
  title =	{{An Introduction to the Tool Ticc}},
  booktitle =	{Workshop on Trustworthy Software},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{3},
  editor =	{Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-7667},
  doi =		{},
  annote =	{Keywords: Open system, game, interface automata}

Keywords: Open system, game, interface automata
Seminar: Workshop on Trustworthy Software
Issue Date: 2006
Date of publication: 19.10.2006

DROPS-Home | Fulltext Search | Imprint Published by LZI