Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models
FM Maggi, M Westergaard - International Journal of Cooperative …, 2014 - World Scientific
Many processes are characterized by high variability, making traditional process modeling
languages cumbersome or even impossible to be used for their description. This is …
languages cumbersome or even impossible to be used for their description. This is …
Looking into the future: Using timed automata to provide a priori advice about timed declarative process models
M Westergaard, FM Maggi - … International Conferences" On the Move to …, 2012 - Springer
Many processes are characterized by high variability, making traditional process modeling
languages cumbersome or even impossible to be used for their description. This is …
languages cumbersome or even impossible to be used for their description. This is …
[PDF][PDF] Declo: A chatbot for user-friendly specification of declarative process models
Proposed approaches for modeling knowledge-intensive processes include declarative,
constraint-based solutions, which meet halfway between support and flexibility. A …
constraint-based solutions, which meet halfway between support and flexibility. A …
Runtime verification of LTL-based declarative process models
Abstract Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the
analysis and enactment of flexible constraint-based business processes. The Declare …
analysis and enactment of flexible constraint-based business processes. The Declare …
Zoom and enhance: Action refinement via subprocesses in timed declarative processes
This paper addresses the open technical problems of evolving executable, event-based
process models by refinement, that is, by iteratively expanding a model until it has the …
process models by refinement, that is, by iteratively expanding a model until it has the …
Enabling model checking for collaborative process analysis: from bpmn to 'network of timed automata'
S Mallek, N Daclin, V Chapurlat… - Enterprise Information …, 2015 - Taylor & Francis
Interoperability is a prerequisite for partners involved in performing collaboration. As a
consequence, the lack of interoperability is now considered a major obstacle. The research …
consequence, the lack of interoperability is now considered a major obstacle. The research …
Improving collaborative business process execution by traceability and expressiveness
The declarative modeling approach promises to be a suitable means for the description of
rather unforeseen and less rigid business processes. However, today's approaches for the …
rather unforeseen and less rigid business processes. However, today's approaches for the …
Planning for declarative processes
Y Laurent, R Bendraou, S Baarir… - Proceedings of the 29th …, 2014 - dl.acm.org
Recently, declarative process modeling have gained a wide attention from both industry and
academia to model loosely-structured processes, mediating between flexibility and support …
academia to model loosely-structured processes, mediating between flexibility and support …
Say it in your own words: Defining declarative process models using speech recognition
Declarative, constraint-based approaches have been proposed to model loosely-structured
business processes, mediating between support and flexibility. A notable example is the …
business processes, mediating between support and flexibility. A notable example is the …
Improving understandability of declarative process models by revealing hidden dependencies
Declarative process models have become a mature alternative to procedural ones. Instead
of focusing on what has to happen, they rather follow an outside-in approach based on a …
of focusing on what has to happen, they rather follow an outside-in approach based on a …