![](bg8.png)
verification of the research presented though the Rent-
A-Car case a future work to consider would be re-
lated to its validation. Besides testing the mapping
proposed in a more sizable sample of Action Models
would be of great importance.
ACKNOWLEDGEMENTS
This work was supported by the European Com-
mission program H2020 under the grant agreement
822404 (project QualiChain) and by national funds
through Fundac¸
˜
ao para a Ci
ˆ
encia e a Tecnologia
(FCT) with reference UIDB/50021/2020 (INESC-
ID).
REFERENCES
Andrade, M., Aveiro, D., and Pinto, D. (2018). Demo based
dynamic information system modeller and executer.
pages 383–390.
Apar
´
ıcio., M., Guerreiro., S., and Sousa., P. (2020). To-
wards an automated demo action model implementa-
tion using blockchain smart contracts. In Proceedings
of the 22nd International Conference on Enterprise
Information Systems - Volume 2: ICEIS,, pages 762–
769. INSTICC, SciTePress.
Bahga, A. and Madisetti, V. (2016). Blockchain platform
for industrial internet of things. Journal of Software
Engineering and Applications, 09:533–546.
Boella, G., Elkind, E., Savarimuthu, B. T. R., Dignum, F.,
and Purvis, M. K. (2013). Prima 2013: Principles and
practice of multi-agent systems. In Lecture Notes in
Computer Science.
Crawford, S. E. S. and Ostrom, E. (1995). A grammar
of institutions. American Political Science Review,
89(3):582–600.
de Kruijff, J. and Weigand, H. (2017). Understanding the
blockchain using enterprise ontology.
Dietz, J. (2006). Enterprise Ontology—Theory and Method-
ology.
Dietz, J. and Hoogervorst, J. (2007). Enterprise ontology
and enterprise architecture–how to let them evolve
into effective complementary notions. GEAO Journal
of Enterprise Architecture, 2(1):121–149.
Dietz, J. L. and Mulder, H. B. (2020). Enterprise Ontol-
ogy: A Human-Centric Approach to Understanding
the Essence of Organisation. Springer Nature.
Frantz, C. K. and Nowostawski, M. (2016). From in-
stitutions to code: Towards automated generation of
smart contracts. In 2016 IEEE 1st International Work-
shops on Foundations and Applications of Self* Sys-
tems (FAS*W), pages 210–215.
Garc
´
ıa-Ba
˜
nuelos, L., Ponomarev, A., Dumas, M., and We-
ber, I. (2017). Optimized execution of business pro-
cesses on blockchain.
Guerreiro, S. (2012). Enterprise dynamic systems control
enforcement of run-time business transactions using
demo: principles of design and implementation. Insti-
tuto Superior T
´
ecnico-Universidade T
´
ecnica de Lis-
boa, Lisboa.
Horn
´
a
ˇ
ckov
´
a, B., Skotnica, M., and Pergl, R. (2019). Explor-
ing a role of blockchain smart contracts in enterprise
engineering. In Aveiro, D., Guizzardi, G., Guerreiro,
S., and Gu
´
edria, W., editors, Advances in Enterprise
Engineering XII, pages 113–127, Cham. Springer In-
ternational Publishing.
Kim, H. and Laskowski, M. (2016). Towards an ontology-
driven blockchain design for supply chain provenance.
Markov, K. (2008). Data independence in the multi-
dimensional numbered information spaces.
Mavridou, A. and Laszka, A. (2018). Designing Secure
Ethereum Smart Contracts: A Finite State Machine
Based Approach, pages 523–540.
Nakamoto, S. (2009). Bitcoin: A peer-to-peer elec-
tronic cash system. Cryptography Mailing list at
https://metzdowd.com.
Norta, A. (2017). Designing a smart-contract application
layer for transacting decentralized autonomous orga-
nizations. In Singh, M., Gupta, P., Tyagi, V., Sharma,
A.,
¨
Oren, T., and Grosky, W., editors, Advances in
Computing and Data Sciences, pages 595–604, Sin-
gapore. Springer Singapore.
Pintado, O. (2017). Caterpillar: A blockchain-based busi-
ness process management system.
Pintado, O., Garc
´
ıa-Ba
˜
nuelos, L., Dumas, M., Weber, I.,
and Ponomarev, A. (2018). Caterpillar: A business
process execution engine on the ethereum blockchain.
Skotnica, M., van Kervel, S. J. H., and Pergl, R. (2017).
A demo machine - a formal foundation for execution
of demo models. In Aveiro, D., Pergl, R., Guizzardi,
G., Almeida, J. P., Magalh
˜
aes, R., and Lekkerkerk, H.,
editors, Advances in Enterprise Engineering XI, pages
18–32, Cham. Springer International Publishing.
Tran, A. B., Lu, Q., and Weber, I. (2018). Lorikeet: A
model-driven engineering tool for blockchain-based
business process execution and asset management. In
BPM.
van Wingerde, M. E. M. and Weigand, H. (2020). An onto-
logical analysis of artifact-centric business processes
managed by smart contracts. In 2020 IEEE 22nd
Conference on Business Informatics (CBI), volume 1,
pages 231–240.
Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev,
A., and Mendling, J. (2016). Untrusted business pro-
cess monitoring and execution using blockchain. In
La Rosa, M., Loos, P., and Pastor, O., editors, Busi-
ness Process Management, pages 329–347, Cham.
Springer International Publishing.
W
¨
ohrer, M. and Zdun, U. (2018). Design patterns for
smart contracts in the ethereum ecosystem. In 2018
IEEE International Conference on Internet of Things
(iThings) and IEEE Green Computing and Commu-
nications (GreenCom) and IEEE Cyber, Physical and
Social Computing (CPSCom) and IEEE Smart Data
(SmartData), pages 1513–1520.
KEOD 2020 - 12th International Conference on Knowledge Engineering and Ontology Development
290