TY - GEN
T1 - Remote integration and coordination of verification tools in JETI
AU - Margaria, Tiziana
AU - Nagel, Ralf
AU - Steffen, Bernhard
PY - 2005
Y1 - 2005
N2 - We present jKTI, 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 Weh 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.
AB - We present jKTI, 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 Weh 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.
UR - http://www.scopus.com/inward/record.url?scp=28344439035&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:28344439035
SN - 0769523080
T3 - Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
SP - 431
EP - 436
BT - Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
A2 - Rozenblit, J.
A2 - O'Neill, T.
A2 - Peng, J.
T2 - Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005
Y2 - 4 April 2005 through 7 April 2005
ER -