Skip to main content

2017 | OriginalPaper | Buchkapitel

Modelling Processes with Time-Dependent Control Structures

verfasst von : Horst Pichler, Johann Eder, Margareta Ciglic

Erschienen in: Conceptual Modeling

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

The modeling of processes with temporal constraints suffers from a mismatch between more procedural process models and more declarative formulations of temporal constraints. We propose the introduction of temporal conditions in the formulation of conditional constructs, in particular XOR-splits and loops to give process designers explicit control over the temporal behaviour of the processes they model. We define syntax and semantics of temporal splits and temporal loops and propose the notion of controllability for defining the (temporal) correctness of process definitions with temporal control structures.

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 Cardoso, J., Sheth, A., Miller, J.: Workflow quality of service. In: Kosanke, K., Jochem, R., Nell, J.G., Bas, A.O. (eds.) Enterprise Inter- and Intra-Organizational Integration. ITIFIP, vol. 108, pp. 303–311. Springer, Boston, MA (2003). doi:10.1007/978-0-387-35621-1_31CrossRef Cardoso, J., Sheth, A., Miller, J.: Workflow quality of service. In: Kosanke, K., Jochem, R., Nell, J.G., Bas, A.O. (eds.) Enterprise Inter- and Intra-Organizational Integration. ITIFIP, vol. 108, pp. 303–311. Springer, Boston, MA (2003). doi:10.​1007/​978-0-387-35621-1_​31CrossRef
2.
Zurück zum Zitat Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: Proceedings of International Conference on Information Integration and Web-Based Applications & Services, p. 154. ACM (2013) Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: Proceedings of International Conference on Information Integration and Web-Based Applications & Services, p. 154. ACM (2013)
3.
Zurück zum Zitat Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. SOCA 9(1), 75–85 (2015)CrossRef Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. SOCA 9(1), 75–85 (2015)CrossRef
4.
Zurück zum Zitat Combi, C., Posenato, R.: Controllability in temporal conceptual workflow schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 64–79. Springer, Heidelberg (2009). doi:10.1007/978-3-642-03848-8_6CrossRef Combi, C., Posenato, R.: Controllability in temporal conceptual workflow schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 64–79. Springer, Heidelberg (2009). doi:10.​1007/​978-3-642-03848-8_​6CrossRef
5.
Zurück zum Zitat Eder, J., Gruber, W., Pichler, H.: Transforming workflow graphs. In: Konstantas, D., Bourrières, J.P., Léonard, M., Boudjlida, N. (eds.) Interoperability of Enterprise Software and Applications, pp. 203–214. Springer, London (2006). doi:10.1007/1-84628-152-0_19CrossRef Eder, J., Gruber, W., Pichler, H.: Transforming workflow graphs. In: Konstantas, D., Bourrières, J.P., Léonard, M., Boudjlida, N. (eds.) Interoperability of Enterprise Software and Applications, pp. 203–214. Springer, London (2006). doi:10.​1007/​1-84628-152-0_​19CrossRef
7.
Zurück zum Zitat Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. In: Bubenko, J., Krogstie, J., et al. (eds.) Seminal Contributions to Information Systems Engineering, pp. 207–213. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36926-1_16CrossRef Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. In: Bubenko, J., Krogstie, J., et al. (eds.) Seminal Contributions to Information Systems Engineering, pp. 207–213. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-36926-1_​16CrossRef
8.
Zurück zum Zitat Eder, J., Tahamtan, A.: Temporal consistency of view based interorganizational workflows. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 96–107. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78942-0_11CrossRef Eder, J., Tahamtan, A.: Temporal consistency of view based interorganizational workflows. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON 2008. LNBIP, vol. 5, pp. 96–107. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-78942-0_​11CrossRef
9.
Zurück zum Zitat Gagne, D., Trudel, A.: Time-BPMN. In: IEEE Conference on Commerce and Enterprise Computing, CEC 2009, pp. 361–367. IEEE (2009) Gagne, D., Trudel, A.: Time-BPMN. In: IEEE Conference on Commerce and Enterprise Computing, CEC 2009, pp. 361–367. IEEE (2009)
10.
Zurück zum Zitat Gillmann, M., Weikum, G., Wonner, W.: Workflow management with service quality guarantees. In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, pp. 228–239. ACM (2002) Gillmann, M., Weikum, G., Wonner, W.: Workflow management with service quality guarantees. In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, pp. 228–239. ACM (2002)
11.
Zurück zum Zitat Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNS with uncertainty. arXiv preprint arXiv:1212.2005 (2012) Hunsberger, L., Posenato, R., Combi, C.: The dynamic controllability of conditional STNS with uncertainty. arXiv preprint arXiv:​1212.​2005 (2012)
12.
Zurück zum Zitat Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controllability of time-aware processes at run time. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) OTM 2013. LNCS, vol. 8185, pp. 39–56. Springer, Heidelberg (2013). doi:10.1007/978-3-642-41030-7_4CrossRef Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controllability of time-aware processes at run time. In: Meersman, R., Panetto, H., Dillon, T., Eder, J., Bellahsene, Z., Ritter, N., De Leenheer, P., Dou, D. (eds.) OTM 2013. LNCS, vol. 8185, pp. 39–56. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-41030-7_​4CrossRef
13.
Zurück zum Zitat Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requir. Eng. 19(2), 113–141 (2014)CrossRef Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requir. Eng. 19(2), 113–141 (2014)CrossRef
14.
Zurück zum Zitat Mallek, S., Daclin, N., Chapurlat, V., Vallespir, B.: Enabling model checking for collaborative process analysis: from BPMN to ‘network of timed automata’. Enterp. Inf. Syst. 9(3), 279–299 (2015)CrossRef Mallek, S., Daclin, N., Chapurlat, V., Vallespir, B.: Enabling model checking for collaborative process analysis: from BPMN to ‘network of timed automata’. Enterp. Inf. Syst. 9(3), 279–299 (2015)CrossRef
15.
Zurück zum Zitat Mendoza Morales, L.E., Monsalve, C., Villavicencio, M.: Application of formal methods to verify business processes. In: Ribeiro, L., Lecomte, T. (eds.) SBMF 2016. LNCS, vol. 10090, pp. 41–58. Springer, Cham (2016). doi:10.1007/978-3-319-49815-7_3CrossRef Mendoza Morales, L.E., Monsalve, C., Villavicencio, M.: Application of formal methods to verify business processes. In: Ribeiro, L., Lecomte, T. (eds.) SBMF 2016. LNCS, vol. 10090, pp. 41–58. Springer, Cham (2016). doi:10.​1007/​978-3-319-49815-7_​3CrossRef
18.
Zurück zum Zitat Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 349–363. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02144-2_29CrossRef Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 349–363. Springer, Heidelberg (2009). doi:10.​1007/​978-3-642-02144-2_​29CrossRef
19.
Zurück zum Zitat van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRef van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRef
Metadaten
Titel
Modelling Processes with Time-Dependent Control Structures
verfasst von
Horst Pichler
Johann Eder
Margareta Ciglic
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-69904-2_4