Abstract
In this chapter, we investigate how the first-order nature of the CLIMB language can be exploited to extend the expressiveness of ConDec along different dimensions, towards the support of:
-
quantitative (metric) temporal constraints;
-
activity data and data aware conditions;
-
a non atomic model of activities.
We call the extended language ConDec++. ConDec++ reconciles ConDec with MXML, a well known meta model proposed by van Dongen and van der Aalst for standardizing the representation and storing of event logs [253].
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
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Montali, M. (2010). Extending ConDec. In: Specification and Verification of Declarative Open Interaction Models. Lecture Notes in Business Information Processing, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14538-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-14538-4_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14537-7
Online ISBN: 978-3-642-14538-4
eBook Packages: Computer ScienceComputer Science (R0)