Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Service Oriented Computing and Applications
Published in: Service Oriented Computing and Applications 4/2017

09-08-2017 | Special Issue Paper

A planning approach to the automated synthesis of template-based process models

Authors: Andrea Marrella, Yves Lespérance

Published in: Service Oriented Computing and Applications | Issue 4/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The design-time specification of flexible processes can be time-consuming and error-prone, due to the high number of tasks involved and their context-dependent nature. Such processes frequently suffer from potential interference among their constituents, since resources are usually shared by the process participants and it is difficult to foresee all the potential tasks interactions in advance. Concurrent tasks may not be independent from each other (e.g., they could operate on the same data at the same time), resulting in incorrect outcomes. To tackle these issues, we propose an approach for the automated synthesis of a library of template-based process models that achieve goals in dynamic and partially specified environments. The approach is based on a declarative problem definition and partial-order planning algorithms for template generation. The resulting templates guarantee sound concurrency in the execution of their activities and are reusable in a variety of partially specified contextual environments. As running example, a disaster response scenario is given. The approach is backed by a formal model and has been tested in experiments.
next article Exploiting Internet of Things information to enhance venues’ recommendation accuracy

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
Appendix
Available only for authorised users
Footnotes
2
PDDL 2.1 enables the representation of realistic planning domains, which include operators with universally quantified effects and numeric fluents. However, our formalism does not currently handle conditional effects nor negative preconditions.
 
4
Before the execution of the algorithm, all the ordering constraints involving the dummy start action \(a_0\) and the dummy end action \(a_\infty \) are removed from O.
 
Literature
1.
2.
3.
4.
5.
6.
7.
Di Ciccio C, Mecella M (2012) Mining constraints for artful processes. In: 15th International conference on business information systems (BIS). Springer, Berlin, pp 11–23. doi:10.​1007/​978-3-642-30359-3_​2
8.
Marrella A, Russo A, Mecella M (2012) Planlets: automatically recovering dynamic processes in YAWL. In: 20th International conference on cooperative information systems (CoopIS)—OTM conferences, vol 1. Springer, Berlin, pp 268–286. doi:10.​1007/​978-3-642-33606-5_​17
9.
10.
Goser K, Jurisch M, Acker H, Kreher U, Lauer M, Rinderle-Ma S, Reichert M, Dadam P (2007) Next-generation process management with ADEPT2. In: Demonstration program of the 5th international conference on business process management (BPM)
11.
Marrella A, Mecella M (2011) Continuous planning for solving business process adaptivity. In: 12th International conference on business process modeling, development, and support (BPMDS). Springer, Berlin, pp 118–132. doi:10.​1007/​978-3-642-21759-3_​9
12.
Marrella A, Mecella M, Russo A (2011) Featuring automatic adaptivity through workflow enactment and planning. In: 7th International conference on collaborative computing: networking, applications and worksharing (CollaborateCom 2011), pp 372–381. doi:10.​4108/​icst.​collaboratecom.​2011.​247096
13.
Marrella A, Mecella M, Sardiña S (2014) Smartpm: An adaptive process management system through situation calculus, indigolog, and classical planning. In: Principles of knowledge representation and reasoning: proceedings of the fourteenth international conference, KR 2014, Vienna, Austria, July 20–24, 2014
14.
Marrella A, Mecella M, Sardiña S (2017) Intelligent process adaptation in the SmartPM system. ACM TIST 8(2):25. doi:10.​1145/​2948071
15.
Marrella A, Lesperance Y (2013) Synthesizing a library of process templates through partial-order planning algorithms. In: 14th International conference on business process modeling, development and support (BPMDS 2013). Springer, Berlin, pp 277–291. doi:10.​1007/​978-3-642-38484-4_​20
16.
Nau D, Ghallab M, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann Publishers Inc., San FranciscoMATH
17.
Weld D (1994) An introduction to least commitment planning. AI Mag 15(4):27
18.
Mcdermott D, Ghallab M, Howe A, Knoblock C, Ram A, Veloso M, Weld D, Wilkins D (1998) PDDL—the planning domain definition language. In: Technical report, Yale Center for Computational Vision and Control
19.
Catarci T, de Leoni M, Marrella A, Mecella M, Russo A, Steinmann R, Bortenschlager M (2011) WORKPAD: process management and geo-collaboration help disaster response. IJISCRAM 3(1):32–49
20.
Catarci T, de Leoni M, Marrella A, Mecella M, Salvatore B, Vetere G, Dustdar S, Juszczyk L, Manzoor A, Truong HL (2008) Pervasive software environments for supporting disaster responses. IEEE Internet Comput 12(1):26–37CrossRef
21.
Humayoun SR, Catarci T, de Leoni M, Marrella A, Bortenschlager M, Steinmann R (2009) Designing mobile systems in highly dynamic scenarios: the WORKPAD methodology. Int J Knowl Technol Policy 22(1):25–43
22.
Humayoun SR, Catarci T, de Leoni M, Marrella A, Mecella M, Bortenschlager M, Steinmann R (2009) The WORKPAD user interface and methodology: developing smart and effective mobile applications for emergency operators. In: HCI, vol 7, pp 343–352
23.
Marrella A, Mecella M, Russo A (2011) Collaboration on-the-field: suggestions and beyond. In: 8th International conference on information systems for crisis response and management (ISCRAM 2011)
24.
van der Aalst WM (2016) Process mining: data science in action. Springer, BerlinCrossRef
25.
Papazoglou MP, Heuvel WJ (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J Int J Very Large Data Bases 16(3):389–415CrossRef
26.
Silver B (2009) Case management: addressing unique BPM requirements. In: Taming the unpredictable: real-world adaptive case management, pp 1–12
27.
Hull R, Motahari Nezhad HR (2016) Rethinking BPM in a cognitive world: Transforming how we learn and perform business processes. In: Business process management: 14th international conference, BPM 2016, Rio de Janeiro, Brazil, September 18–22, 2016. Lecture notes in computer science, vol 9850. Springer, pp 3–19. doi:10.​1007/​978-3-319-45348-4_​1
28.
29.
van der Aalst W, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23(2):99–115CrossRef
30.
Meyer A, Smirnov S, Weske M (2011) Data in business processes. Universitätsverlag Potsdam, Potsdam
31.
White SA, Miers D (2008) BPMN modeling and reference guide: understanding and using BPMN. Future Strategies Inc., Oakville
32.
Godefroid P (1996) Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem. Springer, BerlinCrossRefMATH
33.
Fox M, Long D (2003) PDDL2.1: an extension to PDDL for expressing temporal planning domains. J Artif Int Res 20(1):61–124MATH
34.
Reiter R (1987) On closed world data bases. In: Ginsberg M (ed) Readings in nonmonotonic reasoning. Morgan Kaufmann Publishers Inc., San Francisco
35.
Russell S (2003) Artificial intelligence: a modern approach, 2nd edn. Pearson
36.
Dijkman R, Dumas M, García-Bañuelos L (2009) Graph matching algorithms for business process model similarity search. In: Business process management. Springer, pp 48–63
37.
Dijkman R, Dumas M, Van Dongen B, Käärik R, Mendling J (2011) Similarity of business process models: metrics and evaluation. Inf Syst 36(2):498–516CrossRef
38.
Dumas M, van der Aalst WM (2005) Process-aware information systems: bridging people and software through process technology. Wiley, HobokenCrossRef
39.
Coles AJ, Coles A, Fox M, Long D (2010) Forward-chaining partial-order planning. In: ICAPS
40.
Lu R, Sadiq S (2007) A survey of comparative business process modeling approaches. In: 10th International conference on business information systems (BIS). Springer, pp 82–94
41.
Leymann F, Roller D (2000) Production workflow: concepts and techniques. Prentice Hall, Upper Saddle RiverMATH
42.
43.
44.
45.
46.
Wongwatkit C (2012) A development of order processing system: BPMN model. In: 14th International conference on advanced communication technology (ICACT), pp 653–658
47.
48.
Lanz A, Kreher U, Reichert M, Dadam P (2010) Enabling process support for advanced applications with the AristaFlow BPM Suite
49.
50.
La Rosa M, van der Aalst WM, Dumas M, Milani FP (2013) Business process variability modeling: a survey. ACM Comput Surv. doi:10.​1145/​3041957
51.
52.
53.
54.
55.
Hallerbach A, Bauer T, Reichert M (2010) Capturing variability in business process models: the Provop approach. J Softw Evol Process 22(6–7):519–546. doi:10.​1002/​smr.​491
56.
Brockmans S, Ehrig M, Koschmider A, Oberweis A, Studer R (2006) Semantic alignment of business processes. ICEIS 3:191–196
57.
Thomas O, Fellmann M (2007) Semantic business process management: ontology-based process modeling using event-driven process chains. IBIS 4:29–44
58.
Pichler P, Weber B, Zugal S, Pinggera J, Mendling J, Reijers HA (2012) Imperative versus declarative process modeling languages: an empirical investigation. In: Business process management workshops. Springer, pp 383–394
59.
Grambow G, Oberhauser R, Reichert M (2012) Contextual generation of declarative workflows and their application to software engineering processes. Int J Adv Intell Syst 4(3–4):158–179
60.
Pesic M, Schonenberg H, van der Aalst WM (2007) Declare: full support for loosely-structured processes. In: 11th IEEE International conference on enterprise distributed object computing, EDOC 2007. IEEE, pp 287–287
61.
Weber B, Pinggera J, Zugal S, Wild W (2011) Alaska simulator toolset for conducting controlled experiments on process flexibility. In: CAiSE Forum 2010, LNBIP 72. Springer, Berlin, pp 205–221
62.
Vardi MY (1996) An automata-theoretic approach to linear temporal logic. In: Logics for concurrency. Springer, pp 238–266
63.
64.
Hull R (2008) Artifact-centric business process models: brief survey of research results and challenges. In: On the move to meaningful internet systems: OTM. Lecture notes in computer science, vol 5332. Springer, Berlin, pp 1152–1163
65.
66.
Bagheri Hariri B, Calvanese D, de Giacomo G, Deutsch A, Montali M (2013) Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd symposium on principles of database systems, PODS ’13. ACM, New York, pp 163–174. doi:10.​1145/​2463664.​2465221
67.
68.
Zunino A, Campo M (2012) A survey of approaches to web service discovery in service-oriented architectures. Innov Database Des Web Appl Inf Syst Manag. doi:10.​4018/​jdm.​2011010105
69.
Myers KL, Berry PM (1998) Workflow management systems: an AI perspective. In: AIC-SRI report
70.
Currie K, Tate A (1991) O-Plan: the open planning architecture. Artif Intell 52(1):49–86 10.1016/0004-3702(91)90024-ECrossRef
71.
Beckstein C, Klausner J (1999) A meta level architecture for workflow management. J Integr Des Process Sci 3(1):15–26
72.
Jarvis P, Moore J, JS, Macintosh A, du Mont AC, Chung P (1999) Exploiting AI technologies to realise adaptive workflow systems. In: Proceedings of the AAAI workshop on agent-based systems in the business context
73.
74.
75.
76.
77.
78.
Ferreira H, Ferreira D (2006) An integrated life cycle for workflow management based on learning and planning. Int J Coop Inf Syst 15:485–505CrossRef
79.
Henneberger M, Heinrich B, Lautenbacher F, Bauer B (2008) Semantic-based planning of process models. In: Multikonferenz Wirtschaftsinformatik
80.
R-Moreno MD, Borrajo D, Cesta A, Oddi A (2007) Integrating planning and scheduling in workflow domains. Exp Syst Appl Int J 33(2):389–406CrossRef
81.
Schuschel H, Weske M (2004) Triggering replanning in an integrated workflow planning and enactment system. In: ADBIS
82.
Aler R, Borrajo D, Camacho D (2002) A knowledge-based approach for business process reengineering, SHAMASH. Know Based Syst 15(8):473–483CrossRef
83.
Bechhofer S, Van Harmelen F, Hendler J, Horrocks I, McGuinness DL, Patel-Schneider PF (2004) Owl web ontology language reference. W3C Recommendation 10 February 2004
Metadata
Title
A planning approach to the automated synthesis of template-based process models
Authors
Andrea Marrella
Yves Lespérance
Publication date
09-08-2017
Publisher
Springer London
Published in
Service Oriented Computing and Applications / Issue 4/2017
Print ISSN: 1863-2386
Electronic ISSN: 1863-2394
DOI
https://doi.org/10.1007/s11761-017-0215-z

Other articles of this Issue 4/2017

Service Oriented Computing and Applications 4/2017 Go to the issue

Special Issue Paper

Cloud service brokerage: enhancing resilience in virtual enterprises through service governance and quality assurance

Special Issue Paper

Exploiting Internet of Things information to enhance venues’ recommendation accuracy

Special Issue Paper

Cost-optimized redundant data storage in the cloud

Special Issue Paper

Optimized IoT service placement in the fog

Premium Partner

    Image Credits