Managing the software process
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Workflow Modeling: Tools for Process Improvement and Application Development
Workflow Modeling: Tools for Process Improvement and Application Development
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A programming process architecture
IBM Systems Journal
From security patterns to implementation using petri nets
Proceedings of the fourth international workshop on Software engineering for secure systems
Hi-index | 0.00 |
This paper presents a software process definition language that is targeted towards the development of software and systems using Model Driven Engineering methods. The dynamics of a process model are based on Petri Nets. This allows us to use a process definition model to plan and track the execution of actual projects. This new language can be integrated with existing approaches for software process modeling such as Software Process Engineering Metamodel.