Abstract
To control the flow of system execution, OPM has precise operational semantics, based on the event-condition-action paradigm and expressed by modifying the procedural links with control modifiers—event and condition symbols. This is the focus of this chapter.
Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages.
de Bakker and de Vink (1996)
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
de Bakker, J.W. and de Vink, E.P. Control Flow Semantics. MIT Press, Cambridge, MA, 1996.
Dittrich, K.R., Gatziu, S., and Geppert, A. The Active Database Management System Manifesto: A Rulebase of ADBMS Features. Lecture Notes in Computer Science 985, Springer, pp. 3–20, 1995.
OMG OCL Object Constraint Languge, Version 2.4, 2014. http://www.omg.org/spec/OCL/2.4/PDF/ Accessed June 20, 2015.
Warmer, J. and Kleppe, A. The Object-Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, MA, 1999.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer Science+Business Media New York
About this chapter
Cite this chapter
Dori, D. (2016). OPM Operational Semantics and Control Links. In: Model-Based Systems Engineering with OPM and SysML. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-3295-5_22
Download citation
DOI: https://doi.org/10.1007/978-1-4939-3295-5_22
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4939-3294-8
Online ISBN: 978-1-4939-3295-5
eBook Packages: Computer ScienceComputer Science (R0)