Generating optimized configurable business process models in scenarios subject to uncertainty
The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is essential for enhancing the management of business processes. However, such modeling is typically carried out manually. This is already challenging and time...
Saved in:
Published in | Information and software technology Vol. 57; pp. 571 - 594 |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
Amsterdam
Elsevier B.V
01.01.2015
Elsevier Science Ltd |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is essential for enhancing the management of business processes. However, such modeling is typically carried out manually. This is already challenging and time consuming when (1) input uncertainty exists, (2) activities are related, and (3) resource allocation has to be considered. When including optimization requirements regarding flexibility and robustness it becomes even more complicated potentially resulting into non-optimized models, errors, and lack of flexibility.
To facilitate the human work and to improve the resulting models in scenarios subject to uncertainty, we propose a software-supported approach for automatically creating configurable business process models from declarative specifications considering all the aforementioned requirements.
First, the scenario is modeled through a declarative language which allows the analysts to specify its variability and uncertainty. Thereafter, a set of optimized enactment plans (each one representing a potential execution alternative) are generated from such a model considering the input uncertainty. Finally, to deal with this uncertainty during run-time, a flexible configurable business process model is created from these plans.
To validate the proposed approach, we conduct a case study based on a real business which is subject to uncertainty. Results indicate that our approach improves the actual performance of the business and that the generated models support most of the uncertainty inherent to the business.
The proposed approach automatically selects the best part of the variability of a declarative specification. Unlike existing approaches, our approach considers input uncertainty, the optimization of multiple objective functions, as well as the resource and the control-flow perspectives. However, our approach also presents a few limitations: (1) it is focused on the control-flow and the data perspective is only partially addressed and (2) model attributes need to be estimated. |
---|---|
AbstractList | The quality of business process models is essential for enhancing the management of business processes. However, such modeling is typically carried out manually. This paper facilitates the human work and to improve the resulting models in scenarios subject to uncertainty, this paper proposes a software-supported approach for automatically creating configurable business process models from declarative specifications considering all the aforementioned requirements. The proposed approach automatically selects the best part of the variability of a declarative specification. Unlike existing approaches, this approach considers input uncertainty, the optimization of multiple objective functions, as well as the resource and the control-flow perspectives. However, the approach also presents a few limitations: it is focused on the control-flow and the data perspective is only partially addressed and model attributes need to be estimated. The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is essential for enhancing the management of business processes. However, such modeling is typically carried out manually. This is already challenging and time consuming when (1) input uncertainty exists, (2) activities are related, and (3) resource allocation has to be considered. When including optimization requirements regarding flexibility and robustness it becomes even more complicated potentially resulting into non-optimized models, errors, and lack of flexibility. To facilitate the human work and to improve the resulting models in scenarios subject to uncertainty, we propose a software-supported approach for automatically creating configurable business process models from declarative specifications considering all the aforementioned requirements. First, the scenario is modeled through a declarative language which allows the analysts to specify its variability and uncertainty. Thereafter, a set of optimized enactment plans (each one representing a potential execution alternative) are generated from such a model considering the input uncertainty. Finally, to deal with this uncertainty during run-time, a flexible configurable business process model is created from these plans. To validate the proposed approach, we conduct a case study based on a real business which is subject to uncertainty. Results indicate that our approach improves the actual performance of the business and that the generated models support most of the uncertainty inherent to the business. The proposed approach automatically selects the best part of the variability of a declarative specification. Unlike existing approaches, our approach considers input uncertainty, the optimization of multiple objective functions, as well as the resource and the control-flow perspectives. However, our approach also presents a few limitations: (1) it is focused on the control-flow and the data perspective is only partially addressed and (2) model attributes need to be estimated. Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is essential for enhancing the management of business processes. However, such modeling is typically carried out manually. This is already challenging and time consuming when (1) input uncertainty exists, (2) activities are related, and (3) resource allocation has to be considered. When including optimization requirements regarding flexibility and robustness it becomes even more complicated potentially resulting into non-optimized models, errors, and lack of flexibility. Objective: To facilitate the human work and to improve the resulting models in scenarios subject to uncertainty, we propose a software-supported approach for automatically creating configurable business process models from declarative specifications considering all the aforementioned requirements. Method: First, the scenario is modeled through a declarative language which allows the analysts to specify its variability and uncertainty. Thereafter, a set of optimized enactment plans (each one representing a potential execution alternative) are generated from such a model considering the input uncertainty. Finally, to deal with this uncertainty during run-time, a flexible configurable business process model is created from these plans. Results: To validate the proposed approach, we conduct a case study based on a real business which is subject to uncertainty. Results indicate that our approach improves the actual performance of the business and that the generated models support most of the uncertainty inherent to the business. Conclusions: The proposed approach automatically selects the best part of the variability of a declarative specification. Unlike existing approaches, our approach considers input uncertainty, the optimization of multiple objective functions, as well as the resource and the control-flow perspectives. However, our approach also presents a few limitations: (1) it is focused on the control-flow and the data perspective is only partially addressed and (2) model attributes need to be estimated. |
Author | Barba, Irene Weber, Barbara Del Valle, Carmelo Jiménez-Ramírez, Andrés |
Author_xml | – sequence: 1 givenname: Andrés surname: Jiménez-Ramírez fullname: Jiménez-Ramírez, Andrés email: ajramirez@us.es organization: University of Seville, Dpto. Lenguajes y Sistemas Informáticos, Spain – sequence: 2 givenname: Barbara surname: Weber fullname: Weber, Barbara email: barbara.weber@uibk.ac.at organization: University of Innsbruck, Department of Computer Science, Austria – sequence: 3 givenname: Irene surname: Barba fullname: Barba, Irene email: irenebr@us.es organization: University of Seville, Dpto. Lenguajes y Sistemas Informáticos, Spain – sequence: 4 givenname: Carmelo surname: Del Valle fullname: Del Valle, Carmelo email: carmelo@us.es organization: University of Seville, Dpto. Lenguajes y Sistemas Informáticos, Spain |
BookMark | eNqFkE1r3DAQhkVJoZu0_6AHQS-52JGsL28PgRDSNLDQS65FyPI4jPFKW0kOJL--WranHNLTMMPzDi_POTkLMQAhXzlrOeP6am4xTDlObce4bJluGdMfyIb3RjSadeqMbNhWsUb1cvuJnOc8M8YNE2xDft9DgOQKhicaDwX3-Aoj9TFM-LQmNyxAhzVjgJzpIUV_nPs4wpIpBpo9BJcwZprXYQZfaIl0DR5ScRjKy2fycXJLhi__5gV5_HH3ePuz2f26f7i92TVeaFMa7o3sBsmN11tl-nGUApwXBpRyetJuUFsvoOdO8pF1jncGxCjr4pyqN3FBLk9va8M_K-Ri91irLYsLENdsuVZcSt1xXdFvb9A5rinUcpXqVN-bjolKyRPlU8w5wWQPCfcuvVjO7FG5ne1JuT0qt0zbqrzGvr-JeSzVbQwlOVz-F74-hatbeEZINnuE6nLEVM3aMeL7D_4C-_ii1A |
CitedBy_id | crossref_primary_10_1007_s10270_020_00842_1 crossref_primary_10_1109_ACCESS_2024_3366081 crossref_primary_10_1016_j_cie_2019_04_005 crossref_primary_10_1016_j_csi_2017_10_003 crossref_primary_10_1016_j_is_2021_101844 crossref_primary_10_1007_s10796_016_9678_2 crossref_primary_10_3390_app8091428 crossref_primary_10_1007_s12063_021_00230_y crossref_primary_10_1108_IJWIS_03_2021_0031 crossref_primary_10_1016_j_infsof_2017_07_001 crossref_primary_10_1016_j_infsof_2019_05_006 crossref_primary_10_1108_BPMJ_08_2022_0368 crossref_primary_10_1007_s10270_019_00741_0 crossref_primary_10_1109_TSC_2024_3396329 crossref_primary_10_1007_s10115_018_1180_3 |
Cites_doi | 10.1061/(ASCE)0733-9364(2000)126:4(285) 10.1080/03052159608941404 10.1145/2430545.2430547 10.1016/j.infsof.2013.05.001 10.1016/S0305-0483(99)00057-2 10.1007/978-1-4419-5904-1_4 10.1007/11431855_16 10.1111/j.1467-8667.1995.tb00291.x 10.2307/41165745 10.1016/j.compind.2011.12.002 10.1007/978-3-540-76848-7_7 10.1016/j.futures.2011.06.002 10.1145/240080.240252 10.1016/0024-6301(78)90002-X 10.1177/0142331208100099 10.1145/1569901.1570125 10.1007/978-3-540-68073-4_25 10.1109/TEVC.2003.810067 10.1007/3-540-44895-0_1 10.1016/j.datak.2013.01.004 10.1142/S0218843008001798 10.1007/978-3-540-39850-9_13 10.1073/pnas.012582499 10.1061/(ASCE)0733-9364(2000)126:3(234) 10.1016/j.datak.2009.02.009 10.1109/TEVC.2007.904345 10.1007/978-3-642-28108-2_12 10.1007/s10951-009-0144-6 10.1016/S0272-6963(02)00108-0 10.1002/smr.491 10.1145/2480362.2480624 10.1109/TSMC.1971.4308298 10.1016/j.datak.2007.06.007 10.1016/S1568-4946(01)00005-9 10.1023/A:1010035730904 10.1061/(ASCE)0733-9364(2000)126:1(29) 10.1007/0-306-48107-3_8 10.1145/1658373.1658376 10.1007/978-3-642-14538-4 10.1016/j.ejor.2006.08.002 10.1016/j.is.2004.05.002 10.1016/j.compchemeng.2004.02.037 10.1002/cnm.1630010613 10.1007/BF01197559 10.14236/ewic/EASE2008.5 10.4018/978-1-60566-288-6.ch009 10.1016/j.ejor.2004.08.029 10.1007/s12061-012-9076-1 10.1108/01443570710756956 10.1016/j.is.2005.05.003 10.1142/S0218843006001463 10.1007/s10845-008-0188-z 10.1061/(ASCE)0733-9364(1994)120:2(288) 10.1007/978-3-540-76848-7_9 10.1016/j.is.2010.07.001 10.1016/j.ins.2011.12.010 10.1108/14637151311294912 |
ContentType | Journal Article |
Copyright | 2014 Elsevier B.V. Copyright Elsevier Science Ltd. Jan 2015 |
Copyright_xml | – notice: 2014 Elsevier B.V. – notice: Copyright Elsevier Science Ltd. Jan 2015 |
DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
DOI | 10.1016/j.infsof.2014.06.006 |
DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
DatabaseTitleList | Computer and Information Systems Abstracts Computer and Information Systems Abstracts |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Business |
EISSN | 1873-6025 |
EndPage | 594 |
ExternalDocumentID | 3500275161 10_1016_j_infsof_2014_06_006 S0950584914001451 |
Genre | Feature |
GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 7-5 71M 77K 8P~ 9JN AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYOK ABBOA ABFNM ABFRF ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG ROL RPZ SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TWZ UHS UNMZH WH7 WUQ XFK ZY4 ~G- AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AFXIZ AGCQF AGQPQ AGRNS AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP BNPGV CITATION SSH 7SC 8FD EFKBS JQ2 L7M L~C L~D |
ID | FETCH-LOGICAL-c367t-1c742b417c69578dd43eac37e55a6f6ab59c3e81a41d02a127e3d441daa5a413 |
IEDL.DBID | .~1 |
ISSN | 0950-5849 |
IngestDate | Fri Jul 11 01:29:53 EDT 2025 Fri Jul 25 04:35:48 EDT 2025 Thu Apr 24 23:12:50 EDT 2025 Tue Jul 01 02:22:01 EDT 2025 Fri Feb 23 02:23:56 EST 2024 |
IsDoiOpenAccess | false |
IsOpenAccess | true |
IsPeerReviewed | true |
IsScholarly | true |
Keywords | Robustness Constraint-based business process models Flexibility Planning and scheduling Configurable business process models Constraint programming |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c367t-1c742b417c69578dd43eac37e55a6f6ab59c3e81a41d02a127e3d441daa5a413 |
Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-1 ObjectType-Feature-2 content type line 23 |
PQID | 1625887203 |
PQPubID | 41979 |
PageCount | 24 |
ParticipantIDs | proquest_miscellaneous_1651446216 proquest_journals_1625887203 crossref_primary_10_1016_j_infsof_2014_06_006 crossref_citationtrail_10_1016_j_infsof_2014_06_006 elsevier_sciencedirect_doi_10_1016_j_infsof_2014_06_006 |
ProviderPackageCode | CITATION AAYXX |
PublicationCentury | 2000 |
PublicationDate | January 2015 2015-01-00 20150101 |
PublicationDateYYYYMMDD | 2015-01-01 |
PublicationDate_xml | – month: 01 year: 2015 text: January 2015 |
PublicationDecade | 2010 |
PublicationPlace | Amsterdam |
PublicationPlace_xml | – name: Amsterdam |
PublicationTitle | Information and software technology |
PublicationYear | 2015 |
Publisher | Elsevier B.V Elsevier Science Ltd |
Publisher_xml | – name: Elsevier B.V – name: Elsevier Science Ltd |
References | Business Process Model and Notation (BPMN), Version 2.0, 2011. Jan Eppink (b0135) 1978; 11 Das, Dennis (b0095) 1997; 14 Garey, Johnson (b0160) 1979 Jimenez-Ramirez, Barba, Del Valle, Weber (b0215) 2012 Ly, Rinderle, Dadam (b0275) 2008; 64 Carlson, Doyle (b0075) 2002; 99 Weske (b0465) 2007 Marcello La Rosa, Marlon Dumas, Arthur HM ter Hofstede, Modelling business process variability for design-time configuration, Handbook of Research on Business Process Modeling, 2008. H. Aissi, B. Roy, Robustness in multi-criteria decision aiding, in: Matthias Ehrgott, Jos Rui Figueira, Salvatore Greco (Eds.), Trends in Multiple Criteria Decision Analysis, International Series in Operations Research & Management Science, vol. 142, 2010, pp. 87–121. Gottschalk, van der Aalst, Jansen-Vullers, La Rosa (b0175) 2008; 17 Golden, Powell (b0170) 2000; 28 AbouRizk, Halpin, Wilson (b0010) 1994; 120 (accessed 01.05.14). Rosa, Dumas, ter Hofstede, Mendling (b0345) 2011; 36 Brucker, Knust (b0070) 2006 Barba, Del Valle, Weber, Jimenez-Ramirez (b0035) 2013; 22 Salido (b0380) 2010; 21 Athan, Papalambros (b0020) 1996; 27 J. Wainer, F. De Lima Bezerra, Constraint-based flexible workflows, in: Proc. CRIWG, 2003, pp. 151–158. der Aalst, Dreiling, Gottschalk, Rosemann, Jansen-Vullers (b0110) 2006 Jensen (b0210) 2003; 7 Rosa, Dumas, Kaarik, Dijkman (b0340) 2010 N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, D. Edmond, Workflow resource patterns: identification, representation and tool support, in: Proc. CAiSE, 2005, pp. 216–232. Shah, Ward (b0405) 2003; 21 P. Dourish, J. Holmes, A. MacLean, P. Marqvardsen, A. Zbyslaw, Freeflow: mediating between representation and action in workflow systems, in: Proc. CSCW, 1996, pp. 190–198. H. Fargier Dubois, H. Prade, Using fuzzy constraints in job-shop scheduling, in: Proc. of IJCAI’93/SIGMAN Workshop on Knowledge-based Production Planning, Scheduling and Control, 1993. Thiele, Zitzler, Laumanns (b0260) 2006; 169 Sadiq, Orlowska, Sadiq (b0375) 2005; 30 M. Montali, Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. PhD thesis, Department of Electronics, Computer Science and Telecommunications Engineering, University of Bologna, 2009. P. Laborie, J. Rogerie, P. Shaw, P. Vilim, Reasoning with conditional time-intervals. Part ii: An algebraical model for resources, 2009. I. Barba, C. Del Valle, A constraint-based approach for planning and scheduling repeated activities, in: Proc. COPLAS, 2011, pp. 55–62. Schunselaar, Maggi, Sidorova, Aalst (b0400) 2012; vol. 7565 Stadler (b0425) 1995; 10 Ghallab, Nau, Traverso (b0165) 2004 C. Sun, M. Aiello, Towards variable service compositions using vxbpel, in: Proceedings of the 10th International Conference on Software Reuse: High Confidence Software Reuse in Large Systems, ICSR ’08, 2008, pp. 257–261. M. Pesic, M.H. Schonenberg, N. Sidorova, W.M.P. van der Aalst, Constraint-based workflow models: change made easy, in: OTM Conferences (1), 2007, pp. 77–94. Rosemann, van der Aalst (b0355) 2007; 32 (b0360) 2006 M. Ehrgott, X. Gandibleux, Multiobjective combinatorial optimization – theory, methodology, and applications, in: Multiple Criteria Optimization: State of the Art Annotated Bibliographic Surveys, International Series in Operations Research & Management Science, vol. 52, 2003, pp. 369–444. M. Pesic, Constraint-Based Workflow Management Systems: Shifting Control to Users, PhD thesis, Eindhoven University of Technology, Eindhoven, 2008. Barba, Weber, Del Valle, Jimenez-Ramirez (b0045) 2013; 86 Cicerone, Stefano, Schachtebeck, Schöbel (b0090) 2012; 190 Gartner Group, Leading in times of transition: the 2010 CIO agenda (EXP Premier Report No. January 2010), in: Report, Gartner, Inc., 2010. Smith, Everson, Fieldsend, Murphy, Misra (b0415) 2008; 12 Upton (b0445) 1994; 36 Krogt, Geraghty, Salman, Little (b0235) 2010; 13 Schonenberg, Weber, Dongen, Aalst (b0395) 2008; vol. 5240 Fente, Schexnayder, Knutson (b0140) 2000; 126 Zeleny (b0475) 1982 Haimes, Lasdon, Wismer (b0190) 1971; 1 Vullings, Blok, Wessels, Bulens (b0455) 2013; 6 Schonenberg, Mans, Russell, Mulyar, Aalst (b0390) 2008 Montali, Pesic, van der Aalst, Chesani, Mello, Storari (b0310) 2010; 4 Ferreira, Ferreira (b0145) 2006; 15 Aaker, Mascarenhas (b0005) 1994; 5 Koski (b0230) 1985; 1 Marcello La Rosa, Marlon Dumas, Reina Uba, Remco M. Dijkman, Business process model merging: an approach to business process consolidation, in: ACM Transactions on Software Engineering and Methodology (TOSEM), 2012. R. Lu, S. Sadiq, V. Padmanabhan, G. Governatori, Using a temporal constraint network for business process execution, in: Proc. ADC, 2006, pp. 157–166. Hallerbach, Bauer, Reichert (b0195) 2010; 22 Stefan Gueorguiev, Mark Harman, Giuliano Antoniol, Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering, in: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, GECCO ’09, New York, NY, USA, 2009, pp. 1673–1680. Arnd Schnieders, Frank Puhlmann, Variability mechanisms in e-business process families, in: Proc. International Conference on Business Information Systems (BIS 2006), 2006, pp. 583–601. Chesani, Lamma, Mello, Montali, Riguzzi, Storari (b0085) 2009 Dynadec, Comet Downloads, 2013. Jensen (b0205) 2001; 1 Maio, Schexnayder, Knutson, Weber (b0280) 2000; 126 W.M.P. van der Aalst, A.H.M. ter Hofstede, M. Weske, Business process management: a survey, in: Proc. BPM, 2003, pp. 1–12. Bartak, Cepek (b0055) 2010; 32 Kumar, Yao (b0240) 2012; 63 Reijers (b0335) 2003 Stevenson, Spring (b0430) 2007; 27 M. Westergaard, F.M. Maggi, Looking into the future: using timed automata to provide a priori advice about timed declarative process models, in: International Conference on Cooperative Information Systems (CoopIS 2012), 2012. Shukla, Deb (b0410) 2007; 181 (accessed 02.09.13). Lu, Sadiq, Governatori (b0265) 2009; 68 Messac, Puemi-Sukam, Melachrinoudis (b0295) 2000; 1 Gantt (b0155) 1913 Process Specification Language project, 1977. Rychkova, Regev, Wegmann (b0370) 2008; 5 Barba, Lanz, Weber, Reichert, Del Valle (b0050) 2012; vol. 113 Deb, Kalyanmoy (b0105) 2001 Jimenez-Ramirez, Barba, Del Valle, Weber (b0220) 2013; vol. 7908 Karim, Arif-Uz-Zaman (b0225) 2013; 19 Chankong, Haimes (b0080) 1983 Zilberstein (b0480) 1996; 17 Mendling, Neumann, van der Aalst (b0290) 2007; 4803 de Haan, Kwakkel, Walker, Spirco, Thissen (b0100) 2011; 43 Pearl Brereton, Barbara Kitchenham, David Budgen, Using a protocol template for case study planning, in: Proceedings of EASE 2008, BCS-eWiC, 2008. M.A. Marsans, G. Balbo, G. Conte, Modelling with Generalized Stochastic Petri Nets, Wiley Series in Parallel Computing, New York, NY, USA, 1995. Back, Boles, Fry (b0025) 2000; 126 Reichert, Weber (b0330) 2012 I. Barba, B. Weber, C. Del Valle, Supporting the optimized execution of business processes through recommendations, in: Proc. BPI, 2011. Lamma, Mello, Montali, Riguzzi, Storari (b0255) 2007 Hummer, Gaubatz, Strembeck, Zdun, Dustdar (b0200) 2013; 55 Suman (b0435) 2004; 28 Souki (b0420) 2011; 3 Leitmann (b0150) 1977; 23 Marco Montali, Federico Chesani, Paola Mello, Fabrizio M. Maggi, Towards data-aware constraints in declare, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13, 2013, pp. 1391–1396. Rosa (10.1016/j.infsof.2014.06.006_b0340) 2010 Sadiq (10.1016/j.infsof.2014.06.006_b0375) 2005; 30 Stadler (10.1016/j.infsof.2014.06.006_b0425) 1995; 10 Chesani (10.1016/j.infsof.2014.06.006_b0085) 2009 10.1016/j.infsof.2014.06.006_b0385 10.1016/j.infsof.2014.06.006_b0065 (10.1016/j.infsof.2014.06.006_b0360) 2006 10.1016/j.infsof.2014.06.006_b0300 Reijers (10.1016/j.infsof.2014.06.006_b0335) 2003 10.1016/j.infsof.2014.06.006_b0060 Carlson (10.1016/j.infsof.2014.06.006_b0075) 2002; 99 10.1016/j.infsof.2014.06.006_b0180 10.1016/j.infsof.2014.06.006_b0185 10.1016/j.infsof.2014.06.006_b0460 Rosemann (10.1016/j.infsof.2014.06.006_b0355) 2007; 32 Schonenberg (10.1016/j.infsof.2014.06.006_b0390) 2008 Kumar (10.1016/j.infsof.2014.06.006_b0240) 2012; 63 Athan (10.1016/j.infsof.2014.06.006_b0020) 1996; 27 Das (10.1016/j.infsof.2014.06.006_b0095) 1997; 14 Golden (10.1016/j.infsof.2014.06.006_b0170) 2000; 28 Garey (10.1016/j.infsof.2014.06.006_b0160) 1979 Bartak (10.1016/j.infsof.2014.06.006_b0055) 2010; 32 Rychkova (10.1016/j.infsof.2014.06.006_b0370) 2008; 5 Jan Eppink (10.1016/j.infsof.2014.06.006_b0135) 1978; 11 Salido (10.1016/j.infsof.2014.06.006_b0380) 2010; 21 10.1016/j.infsof.2014.06.006_b0115 Reichert (10.1016/j.infsof.2014.06.006_b0330) 2012 Schunselaar (10.1016/j.infsof.2014.06.006_b0400) 2012; vol. 7565 Jimenez-Ramirez (10.1016/j.infsof.2014.06.006_b0220) 2013; vol. 7908 10.1016/j.infsof.2014.06.006_b0350 10.1016/j.infsof.2014.06.006_b0030 10.1016/j.infsof.2014.06.006_b0470 Shah (10.1016/j.infsof.2014.06.006_b0405) 2003; 21 10.1016/j.infsof.2014.06.006_b0270 Stevenson (10.1016/j.infsof.2014.06.006_b0430) 2007; 27 Jimenez-Ramirez (10.1016/j.infsof.2014.06.006_b0215) 2012 Thiele (10.1016/j.infsof.2014.06.006_b0260) 2006; 169 Maio (10.1016/j.infsof.2014.06.006_b0280) 2000; 126 Barba (10.1016/j.infsof.2014.06.006_b0035) 2013; 22 AbouRizk (10.1016/j.infsof.2014.06.006_b0010) 1994; 120 Mendling (10.1016/j.infsof.2014.06.006_b0290) 2007; 4803 10.1016/j.infsof.2014.06.006_b0305 Chankong (10.1016/j.infsof.2014.06.006_b0080) 1983 Schonenberg (10.1016/j.infsof.2014.06.006_b0395) 2008; vol. 5240 Zeleny (10.1016/j.infsof.2014.06.006_b0475) 1982 Koski (10.1016/j.infsof.2014.06.006_b0230) 1985; 1 10.1016/j.infsof.2014.06.006_b0365 Lu (10.1016/j.infsof.2014.06.006_b0265) 2009; 68 10.1016/j.infsof.2014.06.006_b0320 Jensen (10.1016/j.infsof.2014.06.006_b0210) 2003; 7 Smith (10.1016/j.infsof.2014.06.006_b0415) 2008; 12 10.1016/j.infsof.2014.06.006_b0440 10.1016/j.infsof.2014.06.006_b0120 10.1016/j.infsof.2014.06.006_b0285 Ferreira (10.1016/j.infsof.2014.06.006_b0145) 2006; 15 Ghallab (10.1016/j.infsof.2014.06.006_b0165) 2004 10.1016/j.infsof.2014.06.006_b0325 10.1016/j.infsof.2014.06.006_b0125 10.1016/j.infsof.2014.06.006_b0245 Rosa (10.1016/j.infsof.2014.06.006_b0345) 2011; 36 Gantt (10.1016/j.infsof.2014.06.006_b0155) 1913 Leitmann (10.1016/j.infsof.2014.06.006_b0150) 1977; 23 Barba (10.1016/j.infsof.2014.06.006_b0050) 2012; vol. 113 10.1016/j.infsof.2014.06.006_b0040 Back (10.1016/j.infsof.2014.06.006_b0025) 2000; 126 Weske (10.1016/j.infsof.2014.06.006_b0465) 2007 Karim (10.1016/j.infsof.2014.06.006_b0225) 2013; 19 Messac (10.1016/j.infsof.2014.06.006_b0295) 2000; 1 Brucker (10.1016/j.infsof.2014.06.006_b0070) 2006 de Haan (10.1016/j.infsof.2014.06.006_b0100) 2011; 43 Aaker (10.1016/j.infsof.2014.06.006_b0005) 1994; 5 10.1016/j.infsof.2014.06.006_b0315 Souki (10.1016/j.infsof.2014.06.006_b0420) 2011; 3 Vullings (10.1016/j.infsof.2014.06.006_b0455) 2013; 6 Montali (10.1016/j.infsof.2014.06.006_b0310) 2010; 4 Shukla (10.1016/j.infsof.2014.06.006_b0410) 2007; 181 Suman (10.1016/j.infsof.2014.06.006_b0435) 2004; 28 Zilberstein (10.1016/j.infsof.2014.06.006_b0480) 1996; 17 Gottschalk (10.1016/j.infsof.2014.06.006_b0175) 2008; 17 Upton (10.1016/j.infsof.2014.06.006_b0445) 1994; 36 10.1016/j.infsof.2014.06.006_b0450 10.1016/j.infsof.2014.06.006_b0015 Deb (10.1016/j.infsof.2014.06.006_b0105) 2001 Hummer (10.1016/j.infsof.2014.06.006_b0200) 2013; 55 der Aalst (10.1016/j.infsof.2014.06.006_b0110) 2006 10.1016/j.infsof.2014.06.006_b0130 Cicerone (10.1016/j.infsof.2014.06.006_b0090) 2012; 190 10.1016/j.infsof.2014.06.006_b0250 Haimes (10.1016/j.infsof.2014.06.006_b0190) 1971; 1 Hallerbach (10.1016/j.infsof.2014.06.006_b0195) 2010; 22 Ly (10.1016/j.infsof.2014.06.006_b0275) 2008; 64 Fente (10.1016/j.infsof.2014.06.006_b0140) 2000; 126 Jensen (10.1016/j.infsof.2014.06.006_b0205) 2001; 1 Lamma (10.1016/j.infsof.2014.06.006_b0255) 2007 Krogt (10.1016/j.infsof.2014.06.006_b0235) 2010; 13 Barba (10.1016/j.infsof.2014.06.006_b0045) 2013; 86 |
References_xml | – volume: 32 start-page: 73 year: 2010 end-page: 96 ident: b0055 article-title: Incremental propagation rules for a precedence graph with optional activities and time windows publication-title: Trans. Inst. Meas. Control – volume: 63 start-page: 112 year: 2012 end-page: 130 ident: b0240 article-title: Design and management of flexible process variants using templates and rules publication-title: Comput. Indus. – volume: 126 start-page: 285 year: 2000 end-page: 292 ident: b0280 article-title: Probability distribution functions for construction simulation publication-title: J. Construct. Eng. Manage. – reference: I. Barba, C. Del Valle, A constraint-based approach for planning and scheduling repeated activities, in: Proc. COPLAS, 2011, pp. 55–62. – reference: > (accessed 02.09.13). – reference: M.A. Marsans, G. Balbo, G. Conte, Modelling with Generalized Stochastic Petri Nets, Wiley Series in Parallel Computing, New York, NY, USA, 1995. – volume: 86 start-page: 61 year: 2013 end-page: 84 ident: b0045 article-title: User recommendations for the optimized execution of business processes publication-title: Data Knowl. Eng. – reference: H. Aissi, B. Roy, Robustness in multi-criteria decision aiding, in: Matthias Ehrgott, Jos Rui Figueira, Salvatore Greco (Eds.), Trends in Multiple Criteria Decision Analysis, International Series in Operations Research & Management Science, vol. 142, 2010, pp. 87–121. – volume: vol. 113 start-page: 195 year: 2012 end-page: 210 ident: b0050 article-title: Optimized time management for declarative workflows publication-title: Enterprise, Business-Process and Information Systems Modeling – volume: 30 start-page: 349 year: 2005 end-page: 378 ident: b0375 article-title: Specification and validation of process constraints for flexible workflows publication-title: Inform. Syst. – start-page: 512 year: 2006 end-page: 518 ident: b0110 article-title: Configurable process models as a basis for reference modeling publication-title: Business Process Management Workshops – start-page: 96 year: 2010 end-page: 113 ident: b0340 article-title: Merging business process models publication-title: 18th International Conference on Cooperative Information Systems (CoopIS ‘10) 2010 – reference: P. Laborie, J. Rogerie, P. Shaw, P. Vilim, Reasoning with conditional time-intervals. Part ii: An algebraical model for resources, 2009. – volume: 22 start-page: 519 year: 2010 end-page: 546 ident: b0195 article-title: Capturing variability in business process models: the provop approach publication-title: J. Softw. Maintenance Evol.: Res. Pract. – volume: 27 start-page: 685 year: 2007 end-page: 713 ident: b0430 article-title: Flexibility from a supply chain perspective: definition and review publication-title: Int. J. Oper. Product. Manage. – volume: 11 start-page: 9 year: 1978 end-page: 15 ident: b0135 article-title: Planning for strategic flexibility publication-title: Long Range Plan. – start-page: 278 year: 2009 end-page: 295 ident: b0085 article-title: Exploiting inductive logic programming techniques for declarative process mining publication-title: Transactions on Petri Nets and Other Models of Concurrency II – reference: C. Sun, M. Aiello, Towards variable service compositions using vxbpel, in: Proceedings of the 10th International Conference on Software Reuse: High Confidence Software Reuse in Large Systems, ICSR ’08, 2008, pp. 257–261. – reference: Marcello La Rosa, Marlon Dumas, Reina Uba, Remco M. Dijkman, Business process model merging: an approach to business process consolidation, in: ACM Transactions on Software Engineering and Methodology (TOSEM), 2012. – volume: 17 start-page: 73 year: 1996 end-page: 83 ident: b0480 article-title: Using anytime algorithms in intelligent systems publication-title: AI Mag. – reference: M. Pesic, M.H. Schonenberg, N. Sidorova, W.M.P. van der Aalst, Constraint-based workflow models: change made easy, in: OTM Conferences (1), 2007, pp. 77–94. – volume: 13 start-page: 301 year: 2010 end-page: 314 ident: b0235 article-title: On supporting lean methodologies using constraint-based scheduling publication-title: J. Schedul. – volume: 4 start-page: 3:1 year: 2010 end-page: 3:62 ident: b0310 article-title: Declarative specification and verification of service choreographiess publication-title: ACM Trans. Web – volume: 5 start-page: 72 year: 1994 end-page: 89 ident: b0005 article-title: The need for strategic flexibility publication-title: California Manage. Rev. – year: 2006 ident: b0070 article-title: Complex Scheduling (GOR-Publications) – volume: 3 start-page: 177 year: 2011 end-page: 191 ident: b0420 article-title: Operating theatre scheduling with fuzzy durations publication-title: J. Appl. Oper. Res. – volume: 68 start-page: 642 year: 2009 end-page: 664 ident: b0265 article-title: On managing business processes variants publication-title: Data Knowl. Eng. – reference: > (accessed 01.05.14). – year: 1979 ident: b0160 article-title: Computers and Intractability: A Guide to the Theory of NP-Completeness – start-page: 429 year: 2012 end-page: 442 ident: b0215 article-title: OptBPPlanner: automatic generation of optimized business process enactment plans publication-title: Proc. ISD – volume: 21 start-page: 129 year: 2003 end-page: 149 ident: b0405 article-title: Lean manufacturing: context, practice bundles, and performance publication-title: J. Oper. Manage. – volume: vol. 5240 start-page: 51 year: 2008 end-page: 66 ident: b0395 article-title: Supporting flexible processes through recommendations based on history publication-title: Business Process Management – reference: Process Specification Language project, 1977. < – volume: vol. 7908 start-page: 99 year: 2013 end-page: 115 ident: b0220 article-title: Generating multi-objective optimized business process enactment plans publication-title: Advanced Information Systems Engineering – reference: Business Process Model and Notation (BPMN), Version 2.0, 2011. < – volume: 43 start-page: 923 year: 2011 end-page: 933 ident: b0100 article-title: Framing flexibility: theorising and data mining to develop a useful definition of flexibility and related concepts publication-title: Futures – volume: 17 start-page: 177 year: 2008 end-page: 221 ident: b0175 article-title: Configurable workflow models publication-title: Int. J. Cooper. Inform. Syst. (IJCIS) – volume: 190 start-page: 107 year: 2012 end-page: 126 ident: b0090 article-title: Multi-stage recovery robustness for optimization problems: a new concept for planning under disturbances publication-title: Inform. Sci. – volume: 126 start-page: 29 year: 2000 end-page: 37 ident: b0025 article-title: Defining triangular probability distributions from historical cost data publication-title: J. Construct. Eng. Manage. – volume: 22 year: 2013 ident: b0035 article-title: Automatic generation of optimized business process models from constraint-based specifications publication-title: Int. J. Cooperat. Inform. Syst. – volume: 10 start-page: 291 year: 1995 end-page: 299 ident: b0425 article-title: Caveats and boons of multicriteria optimization publication-title: Comput.-Aid. Civil Infrastruct. Eng. – year: 1983 ident: b0080 article-title: Multiobjective Decision Making Theory and Methodology – volume: 12 start-page: 323 year: 2008 end-page: 342 ident: b0415 article-title: Dominance-based multiobjective simulated annealing publication-title: IEEE Trans. Evol. Comput. – volume: 23 start-page: 93 year: 1977 end-page: 99 ident: b0150 article-title: Some problems of scalar and vector-valued optimization in linear viscoelasticity publication-title: IEEE Trans. Automat. Control – volume: 1 start-page: 35 year: 2001 end-page: 52 ident: b0205 article-title: Improving robustness and flexibility of tardiness and total flowtime job shops using robustness measures publication-title: J. Appl. Soft Comput. – volume: 32 start-page: 1 year: 2007 end-page: 23 ident: b0355 article-title: A configurable reference modeling language publication-title: Inform. Syst. – volume: 169 start-page: 932 year: 2006 end-page: 942 ident: b0260 article-title: An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method publication-title: Eur. J. Oper. Res. – year: 2004 ident: b0165 article-title: Automated Planning: Theory and Practice – volume: 64 start-page: 3 year: 2008 end-page: 23 ident: b0275 article-title: Integration and verification of semantic constraints in adaptive process management systems publication-title: Data Knowl. Eng. – volume: 126 start-page: 234 year: 2000 end-page: 241 ident: b0140 article-title: Defining a probability distribution function for construction simulation publication-title: J. Construct. Eng. Manage. – volume: 21 start-page: 1 year: 2010 end-page: 4 ident: b0380 article-title: Introduction to planning, scheduling and constraint satisfaction publication-title: J. Intell. Manuf. – reference: M. Westergaard, F.M. Maggi, Looking into the future: using timed automata to provide a priori advice about timed declarative process models, in: International Conference on Cooperative Information Systems (CoopIS 2012), 2012. – volume: 99 start-page: 2538 year: 2002 end-page: 2545 ident: b0075 article-title: Complexity and robustness publication-title: Proc. Natl. Acad. Sci. USA – reference: M. Ehrgott, X. Gandibleux, Multiobjective combinatorial optimization – theory, methodology, and applications, in: Multiple Criteria Optimization: State of the Art Annotated Bibliographic Surveys, International Series in Operations Research & Management Science, vol. 52, 2003, pp. 369–444. – volume: 1 start-page: 171 year: 2000 end-page: 188 ident: b0295 article-title: Aggregate objective functions and pareto frontiers: required relationships and practical implications publication-title: Optim. Eng. – volume: 28 start-page: 373 year: 2000 end-page: 384 ident: b0170 article-title: Towards a definition of flexibility: in search of the holy grail? publication-title: Omega – volume: 15 start-page: 485 year: 2006 end-page: 505 ident: b0145 article-title: An integrated life cycle for workflow management based on learning and planning publication-title: Int. J. Cooper. Inform. Syst. – start-page: 16 year: 2008 end-page: 30 ident: b0390 article-title: Process flexibility: a survey of contemporary approaches publication-title: Advances in Enterprise Engineering I – reference: Dynadec, Comet Downloads, 2013. < – year: 2012 ident: b0330 article-title: Enabling Flexibility in Process-Aware Information Systems – year: 2003 ident: b0335 article-title: Design and Control of Workflow Processes – reference: Marcello La Rosa, Marlon Dumas, Arthur HM ter Hofstede, Modelling business process variability for design-time configuration, Handbook of Research on Business Process Modeling, 2008. – volume: 5 start-page: 45 year: 2008 end-page: 68 ident: b0370 article-title: Using declarative specifications in business process design publication-title: IJCSA – reference: Arnd Schnieders, Frank Puhlmann, Variability mechanisms in e-business process families, in: Proc. International Conference on Business Information Systems (BIS 2006), 2006, pp. 583–601. – reference: H. Fargier Dubois, H. Prade, Using fuzzy constraints in job-shop scheduling, in: Proc. of IJCAI’93/SIGMAN Workshop on Knowledge-based Production Planning, Scheduling and Control, 1993. – reference: W.M.P. van der Aalst, A.H.M. ter Hofstede, M. Weske, Business process management: a survey, in: Proc. BPM, 2003, pp. 1–12. – volume: 27 start-page: 155 year: 1996 end-page: 176 ident: b0020 article-title: A note on weighted criteria methods for compromise solutions in multiobjective optimization publication-title: Eng. Optim. – reference: J. Wainer, F. De Lima Bezerra, Constraint-based flexible workflows, in: Proc. CRIWG, 2003, pp. 151–158. – volume: 1 start-page: 333 year: 1985 end-page: 337 ident: b0230 article-title: Defectiveness of weighting method in multicriterion optimization of structures publication-title: Commun. Numer. Methods Eng. – reference: M. Pesic, Constraint-Based Workflow Management Systems: Shifting Control to Users, PhD thesis, Eindhoven University of Technology, Eindhoven, 2008. – volume: vol. 7565 start-page: 20 year: 2012 end-page: 37 ident: b0400 article-title: Configurable declare: designing customisable flexible process models publication-title: On the Move to Meaningful Internet Systems: OTM 2012 – reference: Stefan Gueorguiev, Mark Harman, Giuliano Antoniol, Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering, in: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, GECCO ’09, New York, NY, USA, 2009, pp. 1673–1680. – year: 2006 ident: b0360 publication-title: Handbook of Constraint Programming – year: 1982 ident: b0475 article-title: Multiple Criteria Decision Making – year: 2007 ident: b0465 article-title: Business Process Management: Concepts, Languages, Architectures – volume: 7 start-page: 275 year: 2003 end-page: 288 ident: b0210 article-title: Generating robust and flexible job shop schedules using genetic algorithms publication-title: IEEE Trans. Evol. Comput. – reference: Marco Montali, Federico Chesani, Paola Mello, Fabrizio M. Maggi, Towards data-aware constraints in declare, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13, 2013, pp. 1391–1396. – volume: 181 start-page: 1630 year: 2007 end-page: 1652 ident: b0410 article-title: On finding multiple pareto-optimal solutions using classical and evolutionary generating methods publication-title: Eur. J. Oper. Res. – year: 2001 ident: b0105 article-title: Multi-Objective Optimization Using Evolutionary Algorithms – reference: Pearl Brereton, Barbara Kitchenham, David Budgen, Using a protocol template for case study planning, in: Proceedings of EASE 2008, BCS-eWiC, 2008. – volume: 14 start-page: 63 year: 1997 end-page: 69 ident: b0095 article-title: A closer look at drawbacks of minimizing weighted sums of objectives for pareto set generation in multicriteria optimization problems publication-title: Struct. Multidiscipl. Optim. – volume: 4803 start-page: 113 year: 2007 end-page: 130 ident: b0290 article-title: Understanding the occurrence of errors in process models based on metrics publication-title: Lect. Notes Comput. Sci., LNCS – volume: 36 start-page: 313 year: 2011 end-page: 340 ident: b0345 article-title: Configurable multi-perspective business process models publication-title: Inform. Syst. – reference: I. Barba, B. Weber, C. Del Valle, Supporting the optimized execution of business processes through recommendations, in: Proc. BPI, 2011. – reference: N. Russell, W.M.P. van der Aalst, A.H.M. ter Hofstede, D. Edmond, Workflow resource patterns: identification, representation and tool support, in: Proc. CAiSE, 2005, pp. 216–232. – reference: P. Dourish, J. Holmes, A. MacLean, P. Marqvardsen, A. Zbyslaw, Freeflow: mediating between representation and action in workflow systems, in: Proc. CSCW, 1996, pp. 190–198. – reference: R. Lu, S. Sadiq, V. Padmanabhan, G. Governatori, Using a temporal constraint network for business process execution, in: Proc. ADC, 2006, pp. 157–166. – volume: 6 start-page: 25 year: 2013 end-page: 45 ident: b0455 article-title: Dealing with the uncertainty of having incomplete sources of geo-information in spatial planning publication-title: Appl. Spatial Anal. Policy – volume: 36 start-page: 72 year: 1994 end-page: 89 ident: b0445 article-title: The management of manufacturing flexibility publication-title: California Manage. Rev. – volume: 55 start-page: 1884 year: 2013 end-page: 1903 ident: b0200 article-title: Enforcement of entailment constraints in distributed service-based business processes publication-title: Inform. Softw. Technol. – reference: Gartner Group, Leading in times of transition: the 2010 CIO agenda (EXP Premier Report No. January 2010), in: Report, Gartner, Inc., 2010. – volume: 19 start-page: 169 year: 2013 end-page: 196 ident: b0225 article-title: A methodology for effective implementation of lean strategies and its performance evaluation in manufacturing organizations publication-title: Business Process Manage. J. – volume: 28 start-page: 1849 year: 2004 end-page: 1871 ident: b0435 article-title: Study of simulated annealing based algorithms for multiobjective optimization of a constrained problem publication-title: Comput. Chem. Eng. – year: 1913 ident: b0155 article-title: Work, Wages, and Profits – reference: M. Montali, Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. PhD thesis, Department of Electronics, Computer Science and Telecommunications Engineering, University of Bologna, 2009. – volume: 120 start-page: 288 year: 1994 end-page: 305 ident: b0010 article-title: Fitting beta distributions based on sample data publication-title: J. Construct. Eng. Manage. – volume: 1 start-page: 296 year: 1971 end-page: 297 ident: b0190 article-title: On a bicriterion formulation of the problems of integrated system identification and system optimization publication-title: IEEE Trans. Syst. Man Cybern. – start-page: 344 year: 2007 end-page: 359 ident: b0255 article-title: Inducing declarative logic-based models from labeled traces publication-title: Business Process Management – volume: vol. 7908 start-page: 99 year: 2013 ident: 10.1016/j.infsof.2014.06.006_b0220 article-title: Generating multi-objective optimized business process enactment plans – ident: 10.1016/j.infsof.2014.06.006_b0250 – start-page: 344 year: 2007 ident: 10.1016/j.infsof.2014.06.006_b0255 article-title: Inducing declarative logic-based models from labeled traces – volume: 126 start-page: 285 issue: 4 year: 2000 ident: 10.1016/j.infsof.2014.06.006_b0280 article-title: Probability distribution functions for construction simulation publication-title: J. Construct. Eng. Manage. doi: 10.1061/(ASCE)0733-9364(2000)126:4(285) – volume: 27 start-page: 155 issue: 2 year: 1996 ident: 10.1016/j.infsof.2014.06.006_b0020 article-title: A note on weighted criteria methods for compromise solutions in multiobjective optimization publication-title: Eng. Optim. doi: 10.1080/03052159608941404 – volume: 22 issue: 02 year: 2013 ident: 10.1016/j.infsof.2014.06.006_b0035 article-title: Automatic generation of optimized business process models from constraint-based specifications publication-title: Int. J. Cooperat. Inform. Syst. – ident: 10.1016/j.infsof.2014.06.006_b0350 doi: 10.1145/2430545.2430547 – year: 1983 ident: 10.1016/j.infsof.2014.06.006_b0080 – volume: 55 start-page: 1884 issue: 11 year: 2013 ident: 10.1016/j.infsof.2014.06.006_b0200 article-title: Enforcement of entailment constraints in distributed service-based business processes publication-title: Inform. Softw. Technol. doi: 10.1016/j.infsof.2013.05.001 – volume: 28 start-page: 373 issue: 4 year: 2000 ident: 10.1016/j.infsof.2014.06.006_b0170 article-title: Towards a definition of flexibility: in search of the holy grail? publication-title: Omega doi: 10.1016/S0305-0483(99)00057-2 – year: 1979 ident: 10.1016/j.infsof.2014.06.006_b0160 – ident: 10.1016/j.infsof.2014.06.006_b0015 doi: 10.1007/978-1-4419-5904-1_4 – ident: 10.1016/j.infsof.2014.06.006_b0365 doi: 10.1007/11431855_16 – volume: 10 start-page: 291 issue: 4 year: 1995 ident: 10.1016/j.infsof.2014.06.006_b0425 article-title: Caveats and boons of multicriteria optimization publication-title: Comput.-Aid. Civil Infrastruct. Eng. doi: 10.1111/j.1467-8667.1995.tb00291.x – volume: 36 start-page: 72 issue: 2 year: 1994 ident: 10.1016/j.infsof.2014.06.006_b0445 article-title: The management of manufacturing flexibility publication-title: California Manage. Rev. doi: 10.2307/41165745 – volume: 63 start-page: 112 issue: 2 year: 2012 ident: 10.1016/j.infsof.2014.06.006_b0240 article-title: Design and management of flexible process variants using templates and rules publication-title: Comput. Indus. doi: 10.1016/j.compind.2011.12.002 – ident: 10.1016/j.infsof.2014.06.006_b0320 doi: 10.1007/978-3-540-76848-7_7 – volume: 43 start-page: 923 issue: 9 year: 2011 ident: 10.1016/j.infsof.2014.06.006_b0100 article-title: Framing flexibility: theorising and data mining to develop a useful definition of flexibility and related concepts publication-title: Futures doi: 10.1016/j.futures.2011.06.002 – ident: 10.1016/j.infsof.2014.06.006_b0115 doi: 10.1145/240080.240252 – volume: 11 start-page: 9 issue: 4 year: 1978 ident: 10.1016/j.infsof.2014.06.006_b0135 article-title: Planning for strategic flexibility publication-title: Long Range Plan. doi: 10.1016/0024-6301(78)90002-X – volume: 32 start-page: 73 issue: 1 year: 2010 ident: 10.1016/j.infsof.2014.06.006_b0055 article-title: Incremental propagation rules for a precedence graph with optional activities and time windows publication-title: Trans. Inst. Meas. Control doi: 10.1177/0142331208100099 – ident: 10.1016/j.infsof.2014.06.006_b0315 – ident: 10.1016/j.infsof.2014.06.006_b0185 doi: 10.1145/1569901.1570125 – start-page: 429 year: 2012 ident: 10.1016/j.infsof.2014.06.006_b0215 article-title: OptBPPlanner: automatic generation of optimized business process enactment plans – year: 2003 ident: 10.1016/j.infsof.2014.06.006_b0335 – start-page: 16 year: 2008 ident: 10.1016/j.infsof.2014.06.006_b0390 article-title: Process flexibility: a survey of contemporary approaches – start-page: 278 year: 2009 ident: 10.1016/j.infsof.2014.06.006_b0085 article-title: Exploiting inductive logic programming techniques for declarative process mining – ident: 10.1016/j.infsof.2014.06.006_b0440 doi: 10.1007/978-3-540-68073-4_25 – year: 1982 ident: 10.1016/j.infsof.2014.06.006_b0475 – ident: 10.1016/j.infsof.2014.06.006_b0060 – volume: 7 start-page: 275 issue: 3 year: 2003 ident: 10.1016/j.infsof.2014.06.006_b0210 article-title: Generating robust and flexible job shop schedules using genetic algorithms publication-title: IEEE Trans. Evol. Comput. doi: 10.1109/TEVC.2003.810067 – ident: 10.1016/j.infsof.2014.06.006_b0450 doi: 10.1007/3-540-44895-0_1 – volume: 86 start-page: 61 issue: 0 year: 2013 ident: 10.1016/j.infsof.2014.06.006_b0045 article-title: User recommendations for the optimized execution of business processes publication-title: Data Knowl. Eng. doi: 10.1016/j.datak.2013.01.004 – volume: 17 start-page: 177 issue: 2 year: 2008 ident: 10.1016/j.infsof.2014.06.006_b0175 article-title: Configurable workflow models publication-title: Int. J. Cooper. Inform. Syst. (IJCIS) doi: 10.1142/S0218843008001798 – ident: 10.1016/j.infsof.2014.06.006_b0125 – year: 2001 ident: 10.1016/j.infsof.2014.06.006_b0105 – start-page: 512 year: 2006 ident: 10.1016/j.infsof.2014.06.006_b0110 article-title: Configurable process models as a basis for reference modeling – ident: 10.1016/j.infsof.2014.06.006_b0385 – ident: 10.1016/j.infsof.2014.06.006_b0460 doi: 10.1007/978-3-540-39850-9_13 – volume: 99 start-page: 2538 issue: Suppl. 1 year: 2002 ident: 10.1016/j.infsof.2014.06.006_b0075 article-title: Complexity and robustness publication-title: Proc. Natl. Acad. Sci. USA doi: 10.1073/pnas.012582499 – volume: 126 start-page: 234 issue: 3 year: 2000 ident: 10.1016/j.infsof.2014.06.006_b0140 article-title: Defining a probability distribution function for construction simulation publication-title: J. Construct. Eng. Manage. doi: 10.1061/(ASCE)0733-9364(2000)126:3(234) – volume: 23 start-page: 93 year: 1977 ident: 10.1016/j.infsof.2014.06.006_b0150 article-title: Some problems of scalar and vector-valued optimization in linear viscoelasticity publication-title: IEEE Trans. Automat. Control – volume: 68 start-page: 642 issue: 7 year: 2009 ident: 10.1016/j.infsof.2014.06.006_b0265 article-title: On managing business processes variants publication-title: Data Knowl. Eng. doi: 10.1016/j.datak.2009.02.009 – volume: 12 start-page: 323 issue: 3 year: 2008 ident: 10.1016/j.infsof.2014.06.006_b0415 article-title: Dominance-based multiobjective simulated annealing publication-title: IEEE Trans. Evol. Comput. doi: 10.1109/TEVC.2007.904345 – ident: 10.1016/j.infsof.2014.06.006_b0040 doi: 10.1007/978-3-642-28108-2_12 – volume: 13 start-page: 301 year: 2010 ident: 10.1016/j.infsof.2014.06.006_b0235 article-title: On supporting lean methodologies using constraint-based scheduling publication-title: J. Schedul. doi: 10.1007/s10951-009-0144-6 – year: 2012 ident: 10.1016/j.infsof.2014.06.006_b0330 – ident: 10.1016/j.infsof.2014.06.006_b0180 – volume: 21 start-page: 129 issue: 2 year: 2003 ident: 10.1016/j.infsof.2014.06.006_b0405 article-title: Lean manufacturing: context, practice bundles, and performance publication-title: J. Oper. Manage. doi: 10.1016/S0272-6963(02)00108-0 – volume: vol. 5240 start-page: 51 year: 2008 ident: 10.1016/j.infsof.2014.06.006_b0395 article-title: Supporting flexible processes through recommendations based on history – volume: 3 start-page: 177 year: 2011 ident: 10.1016/j.infsof.2014.06.006_b0420 article-title: Operating theatre scheduling with fuzzy durations publication-title: J. Appl. Oper. Res. – volume: 5 start-page: 45 issue: 3b year: 2008 ident: 10.1016/j.infsof.2014.06.006_b0370 article-title: Using declarative specifications in business process design publication-title: IJCSA – volume: 22 start-page: 519 issue: 6–7 year: 2010 ident: 10.1016/j.infsof.2014.06.006_b0195 article-title: Capturing variability in business process models: the provop approach publication-title: J. Softw. Maintenance Evol.: Res. Pract. doi: 10.1002/smr.491 – ident: 10.1016/j.infsof.2014.06.006_b0305 doi: 10.1145/2480362.2480624 – ident: 10.1016/j.infsof.2014.06.006_b0030 – volume: vol. 113 start-page: 195 year: 2012 ident: 10.1016/j.infsof.2014.06.006_b0050 article-title: Optimized time management for declarative workflows – year: 2006 ident: 10.1016/j.infsof.2014.06.006_b0070 – volume: 1 start-page: 296 year: 1971 ident: 10.1016/j.infsof.2014.06.006_b0190 article-title: On a bicriterion formulation of the problems of integrated system identification and system optimization publication-title: IEEE Trans. Syst. Man Cybern. doi: 10.1109/TSMC.1971.4308298 – volume: vol. 7565 start-page: 20 year: 2012 ident: 10.1016/j.infsof.2014.06.006_b0400 article-title: Configurable declare: designing customisable flexible process models – ident: 10.1016/j.infsof.2014.06.006_b0470 – ident: 10.1016/j.infsof.2014.06.006_b0120 – volume: 64 start-page: 3 issue: 1 year: 2008 ident: 10.1016/j.infsof.2014.06.006_b0275 article-title: Integration and verification of semantic constraints in adaptive process management systems publication-title: Data Knowl. Eng. doi: 10.1016/j.datak.2007.06.007 – volume: 1 start-page: 35 year: 2001 ident: 10.1016/j.infsof.2014.06.006_b0205 article-title: Improving robustness and flexibility of tardiness and total flowtime job shops using robustness measures publication-title: J. Appl. Soft Comput. doi: 10.1016/S1568-4946(01)00005-9 – year: 2007 ident: 10.1016/j.infsof.2014.06.006_b0465 – volume: 1 start-page: 171 year: 2000 ident: 10.1016/j.infsof.2014.06.006_b0295 article-title: Aggregate objective functions and pareto frontiers: required relationships and practical implications publication-title: Optim. Eng. doi: 10.1023/A:1010035730904 – volume: 126 start-page: 29 issue: 1 year: 2000 ident: 10.1016/j.infsof.2014.06.006_b0025 article-title: Defining triangular probability distributions from historical cost data publication-title: J. Construct. Eng. Manage. doi: 10.1061/(ASCE)0733-9364(2000)126:1(29) – ident: 10.1016/j.infsof.2014.06.006_b0130 doi: 10.1007/0-306-48107-3_8 – volume: 4 start-page: 3:1 issue: 1 year: 2010 ident: 10.1016/j.infsof.2014.06.006_b0310 article-title: Declarative specification and verification of service choreographiess publication-title: ACM Trans. Web doi: 10.1145/1658373.1658376 – ident: 10.1016/j.infsof.2014.06.006_b0300 doi: 10.1007/978-3-642-14538-4 – volume: 181 start-page: 1630 issue: 3 year: 2007 ident: 10.1016/j.infsof.2014.06.006_b0410 article-title: On finding multiple pareto-optimal solutions using classical and evolutionary generating methods publication-title: Eur. J. Oper. Res. doi: 10.1016/j.ejor.2006.08.002 – volume: 30 start-page: 349 issue: 5 year: 2005 ident: 10.1016/j.infsof.2014.06.006_b0375 article-title: Specification and validation of process constraints for flexible workflows publication-title: Inform. Syst. doi: 10.1016/j.is.2004.05.002 – volume: 28 start-page: 1849 issue: 9 year: 2004 ident: 10.1016/j.infsof.2014.06.006_b0435 article-title: Study of simulated annealing based algorithms for multiobjective optimization of a constrained problem publication-title: Comput. Chem. Eng. doi: 10.1016/j.compchemeng.2004.02.037 – volume: 1 start-page: 333 issue: 6 year: 1985 ident: 10.1016/j.infsof.2014.06.006_b0230 article-title: Defectiveness of weighting method in multicriterion optimization of structures publication-title: Commun. Numer. Methods Eng. doi: 10.1002/cnm.1630010613 – volume: 14 start-page: 63 year: 1997 ident: 10.1016/j.infsof.2014.06.006_b0095 article-title: A closer look at drawbacks of minimizing weighted sums of objectives for pareto set generation in multicriteria optimization problems publication-title: Struct. Multidiscipl. Optim. doi: 10.1007/BF01197559 – ident: 10.1016/j.infsof.2014.06.006_b0270 – ident: 10.1016/j.infsof.2014.06.006_b0325 – start-page: 96 year: 2010 ident: 10.1016/j.infsof.2014.06.006_b0340 article-title: Merging business process models – ident: 10.1016/j.infsof.2014.06.006_b0065 doi: 10.14236/ewic/EASE2008.5 – ident: 10.1016/j.infsof.2014.06.006_b0245 doi: 10.4018/978-1-60566-288-6.ch009 – volume: 169 start-page: 932 issue: 3 year: 2006 ident: 10.1016/j.infsof.2014.06.006_b0260 article-title: An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method publication-title: Eur. J. Oper. Res. doi: 10.1016/j.ejor.2004.08.029 – year: 2006 ident: 10.1016/j.infsof.2014.06.006_b0360 – volume: 6 start-page: 25 issue: 1 year: 2013 ident: 10.1016/j.infsof.2014.06.006_b0455 article-title: Dealing with the uncertainty of having incomplete sources of geo-information in spatial planning publication-title: Appl. Spatial Anal. Policy doi: 10.1007/s12061-012-9076-1 – volume: 27 start-page: 685 issue: 7 year: 2007 ident: 10.1016/j.infsof.2014.06.006_b0430 article-title: Flexibility from a supply chain perspective: definition and review publication-title: Int. J. Oper. Product. Manage. doi: 10.1108/01443570710756956 – year: 2004 ident: 10.1016/j.infsof.2014.06.006_b0165 – volume: 32 start-page: 1 year: 2007 ident: 10.1016/j.infsof.2014.06.006_b0355 article-title: A configurable reference modeling language publication-title: Inform. Syst. doi: 10.1016/j.is.2005.05.003 – volume: 15 start-page: 485 issue: 4 year: 2006 ident: 10.1016/j.infsof.2014.06.006_b0145 article-title: An integrated life cycle for workflow management based on learning and planning publication-title: Int. J. Cooper. Inform. Syst. doi: 10.1142/S0218843006001463 – ident: 10.1016/j.infsof.2014.06.006_b0285 – volume: 17 start-page: 73 issue: 3 year: 1996 ident: 10.1016/j.infsof.2014.06.006_b0480 article-title: Using anytime algorithms in intelligent systems publication-title: AI Mag. – volume: 5 start-page: 72 issue: 2 year: 1994 ident: 10.1016/j.infsof.2014.06.006_b0005 article-title: The need for strategic flexibility publication-title: California Manage. Rev. – volume: 21 start-page: 1 issue: 1 year: 2010 ident: 10.1016/j.infsof.2014.06.006_b0380 article-title: Introduction to planning, scheduling and constraint satisfaction publication-title: J. Intell. Manuf. doi: 10.1007/s10845-008-0188-z – volume: 120 start-page: 288 issue: 2 year: 1994 ident: 10.1016/j.infsof.2014.06.006_b0010 article-title: Fitting beta distributions based on sample data publication-title: J. Construct. Eng. Manage. doi: 10.1061/(ASCE)0733-9364(1994)120:2(288) – year: 1913 ident: 10.1016/j.infsof.2014.06.006_b0155 – volume: 4803 start-page: 113 year: 2007 ident: 10.1016/j.infsof.2014.06.006_b0290 article-title: Understanding the occurrence of errors in process models based on metrics publication-title: Lect. Notes Comput. Sci., LNCS doi: 10.1007/978-3-540-76848-7_9 – volume: 36 start-page: 313 issue: 2 year: 2011 ident: 10.1016/j.infsof.2014.06.006_b0345 article-title: Configurable multi-perspective business process models publication-title: Inform. Syst. doi: 10.1016/j.is.2010.07.001 – volume: 190 start-page: 107 year: 2012 ident: 10.1016/j.infsof.2014.06.006_b0090 article-title: Multi-stage recovery robustness for optimization problems: a new concept for planning under disturbances publication-title: Inform. Sci. doi: 10.1016/j.ins.2011.12.010 – volume: 19 start-page: 169 issue: 1 year: 2013 ident: 10.1016/j.infsof.2014.06.006_b0225 article-title: A methodology for effective implementation of lean strategies and its performance evaluation in manufacturing organizations publication-title: Business Process Manage. J. doi: 10.1108/14637151311294912 |
SSID | ssj0017030 |
Score | 2.234142 |
Snippet | The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is essential for... The quality of business process models is essential for enhancing the management of business processes. However, such modeling is typically carried out... Context: The quality of business process models (i.e., software artifacts that capture the relations between the organizational units of a business) is... |
SourceID | proquest crossref elsevier |
SourceType | Aggregation Database Enrichment Source Index Database Publisher |
StartPage | 571 |
SubjectTerms | Automation Business Computer programs Configurable Configurable business process models Constraint programming Constraint-based business process models Flexibility Mathematical functions Optimization Planning and scheduling Robustness Software Software engineering Software quality Specifications Studies Uncertainty |
Title | Generating optimized configurable business process models in scenarios subject to uncertainty |
URI | https://dx.doi.org/10.1016/j.infsof.2014.06.006 https://www.proquest.com/docview/1625887203 https://www.proquest.com/docview/1651446216 |
Volume | 57 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwEA-iIL6InzidEsHXuKZt2vVxDMdU9EWFvUhIm0wq2o61e9AH_3bvknagCAMfmw9a7i73kf7ujpCLMDAgCl7MMi0ECyNfsb5IDBPKYD9IrpMQc4fv7qPxU3gzEZM1MmxzYRBW2eh-p9Ottm5Geg01e7M87z2Ac-CB-UwgRLD9ZjGDPYxRyi-_ljAPjhLt6u15DFe36XMW4wVMrEpbyDO0VTyx79Hf5umXorbWZ7RDthu3kQ7cl-2SNVPskc0Wtb5Pnl35aMQw0xK0wHv-aTSFWHeavyzmmB5Fm3aTFZ253ABqm-BUNC8oVnSCmLmsaLVI8WKG1iUFg-fgAvXHAXkcXT0Ox6zpnMCyIIprxjOIeNOQx1mUwJHUGliisiA2QqhoGqlUJFlg-lyFXHu-4n5sAg2OkVZKwFhwSNaLsjBHhGoN_JoaL-l7MJHoFOIT4C54Ganqc647JGjpJbOmqjg2t3iTLXzsVToqS6SytCi6qEPYctfMVdVYsT5uWSF_SIcExb9iZ7flnGxOZyU5BH2gXH0v6JDz5TScK_xZogpTLnCNwFDZ59Hxv19-QrbgSbgbmy5Zr-cLcwo-TJ2eWSE9IxuD69vx_TcW8fI7 |
linkProvider | Elsevier |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8QwEB58gHoRn7i6agSvcZu2abdHWZT1eXEFLxLSJisVbRfbPejB3-4kaRcUQfDaJLTMe9JvZgCOw0CjKHgxzRTnNIx8Sfs80ZRLbeZBMpWEpnb45jYa3oeXD_xhDgZtLYyBVTa239l0a62bJ72Gmr1JnvfuMDjw0H0mmCLYebPzsBii-poxBiefM5wHMyLtGu551Gxv6-csyAu5WJW2k2do23iawUe_-6cfltq6n_M1WG3iRnLqPm0d5nSxAUstbH0THl3_aANiJiWagdf8QyuCye44f5q-mfoo0sybrMjEFQcQOwWnInlBTEsnTJrLilTT1NzMkLok6PEcXqB-34LR-dloMKTN6ASaBVFcU5ZhypuGLM6iBHVSKeSJzIJYcy6jcSRTnmSB7jMZMuX5kvmxDhRGRkpKjs-CbVgoykLvAFEKGTbWXtL3cCFRKSYoyF4MM1LZZ0x1IGjpJbKmrbiZbvEiWvzYs3BUFobKwsLoog7Q2amJa6vxx_64ZYX4Jh4CLf8fJ7st50SjnpVgmPWhdfW9oANHs2VULPO3RBa6nJo93OTKPot2__3yQ1gejm6uxfXF7dUerOAKd9c3XVio36Z6HwOaOj2wAvsFoSHzyQ |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Generating+optimized+configurable+business+process+models+in+scenarios+subject+to+uncertainty&rft.jtitle=Information+and+software+technology&rft.au=Jim%C3%A9nez-Ram%C3%ADrez%2C+Andr%C3%A9s&rft.au=Weber%2C+Barbara&rft.au=Barba%2C+Irene&rft.au=Del+Valle%2C+Carmelo&rft.date=2015-01-01&rft.pub=Elsevier+Science+Ltd&rft.issn=0950-5849&rft.eissn=1873-6025&rft.volume=57&rft.spage=571&rft_id=info:doi/10.1016%2Fj.infsof.2014.06.006&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3500275161 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0950-5849&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0950-5849&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0950-5849&client=summon |