Abstract
The paper presents the Electronic Tool Integration platform (ETI), a community platform designed for project-oriented, domainspecific, public or private interactive experimentation with heterogeneous tools. ETI managers, developers, and users are assisted by an advanced, personalized Online Service guiding experimentation, coordination and simple browsing of the available tool repository according to their degree of experience. This enables even newcomers to master the wealth of existing tools in a short time span, and to identify the most appropriate collection of tools to solve their own application-specific tasks. Concepts and current realization are illustrated along a concrete instantiation: the ETI community associated with the International Journal on Software Tools for Technology Transfer (STTT).
The ETI technology is application-independent, and we are convinced that it can offer a useful service to thematic communities like the Petri net tool developers and users by means of its underlying interoperability platform. Conversely, we envisage that some tools, initially located in the ETI repository for online experimentation will eventually migrate into the algorithmic kernel of the platform, as means e.g. for generalizing the model for execution.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W., van Hee, K.: Workflow Management: Models, Methods, and Systems, p. 368. MIT Press, Cambridge ISBN 0-262-01189-1
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8, 21–66 (1998)
The Apache Project: http://www.apache.org
Bardohl, R., Ehrig, H.: Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 252–266. Springer, Heidelberg (2000)
Bardohl, R., Ehrig, H., Ermel, C.: Generic Description, Behavior and Animation of Visual Modeling Languages. In: Proc. IDPT 2000, Dallas, USA (June 2000)
Bergstra, J.A., Klint, P.: The ToolBus Coordination Architecture. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 75–88. Springer, Heidelberg (1996)
Best, E., Koutny, M.: A Refined View of the Box Algebra. In: Application and Theory of Petri Nets 1995 (1995)
Braun, V., Margaria, T., Weise, C.: Integrating Tools in the ETI Platform, vol. 50, pp. 31–48
CGI: Common Gateway Interface, http://www.w3.org/CGI/
Cold Fusion, a cross-platform Web Application Server, http://www.allaire.com/products/coldfusion/
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems E80-D(3), 315–325 (1997)
Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers 47(8), 859–882 (1998)
David, T.: Server Side Includes (SSI) Tutorial, http://www.tdscripts.com/ssi.html
Dehnert, J.: Four Systematic Steps Towards Sound Business Process Models. In: Proc. 2nd Intern. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Gesellschaft ISST, Berlin, pp. 55–64 (2001)
Dehnert, J., Gajewsky, M., Lembke, S., Weber, H.: The ”Petri Net Baukasten”: 2nd Installment. In: Proc. Uniform Approaches to Graphical Process Specification Techniques(UniGra), Satellite workshop to European Joint Conferences on Theory and Practice of Software (ETAPS), Genova, Italy. Electronic Notes in Theoretical Computer Science (ENTCS), vol. 44(4) (2001)
Dennis, L.A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., Gordon, M., Melham, T.: The PROSPER Toolkit. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 78–92. Springer, Heidelberg (2000)
Desel, J., Erwin, T.: Hybrid specifications: looking at workflows from a run-time perspective. International Journal of Computer System Science & Engineering 15(5), 291–302 (2000)
Design CPN Website: http://www.daimi.au.dk/designCPN/
Dinkhoff, G., Gruhn, V., Saalmann, A., Zielonka, M.: Business Process Modeling in the Workflow Management Environment LEU. In: Loucopoulos, P. (ed.) ER 1994. LNCS, vol. 881, pp. 46–63. Springer, Heidelberg (1994)
Downing, T.: Java RMI, Remote Method Invocation, IDG Books Worldwide Inc. (1998)
Formal Methods Europe, http://www.fmeurope.org
Heckel, R.: Open Petri Nets as Semantic Model for Business Process Integration. In: Proc. 2nd Intern. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Fraunhofer Gesellschaft ISST, Berlin, pp. 129–134 (2001)
Hunter, J., Crawford, W.: Java Servlet Programming. O’Reilly, Sebastopol (1998)
International Journal on Software Tools for Technology Transfer, http://sttt.cs.uni-dortmund.de
HyTech Home Page, http://www-cad.EECS.Berkeley.EDU/~tah/HyTech/
JavaBeans: The only Component Architecture for Java Technology, http://java.sun.com/products/javabeans/
Java Developer Connection, http://developer.ja.va.sun.com/developer/
Java Web Start, http://java.sun.com/products/javawebstart/
Jensen, K.: A Brief Introduction to Coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 203–208. Springer, Heidelberg (1997)
Jüngel, M., Kindler, E., Weber, M.: Towards a Generic Interchange Format for Petri Nets. In: Bastide, R., Billington, J., Kindler, E., Kordon, F., Mortensen, K.H. (eds.) Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark. 21st ICATPN, pp. 1–5 (June 2000)
Kindler, E., Weber, M.: The Petri Net Kernel - An Infrastructure for building Petri Net Tools. International Journal on Software Tools for Technology Transfer 3, 486–497 (2001)
Klint, P., Olivier, P.: The TOOLBUS Coordination Architecture: A Demonstration. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 575–578. Springer, Heidelberg (1996)
Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer 2, 98–132 (1998)
Larsen, K.G., Petterson, P., Yi, W.: Uppaal in a nutshell. Int. Journal on Software Tools for Technology Transfer 1, 134–152 (1997)
Lutz, M.: Programming Python. O’Reilly, Sebastopol (2001)
Margaria, T., Braun, V., Kreileder, J.: Interacting with ETI: A User Session, [50], pp. 49–63
Margaria, T., Steffen, B.: Coarse-grain Component Based Software Development: The MetaFrame Approach. In: Proc. STJA 1997, Smalltalk und Java in Industrie und Ausbildung, Erfurt (D), September 10-11, pp. 29–34 (1997) ISBN 3-00-001828-X
OMG. The Common Object Request Broker: Architecture and Specification Revision 2.0, Technical Document ptc/96-08-04
Padberg, J., Jansen, L., Ehrig, H., Schnieder, E., Heckel, R.: Cooperability in Train Control Systems: Specification of Scenarios using open Nets. In: SDPS (2000)
PEP Website: http://theoretica.informatik.uni-oldenburg.de/~pep/
Petrify Website: http://www.lsi.upc.es/~jordic/petrify/
Petri Nets Tool Database, http://www.daimi.aau.dk/PetriNets/tools/db.html
SMV guided tour, http://www.cs.cmu.edu/~modelcheck/tour.html
Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)
Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design, [50], pp. 9–30
Steffen, B., Margaria, T., Claßen, A., Braun, V.: The MetaFrame 1995 Environment. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 450–453. Springer, Heidelberg (1996)
Steffen, B., Margaria, T., Claßen, A., Braun, V., Kalt, N.: Hierarchical Service Definition, Annual Review of Communications. In: Int. Engineering Consortium (IEC), pp. 847–856 (1997)
Steffen, B., Margaria, T., Claßen, A., Braun, V., Reitenspieß, M., Wendler, M.: Service Creation: Formal Verification and Abstract Views. In: 4th Int. Conf. on Intelligent Networks (ICIN 1996), pp. 96–101 (1996)
Steffen, B., Margaria, T., Freitag, B.: Module Configuration by Minimal Model Construction, Techn. Rep. MIP-9313, Fak. für Mathematik und Informatik. Universität Passau (Germany) (1993)
Special section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer 1, Springer Verlag (November 1997)
Thai, T.: Learning DCOM. O’Reilly, Sebastopol (1999)
Wall, L., Christiansen, T., Orwant, J.: Programming Perl, 3rd edn. O’Reilly, Sebastopol (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Braun, V., Margaria, T., Steffen, B. (2003). The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds) Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-40022-6_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20538-8
Online ISBN: 978-3-540-40022-6
eBook Packages: Springer Book Archive