Systematic software development using VDM
Systematic software development using VDM
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Aris--Business Process Modeling
Aris--Business Process Modeling
Design/CPN - A Computer Tool for Coloured Petri Nets
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
When the Task's World Meets the Object's World
Proceedings of the Workshop on Object-Oriented Technology
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Multi-perspective Enterprise Modeling (MEMO) - Conceptual Framework and Modeling Languages
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 3 - Volume 3
FUNSOFT nets: a Petri-net based software process modeling language
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Modeling and management of process in numerical engineering: application in foundry
ICOSSSE'08 Proceedings of the 7th WSEAS international conference on System science and simulation in engineering
Formal workflow design analytics using data flow modeling
Decision Support Systems
| Hi-index | 0.00 |
The most important task in the early stages of systems engineering is the building of models which capture the relevant knowledge of a given application domain. A working communication with domain experts who possess this knowledge is crucial, since misunderstandings almost always lead to expensive system redesigns in later development stages. In this context, especially the modelling of systems behaviour is a challenging problem. While formally based languages in this area are often too difficult to understand for domain experts, more informal languages frequently lack animation support for dynamic process visualizations. Out of this, an easy to understand and semi-formal visual modelling language which allows for process animations is needed in order to improve communication in systems engineering. If the use of such a language leads to an earlier identification of conceptualization flaws, the overall costs of systems development may be significantly reduced. As an attempt into this direction, the APRIL process modelling language is introduced in this article together with two complementary animation concepts as well as the prototype of a supporting tool.