Remote Integration and Coordination of Verification Tools in JETI

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Tiziana Margaria Articles by Ralf Nagel Articles by Bernhard Steffen

12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)

Greenbelt, Maryland

April 04-April 07

ISBN: 0-7695-2308-0

	ASCII Text	x
	Tiziana Margaria, Ralf Nagel, Bernhard Steffen, "Remote Integration and Coordination of Verification Tools in JETI," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 431-436, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005.

	BibTex	x
	@article{ 10.1109/ECBS.2005.59, author = {Tiziana Margaria and Ralf Nagel and Bernhard Steffen}, title = {Remote Integration and Coordination of Verification Tools in JETI}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2005}, isbn = {0-7695-2308-0}, pages = {431-436}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.59}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - Remote Integration and Coordination of Verification Tools in JETI SN - 0-7695-2308-0 SP431 EP436 A1 - Tiziana Margaria, A1 - Ralf Nagel, A1 - Bernhard Steffen, PY - 2005 KW - null VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER -

Tiziana Margaria, University of Göttingen

Ralf Nagel, University of Dortmund

Bernhard Steffen, University of Dortmund

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.59

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.

Citation:

Tiziana Margaria, Ralf Nagel, Bernhard Steffen, "Remote Integration and Coordination of Verification Tools in JETI," ecbs, pp.431-436, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.