Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Service Oriented Computing and Applications
Erschienen 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

verfasst von: Andrea Marrella, Yves Lespérance

Erschienen in: Service Oriented Computing and Applications | Ausgabe 4/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.
Nächster Artikel Exploiting Internet of Things information to enhance venues’ recommendation accuracy

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
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.
 
Literatur
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.
ter Hofstede A, van der Aalst W, Adams M, Russell N (2009) Modern business process automation: YAWL and its support environment. Springer, Berlin. doi:10.​1007/​978-3-642-03121-2
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
Metadaten
Titel
A planning approach to the automated synthesis of template-based process models
verfasst von
Andrea Marrella
Yves Lespérance
Publikationsdatum
09.08.2017
Verlag
Springer London
Erschienen in
Service Oriented Computing and Applications / Ausgabe 4/2017
Print ISSN: 1863-2386
Elektronische ISSN: 1863-2394
DOI
https://doi.org/10.1007/s11761-017-0215-z

Weitere Artikel der Ausgabe 4/2017

Service Oriented Computing and Applications 4/2017 Zur Ausgabe

Special Issue Paper

Optimized IoT service placement in the fog

Special Issue Paper

Cost-optimized redundant data storage in the cloud

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

Premium Partner

    Bildnachweise