Skip to Main content Skip to Navigation
Conference papers

Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri Net

Abstract : Management of software development processes is indispensable for systematic development of all the artifacts provided by the process. The nature of a software development process can vary from manual to automatic, static to dynamic, concrete to abstract and simple to complex. The corresponding process modeling approach should be able to deal with all these variations. CAMA Process Modeling Framework (CPMF) is a process modeling approach that caters the varying requirements of software development processes. It is inspired from the component based paradigm, where each activity is taken as a component, and the process itself is visualized as an architecture. It models the processes in different abstractions in terms of development phases and multiple implementations. Hierarchical Petri Net is a mathematical modeling language having proper definitions of its execution semantics and process analysis. This article concerns the mapping of CPMF metamodel constructs onto a Hierarchical Petri Net, so as to formally define the semantics of the interaction control.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00797559
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Wednesday, March 6, 2013 - 4:10:06 PM
Last modification on : Saturday, May 1, 2021 - 3:54:27 AM

Identifiers

  • HAL Id : hal-00797559, version 1

Citation

Fahad Rafique Golra, Fabien Dagnat. Specifying the Interaction Control Behavior of a Process Model using Hierarchical Petri Net. PMDE 2012: 2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Lyngby, Denmark. ⟨hal-00797559⟩

Share