Skip to main content

2014 | OriginalPaper | Buchkapitel

5. Data-Oriented Declarative Language for Optimizing Business Processes

verfasst von : Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca

Erschienen in: Information System Development

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

There is a significant number of declarative languages to describe business processes. They tend to be used when business processes need to be flexible and adaptable, being not possible to use an imperative description. Declarative languages in business process have been traditionally used to describe the order of activities, specifically the order allowed or prohibited. Unfortunately, none of them is worried about a declarative description of exchanged data between the activities and how they can influence the model. In this paper, we analyse the data description capacity of a variety of declarative languages in business processes. Using this analysis, we have detected the necessity to include data exchanged aspects in the declarative descriptions. In order to solve the gap, we propose a Data-Oriented Optimization Declarative LanguagE, called DOODLE, which includes the process requirements referred to data description, and the possibility to include an optimization function about the process output data.

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!

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!

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!

Literatur
1.
Zurück zum Zitat Weske M (2007) Business process management: concepts, languages, architectures. Springer, Secaucus, NJ Weske M (2007) Business process management: concepts, languages, architectures. Springer, Secaucus, NJ
2.
Zurück zum Zitat Cruz IF (1992) Doodle: a visual language for object-oriented databases. SIGMOD Rec 21(2):71–80CrossRef Cruz IF (1992) Doodle: a visual language for object-oriented databases. SIGMOD Rec 21(2):71–80CrossRef
3.
Zurück zum Zitat Sadiq S, Governatori G, Namiri K (2007) Modeling control objectives for business process compliance. In: Proceedings of the 5th international conference on business process management, BPM’07. Springer, Berlin, pp 149–164 Sadiq S, Governatori G, Namiri K (2007) Modeling control objectives for business process compliance. In: Proceedings of the 5th international conference on business process management, BPM’07. Springer, Berlin, pp 149–164
4.
Zurück zum Zitat Rychkova I, Regev G, Wegmann A (2008) High-level design and analysis of business processes the advantages of declarative specifications. In: IEEE international conference on research challenges in information science, RCIS’08, Marrakech, Morocco. pp 99–110. ISBN: 978-1-4244-1677-6 Rychkova I, Regev G, Wegmann A (2008) High-level design and analysis of business processes the advantages of declarative specifications. In: IEEE international conference on research challenges in information science, RCIS’08, Marrakech, Morocco. pp 99–110. ISBN: 978-1-4244-1677-6
5.
Zurück zum Zitat Knuplesch D, Ly LT, Rinderle-Ma S, Pfeifer H, Dadam P (2010) On enabling data-aware compliance checking of business process models. In: 29th International conference on conceptual modeling, ER 2010, Vancouver, BC, Canada, vol 6412. Springer, Berlin, pp 332–346. ISBN: 978-3-642-16372-2 Knuplesch D, Ly LT, Rinderle-Ma S, Pfeifer H, Dadam P (2010) On enabling data-aware compliance checking of business process models. In: 29th International conference on conceptual modeling, ER 2010, Vancouver, BC, Canada, vol 6412. Springer, Berlin, pp 332–346. ISBN: 978-3-642-16372-2
6.
Zurück zum Zitat Goedertier S, Vanthienen J (2006) Designing compliant business processes with obligations and permissions. In: Business process management workshops, vol 4103. Springer, Berlin, pp 5–14. ISBN: 978-3-540-38444-1 Goedertier S, Vanthienen J (2006) Designing compliant business processes with obligations and permissions. In: Business process management workshops, vol 4103. Springer, Berlin, pp 5–14. ISBN: 978-3-540-38444-1
7.
Zurück zum Zitat Parody L, Gomez-Lopez MT, Gasca M (2013) Decision-making sub-process to obtain the optimal combination of input data in business processes. In: Proceedings of the IX Jormadas de Ciencia e Ingeniería de Servicios, JCIS ’13, pp 17–31. ISBN: 978-84-695-8351-7 Parody L, Gomez-Lopez MT, Gasca M (2013) Decision-making sub-process to obtain the optimal combination of input data in business processes. In: Proceedings of the IX Jormadas de Ciencia e Ingeniería de Servicios, JCIS ’13, pp 17–31. ISBN: 978-84-695-8351-7
8.
Zurück zum Zitat Parody L, Gomez-Lopez MT, Martinez Gasca R, Varela-Vaca AJ (2012) Improvement of optimization agreements in business processes involving web services. Communications of the IBIMA 2012, vol 2012, Article ID 959796, 15 pp. doi:10.5171/2012.959796 Parody L, Gomez-Lopez MT, Martinez Gasca R, Varela-Vaca AJ (2012) Improvement of optimization agreements in business processes involving web services. Communications of the IBIMA 2012, vol 2012, Article ID 959796, 15 pp. doi:10.​5171/​2012.​959796
9.
Zurück zum Zitat Bider I, Khomyakov M, Pushchinsky E (2000) Logic of change: semantics of object systems with active relations. Autom Softw Eng 7:9–37CrossRef Bider I, Khomyakov M, Pushchinsky E (2000) Logic of change: semantics of object systems with active relations. Autom Softw Eng 7:9–37CrossRef
11.
Zurück zum Zitat Bacchus F, Kabanza F (2000) Using temporal logics to express search control knowledge for planning. Artif Intell 116(1–2):123–191CrossRefMATHMathSciNet Bacchus F, Kabanza F (2000) Using temporal logics to express search control knowledge for planning. Artif Intell 116(1–2):123–191CrossRefMATHMathSciNet
12.
Zurück zum Zitat Pesic M, van der Aalst WMP (2006) A declarative approach for flexible business processes management. In: Proceedings of the 2006 international conference on business process management workshops, BPM’06. Springer, Berlin, pp 169–180 Pesic M, van der Aalst WMP (2006) A declarative approach for flexible business processes management. In: Proceedings of the 2006 international conference on business process management workshops, BPM’06. Springer, Berlin, pp 169–180
13.
Zurück zum Zitat Kowalski RA, Sergot MJ (1986) A logic-based calculus of events. New Generat Comput 4(1):67–95CrossRef Kowalski RA, Sergot MJ (1986) A logic-based calculus of events. New Generat Comput 4(1):67–95CrossRef
14.
Zurück zum Zitat Eshghi K (1988) Abductive planning with event calculus. In: Proceedings of the fifth international conference and symposium on logic programming, Seattle, Washington. MIT Press. pp 562–579. ISBN: 0-262-61056-6 Eshghi K (1988) Abductive planning with event calculus. In: Proceedings of the fifth international conference and symposium on logic programming, Seattle, Washington. MIT Press. pp 562–579. ISBN: 0-262-61056-6
15.
Zurück zum Zitat Shanahan M (1997) Event calculus planning revisited. In: Steel S, Alami R (eds) ECP. Lecture notes in computer science, vol 1348. Springer, Heidelberg, pp 390–402 Shanahan M (1997) Event calculus planning revisited. In: Steel S, Alami R (eds) ECP. Lecture notes in computer science, vol 1348. Springer, Heidelberg, pp 390–402
16.
Zurück zum Zitat Nuffelen BV, Kakas AC (2001) A-system: declarative programming with abduction. In: Eiter T, Faber W, Truszczynski M (eds) LPNMR. Lecture notes in computer science, vol 2173. Springer, Heidelberg, pp 393–396 Nuffelen BV, Kakas AC (2001) A-system: declarative programming with abduction. In: Eiter T, Faber W, Truszczynski M (eds) LPNMR. Lecture notes in computer science, vol 2173. Springer, Heidelberg, pp 393–396
17.
Zurück zum Zitat Rossi F, Beek PV, Walsh T (2006) Handbook of constraint programming (foundations of artificial intelligence). Elsevier, New York, NY Rossi F, Beek PV, Walsh T (2006) Handbook of constraint programming (foundations of artificial intelligence). Elsevier, New York, NY
18.
Zurück zum Zitat Sadiq SW, Orlowska ME, Sadiq W (2005) Specification and validation of process constraints for flexible workflows. Inform Syst 30(5):349–378CrossRef Sadiq SW, Orlowska ME, Sadiq W (2005) Specification and validation of process constraints for flexible workflows. Inform Syst 30(5):349–378CrossRef
19.
Zurück zum Zitat Rychkova I, Regev G, Wegmann A (2008) Using declarative specifications in business process design. IJCSA 5(3b):45–68 Rychkova I, Regev G, Wegmann A (2008) Using declarative specifications in business process design. IJCSA 5(3b):45–68
20.
Zurück zum Zitat Rychkova I, Nurcan S (2011) Towards adaptability and control for knowledge-intensive business processes: declarative configurable process specifications. In: 44th Hawaii international conference on system sciences (HICSS). pp 1–10. ISSN: 1530-1605 Rychkova I, Nurcan S (2011) Towards adaptability and control for knowledge-intensive business processes: declarative configurable process specifications. In: 44th Hawaii international conference on system sciences (HICSS). pp 1–10. ISSN: 1530-1605
21.
Zurück zum Zitat van der Aalst WM, Weske M, Grnbauer D (2005) Case handling: a new paradigm for business process support. Data Knowl Eng 53:129–162CrossRef van der Aalst WM, Weske M, Grnbauer D (2005) Case handling: a new paradigm for business process support. Data Knowl Eng 53:129–162CrossRef
22.
Zurück zum Zitat Ly LT, Rinderle S, Dadam P (2008) Integration and verification of semantic constraints in adaptive process management systems. Data Knowl Eng 64(1):3–23CrossRef Ly LT, Rinderle S, Dadam P (2008) Integration and verification of semantic constraints in adaptive process management systems. Data Knowl Eng 64(1):3–23CrossRef
23.
Zurück zum Zitat Ly LT, Rinderle-Ma S, Knuplesch D, Dadam P (2011) Monitoring business process compliance using compliance rule graphs. In: 19th International conference on cooperative information systems (CoopIS 2011). LNCS, vol 7044. Springer, Heidelberg, pp 82–99 Ly LT, Rinderle-Ma S, Knuplesch D, Dadam P (2011) Monitoring business process compliance using compliance rule graphs. In: 19th International conference on cooperative information systems (CoopIS 2011). LNCS, vol 7044. Springer, Heidelberg, pp 82–99
24.
Zurück zum Zitat Goedertier S, Haesen R, Vanthienen J (2007) Em-bra2ce v0. 1: a vocabulary and execution model for declarative business process modeling. FETEW Research Report KBI 0728, K.U. Leuven Goedertier S, Haesen R, Vanthienen J (2007) Em-bra2ce v0. 1: a vocabulary and execution model for declarative business process modeling. FETEW Research Report KBI 0728, K.U. Leuven
25.
Zurück zum Zitat Roover WD, Caron F, Vanthienen J (2011) A prototype tool for the event-driven enforcement of sbvr business rules. In: Daniel F, Barkaoui K, Dustdar S (eds) Business process management workshops (1). Lecture notes in business information processing, vol 99. Springer, Heidelberg, pp 446–457 Roover WD, Caron F, Vanthienen J (2011) A prototype tool for the event-driven enforcement of sbvr business rules. In: Daniel F, Barkaoui K, Dustdar S (eds) Business process management workshops (1). Lecture notes in business information processing, vol 99. Springer, Heidelberg, pp 446–457
27.
Zurück zum Zitat Maggi FM, Montali M, Westergaard M, van der Aalst W (2011) Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Proceedings of BPM. LNCS. Springer, Heidelberg Maggi FM, Montali M, Westergaard M, van der Aalst W (2011) Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Proceedings of BPM. LNCS. Springer, Heidelberg
28.
Zurück zum Zitat Maggi F, Westergaard M, Montali M, van der Aalst W (2011) Runtime verification of LTL based declarative process models. In: Proceedings of RV. LNCS. Springer, Heidelberg Maggi F, Westergaard M, Montali M, van der Aalst W (2011) Runtime verification of LTL based declarative process models. In: Proceedings of RV. LNCS. Springer, Heidelberg
29.
Zurück zum Zitat Barba I, Weber B, Valle CD, Ramrez AJ (2013) User recommendations for the optimized execution of business processes. Data Knowl Eng 86:61–84CrossRef Barba I, Weber B, Valle CD, Ramrez AJ (2013) User recommendations for the optimized execution of business processes. Data Knowl Eng 86:61–84CrossRef
30.
Zurück zum Zitat Ramrez AJ, Barba I, Valle CD, Weber B (2013) Generating multi-objective optimized business process enactment plans. In: 25th International conference on advanced information systems engineering. CAISE’13. Lecture notes in computer science, vol 7908. pp 99–115. ISBN: 978-3-642-38708-1 Ramrez AJ, Barba I, Valle CD, Weber B (2013) Generating multi-objective optimized business process enactment plans. In: 25th International conference on advanced information systems engineering. CAISE’13. Lecture notes in computer science, vol 7908. pp 99–115. ISBN: 978-3-642-38708-1
31.
Zurück zum Zitat Montali M, Chesani F, Mello P, Maggi FM (2013) Towards data-aware constraints in declare. In: Proceedings of the 28th annual ACM symposium on applied computing, SAC ’13. ACM, Coimbra, Portugal, pp 1391–1396 Montali M, Chesani F, Mello P, Maggi FM (2013) Towards data-aware constraints in declare. In: Proceedings of the 28th annual ACM symposium on applied computing, SAC ’13. ACM, Coimbra, Portugal, pp 1391–1396
Metadaten
Titel
Data-Oriented Declarative Language for Optimizing Business Processes
verfasst von
Luisa Parody
María Teresa Gómez-López
Rafael M. Gasca
Copyright-Jahr
2014
DOI
https://doi.org/10.1007/978-3-319-07215-9_5

Premium Partner