Abstract
This works proposes a colored Petri-Net for implementing DEMO/PSI Transactions. It is based on previous works by the community and on requirement clarifications that happened on a working session on 2017 Enterprise Engineering Working Conference. The solution was designed taking into consideration an asynchronous and distributed system. It also introduces the possibility of using the DEMO/PSI transaction with more than two actor roles. We develop a prototype to validate the proposed solution.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dietz, J.L.G.: Enterprise Ontology – Theory and Methodology. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-33149-2
Dietz, J.L.G.: The PSI theory – understanding human collaboration (v4.3) (2017). https://www.researchgate.net/publication/320298882_The_PSI_theory_-_understanding_human_collaboration/citations. Accessed 25 May 2018
https://en.wikipedia.org/wiki/Petri_net. Accessed 23 Apr 2018
Van Kervel, S.J.H.: Ontology driven enterprise information systems engineering. Doctoral dissertation, TU Delft, Delft University of Technology (2012)
Op’t Land, M., Krouwel, Marien R., van Dipten, E., Verelst, J.: Exploring normalized systems potential for Dutch MoD’s agility. In: Harmsen, F., Grahlmann, K., Proper, E. (eds.) PRET 2011. LNBIP, vol. 89, pp. 110–121. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23388-3_5
Krouwel, M.R., Op’t Land, M.: Combining DEMO and normalized systems for developing agile enterprise information systems. In: Albani, A., Dietz, Jan L.G., Verelst, J. (eds.) EEWC 2011. LNBIP, vol. 79, pp. 31–45. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21058-7_3
Gouveia, D., Aveiro, D.: Two protocols for DEMO engines: PSI or Tell&Agree. In: CIAO DC (2015)
Gouveia, D.: EEWC PSI Theory Technical Session (2017)
Skotnica, M., van Kervel, Steven J.H., Pergl, R.: A DEMO machine - a formal foundation for execution of demo models. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 18–32. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57955-9_2
Gouveia, D., Aveiro, D.: Core component of communication. In: Enterprise Engineering Working Conference (2016)
Gouveia, D., Aveiro, D.: DEMO/PSI theory and the law of the land. In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 50–65. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57955-9_4
Gouveia, D., Aveiro, D.: Modeling exchange agreements with DEMO/PSI and core component of communication. In: Reinhartz-Berger, I., Gulden, J., Nurcan, S., Guédria, W., Bera, P. (eds.) BPMDS/EMMSAD-2017. LNBIP, vol. 287, pp. 220–236. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59466-8_14
Acknowledgments
This work was partially funded by FCT/MCTES LARSyS (UID/EEA/50009/2013 (2015–2017)).
This work was developed with financial support from ARDITI (Agência Regional para o Desenvolvimento da Investigação, Tecnologia e Inovação), in the context of project M14-20 09-5369-FSE-000001- Bolsa de Doutoramento.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Gouveia, D., Aveiro, D. (2019). Colored Petri-Net for Implementing DEMO/PSI Transactions for N Actor Roles (N >= 2). In: Aveiro, D., Guizzardi, G., Guerreiro, S., Guédria, W. (eds) Advances in Enterprise Engineering XII. EEWC 2018. Lecture Notes in Business Information Processing, vol 334. Springer, Cham. https://doi.org/10.1007/978-3-030-06097-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-06097-8_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-06096-1
Online ISBN: 978-3-030-06097-8
eBook Packages: Computer ScienceComputer Science (R0)