MODAL: a SPEM extension to improve co-design process models
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Using MATCON to generate CASE tools that guide deployment of pre-packaged applications
Proceedings of the 33rd International Conference on Software Engineering
A FUML-based distributed execution machine for enacting software process models
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A generic tool for tracing executions back to a DSML's operational semantics
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Generative technologies for model animation in the topcased platform
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
eSPEM – a SPEM extension for enactable behavior modeling
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Early automated verification of tool chain design
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Leveraging formal verification tools for DSML users: a process modeling case study
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Systematic software process development: where do we stand today?
Proceedings of the 2013 International Conference on Software and System Process
Definition of processes for MDE-based migrations
Proceedings of the Third Workshop on Process-Based Approaches for Model-Driven Engineering
A comparison of the Essence 1.0 and SPEM 2.0 specifications for software engineering methods
Proceedings of the Third Workshop on Process-Based Approaches for Model-Driven Engineering
The Process Enactment Tool Framework-Transformation of software process models to prepare enactment
Science of Computer Programming
Software process modeling languages: A systematic literature review
Information and Software Technology
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Software Process Modeling, process models have not yet reached the level of precision that would allow their execution. Recently the OMG issued a new revision of its standard for Software Process Modeling, namely SPEM2.0. However, even if executability was defined as a mandatory requirement in the RFP (Request For Proposal), the adopted specification does not fulfill it. This paper presents a critical analysis on the newly defined standard and addresses its lacks in terms of executability. An approach is proposed in order to extend the standard with a set of concepts and behavioural semantics that would allow SPEM2.0 process models to be checked through a mapping to Petri nets and monitored through a transformation into BPEL.