Formal semantics and transformation of BPMN models
Toufik Messaoud Maarouk, Elkamel Merah, Sara Ghaoui and Nihed Rahabi
Year of publication: |
2019
|
---|---|
Authors: | Maarouk, Toufik Messaoud ; Merah, Elkamel ; Ghaoui, Sara ; Rahabi, Nihed |
Published in: |
International journal of business process integration and management : IJBPIM. - Olney, Bucks : Inderscience Enterprises, ISSN 1741-8763, ZDB-ID 2193360-1. - Vol. 9.2019, 3, p. 158-169
|
Subject: | business process modelling notation | BPMN | business process | formal semantics | true concurrency | meta-modelling | model transformation | DD-LOTOS | Prozessmanagement | Business process management | Semantisches Web | Semantic web | Modellierung | Scientific modelling | Workflow-Management-System | Workflow management system | Ontologie | Ontology |
Saved in:
Online Resource
Saved in favorites
Similar items by subject
-
A model-driven engineering approach to formally verify BPMN models using Petri nets
Lyazidi, Achraf, (2017)
-
Hiang, Hanh H., (2014)
-
Prompt engineering techniques for semantic enhancement in business process models
Ayad, Sarah, (2024)
- More ...