2010 | OriginalPaper | Buchkapitel
Extending ConDec
verfasst von : Marco Montali
Erschienen in: Specification and Verification of Declarative Open Interaction Models
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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].