An extension of the “Object Constraint Language” (OCL) for modeling real-time and reactive systems in the “Unified Modeling Language” (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models. OCL is enriched by satisfaction operators @η for referring to the v...

The lack of formal semantics of traditional approaches to business process modeling negatively affects the integration and sharing of models. The approaches that provide a semantics often do not discuss the ontological foundation of the assumed primitives hindering the intelligibility of the models. We propose an ontological founded modeling framework in which synchronic properties and relation...