Communication support for systems engineering - process modelling and animation with APRIL

Journal of Systems and Software

Volumn 80, Issue 8, 2007, Pages 1305-1316

  Philippi, Stephan ^a   Hill, Hermann Josef ^b  

^a H and D Consulting   (Germany)

^b Institut für Integrierte Naturwissenschaften   (Germany)

Author keywords

Process animation; Process modelling; Process visualization

Indexed keywords

ANIMATION; FORMAL LANGUAGES; IDENTIFICATION (CONTROL SYSTEMS); MATHEMATICAL MODELS; PROCESS ENGINEERING; SOFTWARE PROTOTYPING; VISUALIZATION;

PROCESS ANIMATION; PROCESS MODELING; PROCESS VISUALIZATION; SYSTEM REDESIGNS;

SYSTEMS ENGINEERING;

EID: 34248580600     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.11.015     Document Type: Article

References (26)

1. Artisan Software, 2005. Real-Time Studio Documentation. www.artisansw.com.
2. Business Process Management Initiative (BPMI), 2005. Business Process Patterns Documentation. www.bpmn.org.
3. Chen P. The entity-relationship model: toward a unified view of data. ACM Transactions on Databases 1 1 (1976)
4. Christensen, S., Jorgensen, J.B., Kristensen, L.M., 1997. Design/cpn - a computer tool for coloured petri nets, In: TACAS'97 - Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1217.
5. Emmerich, W., Gruhn, V., 1991. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language, In: Proceedings of the 6th International Workshop on Software Specification and Design, Como, Italy.
6. Fibich, E., 2000. A comparison of event-driven process chains and animated process illustrations, University of Koblenz, Diploma Thesis (in german).
7. Frank, U., 2002. Multi-Perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages, In: Proceedings of the Hawaii International Conference on System Sciences (HICSS-35), Honolulu.
8. Genrich H.J., and Lautenbach K. System modelling with high-level petri nets. Theoretical Computer Science 13 1 (1981)
9. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 3 (1987) 231-274
10. Huber, P., Jensen, K., Shapiro, R.M., 1990. Hierarchies in Coloured Petri Nets, In: G. Rozenberg (Ed.), Advances in Petri Nets 1990, LNCS 483.
11. IDS Scheer AG., 2005. ARIS Process Platform Documentation. www.aris.com.
12. Jones C.B. Systematic Software Development Using VDM (1990), Prentice Hall International
13. Kummer, O., Wienberg, F., Duvigneau, M., 2005. Renew - User Guide, Release 2.0. www.renew.de.
14. I-Logix, 2005. Rhapsody Documentation. www.ilogix.com.
15. Marx, T., 1997. A Petri Net Approach to Conceptual Modelling and CASE, In: Proceedings of the 4th Doctoral Concortium on Advanced Information Systems Engineering, Barcelona.
16. Marx, T., 1998. NetCase: Software Construction and Workflow Modelling with Petri-Nets, University of Koblenz, PhD Thesis (in german).
17. OMG (Object Management Group), 2001. Model Driven Architecture (MDA). www.omg.org/mda.
18. OMG (Object Management Group), 2004. UML Specification 2.0. www.omg.org/uml.
19. Pahnke, C., 2003. Animated Systems Engineering - A new Approach to High-Quality Groupware Application Specification and Development, PhD Thesis, University of Wolverhampton.
20. Peterson, J.L., 1981. Petri Net Theory and the Modeling of Systems, Prentice Hall International.
21. Scheer A.-W. ARIS-Business Process Modelling (2000), Springer
22. Spivey J.M. The Z Notation (1992), Prentice Hall
23. Tarby, J.-C., 1999. When the Task's World meets the Object's World, In: Workshop on Interactive System Design and Object Models, Lisbon.
24. van der Aalst W. The application of petri-nets to workflow management. Theoretical Computer Science 8 1 (1998)
25. van der Aalst W., Hofstede A., Kiepuszewski B., and Barros A. Workflow patterns. Distributed and Parallel Databases 14 3 (2003)
26. von der Beeck, M., 1994. A Comparison of Statecharts Variants, LNCS 863.