Abstract
In this chapter, we discuss the advantages and possible uses of a formal semantic model of a business process modelling language like the one presented in Chap. 4.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Augsburg University: The KIV System. http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/kiv/. Accessed 2014-04-15.
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Berlin, Heidelberg (2003)
Cimatti, A., Roveri, M., Cavada, R., Sebastiani, R., Tonetta, S., Mariotti, A., Micheli, A., Mover, S., Dorigatti, M.: NuSMV: a new symbolic model checker. http://nusmv.fbk.eu/. Accessed 2014-04-15.
Eclipse Foundation: eclipse. https://www.eclipse.org/. Accessed 2014-04-02.
Farahbod, R., Gervasi, V., Gläser, U., Jackson, P., Ma, G., Memon, M., Su, M.M.: CoreASM: Main Page. http://sourceforge.net/apps/mediawiki/coreasm/index.php?title=Main_Page. Accessed 2014-04-14.
Owre, S.: PVS Specification and Verification System. http://pvs.csl.sri.com/. Accessed 2014-04-15.
Paulson, L., Nipkow, T., Wenzel, M.: Isabelle. http://isabelle.in.tum.de/. Accessed 2014-04-15.
Pfähler, J., Ernst, G., Schellhorn, G., Haneberg, D., Reif, W.: Crash-safe refinement for a verified flash file system. Technical Report TR-2014-02 of the Institute for Software and Systems Engineering, University of Augsburg, Germany, http://www.isse.uni-augsburg.de/en/publications/publications_reif/2014-TR-EBM/. Accessed 2014-04-15. (2014)
Riccobene, E., Gargantini, A., Scandurra, P., Potena, P., Arcaini, P.: Asmeta. http://asmeta.sourceforge.net/. Accessed 2014-04-15.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Kossak, F. et al. (2014). How the Semantic Model Can Be Used. In: A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer, Cham. https://doi.org/10.1007/978-3-319-09931-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-09931-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09930-9
Online ISBN: 978-3-319-09931-6
eBook Packages: Computer ScienceComputer Science (R0)