Abstract
Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of autonomous agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into Petri nets, and interpreted by the special Petri Nets Virtual Machines, which are installed on all nodes of the system.
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
Adam, N.R., Atluri, V., Huang, W.K.: Modeling and analysis of workflows using Petri nets. J. Intell. Inf. Syst. 10, 131–158 (1998). https://doi.org/10.1023/A:1008656726700
Biermann, E., Ehrig, K., Köhler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the eclipse modeling framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MODELS 2006. LNCS, vol. 4199, pp. 425–439. Springer, Heidelberg (2006). https://doi.org/10.1007/11880240_30
van Hee, K.M., Sidorova, N., van der Werf, J.M.: Business process modeling using Petri nets. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 116–161. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38143-0_4
Hillah, L.M., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: The Petri net markup language and ISO/IEC 15909-2. In: CPN Workshop (2009)
Miori, V., Tarrini, L., Manca, M., Tolomei, G.: An open standard solution for domotic interoperability. IEEE Trans. Consum. Electron. 52(1), 97–103 (2006). https://doi.org/10.1109/tce.2006.1605032
OMG: OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2, February 2009. http://www.omg.org/spec/UML/2.2/Superstructure/PDF
Peterson, J.: Petri nets. ACM Comput. Surv. 9(3), 223–252 (1977)
Petri, C.A.: Kommunikation mit Automaten. Ph. D. thesis, University of Bonn (1962)
Petri, C.A., Reisig, W.: Petri net, vol. 3, no. 4, p. 6477 (2008). http://www.scholarpedia.org/. Accessed 13 July 2017
Richta, T., Janoušek, V.: Operating system for Petri nets-specified reconfigurable embedded systems. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2013. LNCS, vol. 8111, pp. 444–451. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-53856-8_56
Richta, T., Janoušek, V., Kočí, R.: Code generation for Petri nets-specified reconfigurable distributed control systems. In: Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012, Prague, pp. 263–269 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Pokorný, J., Richta, K., Richta, T. (2018). Information Systems Development via Model Transformations. In: Nguyen, N., Hoang, D., Hong, TP., Pham, H., Trawiński, B. (eds) Intelligent Information and Database Systems. ACIIDS 2018. Lecture Notes in Computer Science(), vol 10751. Springer, Cham. https://doi.org/10.1007/978-3-319-75417-8_63
Download citation
DOI: https://doi.org/10.1007/978-3-319-75417-8_63
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-75416-1
Online ISBN: 978-3-319-75417-8
eBook Packages: Computer ScienceComputer Science (R0)