INCOME2010 - a toolset for developing process-oriented information systems based on petri nets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

INCOME2010 - a toolset for developing process-oriented information systems based on petri nets

Full text

Pdf (157 KB)

Source

International Conference on Simulation Tools and Techniques for Commuications, Networks and Systems & Workshops archive
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops table of contents

Marseille, France

SESSION: Technical program table of contents

Article No. 14

Year of Publication: 2008

ISBN:978-963-9799-20-2

Authors

Stefan Klink	University of Karlsruhe, Karlsruhe, Germany
Yu Li	University of Karlsruhe, Karlsruhe, Germany
Andreas Oberweis	University of Karlsruhe, Karlsruhe, Germany

Sponsors

: ICST
: INRIA

Publisher

ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, Belgium, Belgium

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 19, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

Petri nets are widely accepted as a process modeling technique with formal semantics and mathematical foundation. They are well suitable for modeling (business) processes in executable form and for analyzing process models through simulative validation and formal verification. Nevertheless, there are currently only a small number of Petri net based tools available for developing process-oriented information systems, which have gained importance in recent years because of the awareness that business processes are one of the key success factors for organizations. In this paper we survey the project INCOME2010 aiming at developing an open source software toolset that facilitates the development of process-oriented information systems. It provides functionalities for modeling, analyzing, executing, and monitoring (business) processes using variants of high-level Petri nets and concepts of Service-Oriented Architecture.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Betz, S., Karle, T., Klink, S., Koschmider, A., Li, Y., Mevius, M., Oberweis, A., Ried, D., Trunko, R., and Zaich, M. 2006. Ein Framework zur Modellierung und Analyse von XML-Netzen. In Moldt, D., Tagungsband 13. Workshop Algorithmen und Werkzeuge für Petri-Netze (AWPN '06), 18--24. Universitat Hamburg (in German).
	2	Desel, J., Juhas, G., Lorenz, R., and Neumair, C. 2003. Modelling and Validation with Vip Tool. LNCS 2678, 380--389.
	3	Gribaudo Marco , Moscato Francesco , Nicola Mazzocca , Valeria Vittorini, Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework, Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST'05) on The Quantitative Evaluation of Systems, p.85, September 19-22, 2005 [doi>10.1109/QEST.2005.22]
	4	Kurt Jensen , Lars Michael Kristensen , Lisa Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer (STTT), v.9 n.3, p.213-254, May 2007 [doi>10.1007/s10009-007-0038-x]
	5	Kurt Jensen , Grzegorz Rozenberg, High-level Petri nets: theory and application, Springer-Verlag, London, 1991
	6	Jüngel, M., Kindler, E., and Weber, M. 2000. Towards a Generic Interchange Format for Petri Nets. In: Bastide, R., Billington, J., Kindler, E., Kordon, F. and Mortensen, K. H. (eds.): Meeting on XML/SGML based Interchange Formats for Petri Nets. 1--5, Århus, Denmark, 21st ICATPN.
	7	Karle, T. and Oberweis, A. 2006. Unterstützung von Kollaboration im Rahmen der Softwareentwicklung auf Basis service-orientierter Architekturen. In: EMISA 2006 - Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen, Volume P-95 of Lecture Notes in Informatics, 77--90. GI (in German).
	8	Kindler, E. and Oschmann, F. 1998. The Petri Net Kernel: An INA-Pilot. In Desel, J., Kemper, P., Kindler, E., Oberweis, A.: Workshop Algorithmen und Werkzeuge für Petrinetze.
	9	Koschmider, A. and Oberweis, A. 2005. Ontology based Business Process Description. In Castro, J., Teniente, E. Proceedings of the CAiSE '05 Workshops, No. 2, 321--333. Porto/Portugal.
	10	Lenz, K. and Oberweis, A. 2003. Inter-Organizational Business Process Management with XML Nets. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.): Petri Net Technology for Communication-Based Systems, Advances in Petri Nets volume 2472 of LNCS, 243--263. Springer-Verlag.
	11	Andreas Oberweis , Gabriele Scherrer , Wolffried Stucky, INCOME/STAR: methodology and tools for the development of distributed information systems, Information Systems, v.19 n.9, p.643-660, Dec. 1994
	12	Reenskag, T. M. H. 2003. The Model-View-Controller (MVC), Its Past and Present. JavaZone 2003, Oslo, Norway.
	13	W. M. P. van der Aalst , A. H. M. ter Hofstede, YAWL: yet another workflow language, Information Systems, v.30 n.4, p.245-275, June 2005 [doi>10.1016/j.is.2004.02.002]
	14	Workflow management: models, methods, and systems, MIT Press, Cambridge, MA, 2002
	15	Van der Aalst, W. M. P. 1998. The Application of Petri Nets to Workflow Management. In: The Journal of Circuits, Systems and Computers, 8(1), 21--66.