Remote Integration and Coordination of Verification Tools in JETI

Authors:
Tiziana Margaria;Ralf Nagel;Bernhard Steffen
Affiliations:
University of Göttingen;University of Dortmund;University of Dortmund
Venue:
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Year:
2005

Citing 0
Cited 15

LearnLib: a library for automata learning and experimentation

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
FormulaBuilder: a tool for graph-based modelling and generation of formulae

Proceedings of the 28th international conference on Software engineering
Service Engineering: Linking Business and IT

Computer
A software framework for automated verification

Proceedings of the 2007 ACM symposium on Applied computing
Controversy Corner: A new research agenda for tool integration

Journal of Systems and Software
The Fmics View On The Verified Software Repository

Journal of Integrated Design & Process Science - Applications of formal methods
On The Evolution Of Reliability Methods For Critical Software

Journal of Integrated Design & Process Science - Applications of formal methods
Synthesizing Semantic Web Service Compositions with jMosel and Golog

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Model-driven development with the jABC

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs

Proceedings of the 14th international SPIN conference on Model checking software
Run-time agents as a means of reconciling flexibility and scalability of services

WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Service-Oriented design: the roots

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
jETI: a tool for remote tool integration

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
jMosel: a stand-alone tool and jABC plugin for M2L(str)

SPIN'06 Proceedings of the 13th international conference on Model Checking Software
A graphical approach to component-based and extensible model checking platforms

Transactions on Petri Nets and Other Models of Concurrency V

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience with tool providers, tool users and students. Most important was here the reduction of the effort for integrating and updating tools. jETI combines Eclipse and Web Services functionality with our Application Building Center (ABC), a framework supporting coordination based application development. This provides (1) lightweight remote component (tool) integration, (2) distributed component (tool) libraries, (3) a graphical coordination environment, and (4) a distributed execution environment. We illustrate these features by discussing their impact on the typical jETI user groups: the Tool Providers, the Standard Tool Users, and the Advanced Tool Users.