Cited By
View all- Pérez-Blanco FVara JGómez CDe Castro VMarcos E(2020)Model-Based Tool Support for Service DesignFundamental Approaches to Software Engineering10.1007/978-3-030-45234-6_13(266-272)Online publication date: 25-Apr-2020
Formal support of process chain networks using model-driven engineering and Petri nets
Authors: 
Elena Gómez-Martínez, Francisco Pérez-Blanco, 
Juan de Lara, Juan Manuel Vara, Esperanza MarcosAuthors Info & Claims
Elena Gómez-Martínez, Francisco Pérez-Blanco, Juan de Lara, Juan Manuel Vara, Esperanza MarcosAuthors Info & ClaimsPages 98 - 100
Abstract
Business process modelling is an essential activity for competitive enterprises, as it enables documenting, analysing, improving and automating their core processes. Several notations have been proposed, including BPMN, service blueprints or Process Chain Networks (PCNs). These are all graphical, intuitive notations, which are useful for discussion and documentation, but tool support and a formal semantics are required for process analysis. However, tool support is lacking and formal semantics is not available for some commonly used notations among business people, like PCNs.
To alleviate this situation, we present a modelling tool for PCNs, and a formal semantics based on Generalized Stochastic Petri nets, which permits analysis. We have realized our approach using Model-driven Engineering, and show its realization within INNoVaServ, a modeling environment for the design of business models and service process operations.
References
[1]
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. 1995. Modelling with Generalized Stochastic Petri Nets. John Wiley and Sons.
[2]
T. S Baines, H.W. Lightfoot, O. Benedettini, and J.M. Kay. 2009. The servitization of manufacturing: A review of literature and reflection on future challenges. Journal of manufacturing technology management 20, 5 (2009), 547--567.
[3]
M.J. Bitner, A.L. Ostrom, and F.N. Morgan. 2008. Service blueprinting: a practical technique for service innovation. California manag. rev. 50, 3 (2008), 66--94.
[4]
M. Brambilla, J. Cabot, and M. Wimmer. 2017. Model-Driven Software Engineering in Practice, Second Edition. Morgan & Claypool Publishers.
[5]
J. Gordijn. 2004. E-business value modelling using the e3-value ontology. In Value creation from e-business models. Elsevier, 98--127.
[6]
F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. 2008. ATL: A model transformation tool. Sci. Comput. Program. 72, 1--2 (2008), 31--39.
[7]
Y. Kazemzadeh, Simon K. Milton, and L.W. Johnson. 2015. Process chain Network (PCN) and business process modeling notation (BPMN): a comparison of concepts. J. of Management and Strategy 6, 1 (2015), 88.
[8]
T. Murata. 1989. Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (1989), 541--580.
[9]
A. Osterwalder and Y. Pigneur. 2010. Business model generation: a handbook for visionaries, game changers, and challengers. John Wiley & Sons.
[10]
S. Sampson. 2012. Visualizing service operations. J. Serv. Research 15, 2 (2012), 182--198.
[11]
S. Sampson and M. Passey. 2011. Introduction to Process-Chain-Network Analysis.
[12]
W.M.P. van der Aalst and K.M. van Hee. 2002. Workflow Management: Models, Methods, and Systems. MIT Press.
[13]
I. Visnjic and B. Van Looy. 2012. Servitization: Disentangling the impact of service business model innovation on the performance of manufacturing firms. (2012).
Index Terms
- Formal support of process chain networks using model-driven engineering and Petri nets
Recommendations
Formal Verification of UML State Machine Diagrams Using Petri Nets
Networked SystemsAbstractUML State Machine diagrams are widely used for behavioral modeling. They describe all of the possible states of a system and show its lifetime behavior. Nevertheless, they lack of semantics. A State Machine diagram may be interpreted in different ...
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications
Model-Driven Engineering (MDE) is founded on the ability to create and process models conforming to a meta-model. In this context, classes in a meta-model are used in two ways: as templates to create objects and as (static) classifiers for them. These ...
Model-driven engineering with domain-specific meta-modelling languages
Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Comments
Information & Contributors
Information
Published In
April 2019
2682 pages
Copyright © 2019 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 08 April 2019
Check for updates
Author Tags
Qualifiers
- Poster
Funding Sources
Conference
SAC '19
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 117Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)0
Reflects downloads up to 23 Dec 2024
Other Metrics
Citations
Cited By
View all- Pérez-Blanco FVara JGómez CDe Castro VMarcos E(2020)Model-Based Tool Support for Service DesignFundamental Approaches to Software Engineering10.1007/978-3-030-45234-6_13(266-272)Online publication date: 25-Apr-2020
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in