Universities of Potsdam and Dortmund (GERMANY)
Interactive experimentation with and service based coordination of
HLL (High Level Language)
Already 10 years ago, the Electronic Tool Integration (ETI)
platform associated to Springer's STTT Journal offered an online
portal that provided interactive experimentation with and
service-based coordination of heterogeneous tools. In today's
terminology, it turns out that ETI provided a model-driven,
service-oriented platform for the user-side orchestration of complex
services (in the ETI application domain, complex verification
processes that used heterogeneous algorithms and mediators provening
from different verification toolsets). In particular, ETI offered
the following features:
"the CADP toolsuite evolved and matured over the past decade to become a reference environment for the verification of distributed processes."
CADP is one of the tools that are being integrated in the new, Web service-based jETI environment that constitutes the technical platform for the jETI-FMICS community. The FMICS-jETI platform, developed within the Verified Software Repository (VSR) Grand Challenge, is a collaborative demonstrator based on the jETI technology. It provides as repository a collection of verification tools and facilities to orchestrate them in a remote and simple way.
The automatic tool composition feature of ETI based on LTL synthesis
allows to produce all (shortest/minimal) solutions, with the intent
to provide the end-user with maximum insight into the potential design
space. Future work on ETI includes the investigation of other forms
of synthesis approaches (e.g., game-based) in order to reveal their
application profiles, and the enhancement of the user-friendliness in
terms of graphical support for specifications.
Tiziana Margaria and Bernhard Steffen.
"LTL Guided Planning: Revisiting Automatic Tool Composition in ETI".
In Proceedings of the 31st IEEE/NASA Software Engineering Workshop
SEW'2007 (Columbia, USA), IEEE Computer Society Press,
pp. 214-226, March 2007.
Full version available from the CADP Web site in PDF or PostScript
Technische Universität Dortmund
Fakultät für Informatik
Lehrstuhl für Programmiersysteme
Tel: (0231) 755-5800
Fax: (0231) 755-5802
|Further remarks:||This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software|