Conformance checking and diagnosis for declarative business process models in data-aware scenarios
•We propose an approach for conformance checking and diagnosis over declarative business process models.•Unlike related works, our approach deals with the data perspective and is based on constraint programming.•Different performance measures related to a wide and diversified set of test models of v...
Uložené v:
| Vydané v: | Expert systems with applications Ročník 41; číslo 11; s. 5340 - 5352 |
|---|---|
| Hlavní autori: | , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Amsterdam
Elsevier Ltd
01.09.2014
Elsevier |
| Predmet: | |
| ISSN: | 0957-4174, 1873-6793 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | •We propose an approach for conformance checking and diagnosis over declarative business process models.•Unlike related works, our approach deals with the data perspective and is based on constraint programming.•Different performance measures related to a wide and diversified set of test models of varying complexity are analyzed.•Results demonstrate both the effectiveness and the efficiency of our approach.
A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed. |
|---|---|
| AbstractList | •We propose an approach for conformance checking and diagnosis over declarative business process models.•Unlike related works, our approach deals with the data perspective and is based on constraint programming.•Different performance measures related to a wide and diversified set of test models of varying complexity are analyzed.•Results demonstrate both the effectiveness and the efficiency of our approach.
A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed. A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) can be seen as supporting BPs using methods, techniques, and software in order to design, enact, control, and analyze operational processes involving humans, organizations, applications, and other sources of information. Since the accurate management of BPs is receiving increasing attention, conformance checking, i.e., verifying whether the observed behavior matches a modelled behavior, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, whereas there exist solid conformance checking techniques for imperative models, little work has been conducted for declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any related diagnostics. To enhance the accurate management of flexible BPs, this work presents a constraint-based approach for conformance checking over declarative BP models (including both control-flow and data perspectives). In addition, two constraint-based proposals for providing related diagnosis are detailed. To demonstrate both the effectiveness and the efficiency of the proposed approaches, the analysis of different performance measures related to a wide diversified set of test models of varying complexity has been performed. |
| Author | Borrego, Diana Barba, Irene |
| Author_xml | – sequence: 1 givenname: Diana surname: Borrego fullname: Borrego, Diana email: dianabn@us.es – sequence: 2 givenname: Irene surname: Barba fullname: Barba, Irene email: irenebr@us.es |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=28438264$$DView record in Pascal Francis |
| BookMark | eNqFkU1v1DAQhi1UJLaFP8DJFyQuCeOPxInEBa0oIFXi0rvl2JPiJWsXT7YV_x5HWy4cymkO8zyj0ftesouUEzL2VkArQPQfDi3So2slCN2CakHAC7YTg1FNb0Z1wXYwdqbRwuhX7JLoACAMgNmxaZ_TnMvRJY_c_0D_M6Y77lLgIbq7lCkSr3se0C-uuDU-IJ9OFBMS8fuS_TaPOeBCPCYe3Ooa9-gKcvKYXImZXrOXs1sI3zzNK3Z7_fl2_7W5-f7l2_7TTeO1hrXREiV049yBmiZh5tEPaIKUSs9Kjz6oDsyIWosg536CXgxS4DyMSqCcvFBX7P35bP3q1wlptcdYf1gWlzCfyIremNFI1an_o11voOt70BV994Q68m6ZSw0qkr0v8ejKbysHrQbZb9xw5nzJRAVn6-Na48ppLS4uVoDdirIHuxVlt6IsKFuLqqr8R_17_Vnp41mqweNDxGLJR6wlhljQrzbk-Jz-B9FurpM |
| CitedBy_id | crossref_primary_10_1016_j_eswa_2016_08_040 crossref_primary_10_1016_j_eswa_2017_06_024 crossref_primary_10_1016_j_eswa_2021_114857 crossref_primary_10_1002_kpm_1595 crossref_primary_10_1007_s12599_023_00846_3 crossref_primary_10_1007_s10796_016_9678_2 crossref_primary_10_1007_s00607_020_00857_y crossref_primary_10_1007_s13740_021_00120_3 crossref_primary_10_1016_j_jbi_2022_104076 crossref_primary_10_1016_j_eswa_2015_07_040 crossref_primary_10_1016_j_jss_2017_11_019 crossref_primary_10_1016_j_eswa_2021_116059 crossref_primary_10_1108_BPMJ_04_2021_0197 crossref_primary_10_1016_j_asoc_2022_109710 crossref_primary_10_1016_j_jss_2016_03_013 crossref_primary_10_7717_peerj_cs_609 crossref_primary_10_3390_app151810184 crossref_primary_10_3390_app9214502 crossref_primary_10_1007_s10844_018_0501_z crossref_primary_10_1080_00207543_2024_2427888 crossref_primary_10_1109_TDSC_2021_3127630 |
| Cites_doi | 10.1016/j.eswa.2010.12.012 10.14236/ewic/EASE2008.5 10.1109/EDOC.2012.15 10.1007/s00766-012-0162-3 10.1016/j.is.2007.07.001 10.1016/S1474-6670(17)36467-4 10.1007/978-3-642-40176-3_10 10.1016/j.datak.2013.01.004 10.1016/j.eswa.2010.04.091 10.1016/j.datak.2013.04.008 10.36001/phmconf.2010.v2i1.1923 10.1142/S0218843013500093 10.1007/s00450-009-0057-9 10.1007/978-3-642-14538-4 10.1007/s00450-009-0069-5 10.1007/978-3-642-32885-5_6 10.1007/978-3-642-19345-3 10.1007/978-3-642-28115-0_19 10.1145/1658373.1658376 10.1016/j.eswa.2012.02.063 |
| ContentType | Journal Article |
| Copyright | 2014 Elsevier Ltd 2015 INIST-CNRS |
| Copyright_xml | – notice: 2014 Elsevier Ltd – notice: 2015 INIST-CNRS |
| DBID | AAYXX CITATION IQODW 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.eswa.2014.03.010 |
| DatabaseName | CrossRef Pascal-Francis 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 | Computer Science Applied Sciences Business |
| EISSN | 1873-6793 |
| EndPage | 5352 |
| ExternalDocumentID | 28438264 10_1016_j_eswa_2014_03_010 S0957417414001390 |
| GroupedDBID | --K --M .DC .~1 0R~ 13V 1B1 1RT 1~. 1~5 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9JO AAAKF AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AARIN AAXUO AAYFN ABBOA ABFNM ABMAC ABMVD ABUCO ABXDB ABYKQ ACDAQ ACGFS ACHRH ACNTT ACRLP ACZNC ADBBV ADEZE ADTZH AEBSH AECPX AEKER AENEX AFKWA AFTJW AGHFR AGJBL AGUBO AGUMN AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALEQD ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM AXJTR BJAXD BKOJK BLXMC BNSAS CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX IHE J1W JJJVA KOM LG9 LY1 LY7 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 RIG ROL RPZ SDF SDG SDP SDS SES SPC SPCBC SSB SSD SSL SST SSV SSZ T5K TN5 ~G- 29G 9DU AAAKG AAQXK AATTM AAXKI AAYWO AAYXX ABJNI ABKBG ABUFD ABWVN ACLOT ACNNM ACRPL ACVFH ADCNI ADJOM ADMUD ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP ASPBG AVWKF AZFZN CITATION EFKBS FEDTE FGOYB G-2 HLZ HVGLF HZ~ R2- SBC SET SEW WUQ XPP ZMT ~HD BNPGV IQODW SSH 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c440t-42e2059f503bb17f9c8e7d2234f349cd35079e441d2f6b061821ef8931e2bc13 |
| ISICitedReferencesCount | 35 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000336191800029&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0957-4174 |
| IngestDate | Sun Nov 09 12:03:50 EST 2025 Sat Sep 27 21:18:33 EDT 2025 Wed Apr 02 07:24:04 EDT 2025 Sat Nov 29 04:44:39 EST 2025 Tue Nov 18 20:55:30 EST 2025 Fri Feb 23 02:29:06 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 11 |
| Keywords | Process mining Business process management Diagnosis Declarative business process models Constraint programming Conformance checking Performance evaluation Declarative language Software development Constraint satisfaction Control synthesis Flexibility Modeling Data flow Business process Information source Efficiency Static analysis Flow control Model checking Coordination Process control Context aware Computational complexity Integrated management Program verification Constrained optimization Business model Firm management Data models |
| Language | English |
| License | CC BY 4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c440t-42e2059f503bb17f9c8e7d2234f349cd35079e441d2f6b061821ef8931e2bc13 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 ObjectType-Article-1 ObjectType-Feature-2 |
| OpenAccessLink | https://idus.us.es/handle//11441/127260 |
| PQID | 1567056604 |
| PQPubID | 23500 |
| PageCount | 13 |
| ParticipantIDs | proquest_miscellaneous_1677972353 proquest_miscellaneous_1567056604 pascalfrancis_primary_28438264 crossref_citationtrail_10_1016_j_eswa_2014_03_010 crossref_primary_10_1016_j_eswa_2014_03_010 elsevier_sciencedirect_doi_10_1016_j_eswa_2014_03_010 |
| PublicationCentury | 2000 |
| PublicationDate | 2014-09-01 |
| PublicationDateYYYYMMDD | 2014-09-01 |
| PublicationDate_xml | – month: 09 year: 2014 text: 2014-09-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Amsterdam |
| PublicationPlace_xml | – name: Amsterdam |
| PublicationTitle | Expert systems with applications |
| PublicationYear | 2014 |
| Publisher | Elsevier Ltd Elsevier |
| Publisher_xml | – name: Elsevier Ltd – name: Elsevier |
| References | van der Aalst, Pesic, Schonenberg (b0160) 2009; 23 (pp. 25–36). Rozinat, van der Aalst (b0145) 2008; 33 Reichert, Weber (b0135) 2012 (pp. 41–50). Gasca, Valle, Gómez-López, Ceballos (b0080) 2007; Vol. 4788 de Kleer, J., & Kurien, J., 2003. Fundamentals of model-based diagnosis. In de Leoni, M., and van der Aalst, W. M. P., 2013. Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. In Adriansyah, Dongen, Aalst (b0005) 2011; Vol. 66 Brereton, P., Kitchenham, B., Budgen, D., & Li, Z., 2008. Using a protocol template for case study planning. In De Leoni, M., Maggi, F., & van der Aalst, W. M. P., 2012. Aligning event logs and declarative process models for conformance checking. In accessed 20-January-2011]. Montali, M. 2009. 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. Barba, Weber, Del Valle, Jiménez-Ramírez (b0025) 2013; 86 Lanz, Weber, Reichert (b0105) 2012 van der Aalst, Wil M. P., et al., 2011. Process mining manifesto. In Burattin, A., Maggi, F., van der Aalst, W. M. P., & Sperduti, A., 2012. Techniques for a posteriori analysis of declarative processes. In Barba, I., & Del Valle, C., 2011. Filtering rules for condec templates – pseudocode and complexity. [Online Borrego, Eshuis, Gómez-López, Gasca (b0030) 2013; 87 Dynadec. Comet downloads, 2010. [Online Weber, Sadiq, Reichert (b0170) 2009; 23 accessed 24-January-2014]. Huang, van der Aalst, Lu, Duan (b0095) 2010; 37 Barba, Del Valle, Weber, Jiménez-Ramírez (b0020) 2013; 22 de Leoni, Maggi, van der Aalst (b0065) 2014 (pp. 188–199). Grando, Schonenberg, Aalst (b0090) 2013; Vol. 273 (b0070) 2005 Weske (b0175) 2007 (pp. 55–62). (pp. 82–97). Barba, I., & Del Valle, C., 2011. A constraint-based approach for planning and scheduling repeated activities. In (pp. 113–129). Montali, Pesic, van der Aalst, Chesani, Mello, Storari (b0125) 2010; 4 Borrego, D., Gasca, R. M., Gómez-López, M. T., & Parody, L., 2010. Contract-based diagnosis for business process instances using business compliance rules. In Liao, Chu, Hsiao (b0115) 2012; 39 (b0140) 2006 Kumar (b0100) 1992; 13 La Rosa, Reijers, van der Aalst, Dijkman, Mendling, Dumas (b0110) 2011; 38 (pp. 169–194). BCS-eWiC. (pp. 169–176). Grando, M. A., van der Aalst, W. M. P., and Mans, R. S., 2012. Reusing a declarative specification to check the conformance of different CIGs. In Pesic, M., 2008. Constraint-based workflow management systems: Shifting control to users (PhD thesis), Eindhoven: Technische Universiteit Eindhoven. Van Hentenryck (b0165) 1989 van der Aalst (b0150) 2011 Huang (10.1016/j.eswa.2014.03.010_b0095) 2010; 37 10.1016/j.eswa.2014.03.010_b0015 Borrego (10.1016/j.eswa.2014.03.010_b0030) 2013; 87 Rozinat (10.1016/j.eswa.2014.03.010_b0145) 2008; 33 van der Aalst (10.1016/j.eswa.2014.03.010_b0150) 2011 10.1016/j.eswa.2014.03.010_b0035 Montali (10.1016/j.eswa.2014.03.010_b0125) 2010; 4 Van Hentenryck (10.1016/j.eswa.2014.03.010_b0165) 1989 Gasca (10.1016/j.eswa.2014.03.010_b0080) 2007; Vol. 4788 Grando (10.1016/j.eswa.2014.03.010_b0090) 2013; Vol. 273 10.1016/j.eswa.2014.03.010_b0045 10.1016/j.eswa.2014.03.010_b0120 Weske (10.1016/j.eswa.2014.03.010_b0175) 2007 10.1016/j.eswa.2014.03.010_b0085 10.1016/j.eswa.2014.03.010_b0040 van der Aalst (10.1016/j.eswa.2014.03.010_b0160) 2009; 23 10.1016/j.eswa.2014.03.010_b0060 Adriansyah (10.1016/j.eswa.2014.03.010_b0005) 2011; Vol. 66 Kumar (10.1016/j.eswa.2014.03.010_b0100) 1992; 13 Weber (10.1016/j.eswa.2014.03.010_b0170) 2009; 23 de Leoni (10.1016/j.eswa.2014.03.010_b0065) 2014 La Rosa (10.1016/j.eswa.2014.03.010_b0110) 2011; 38 Liao (10.1016/j.eswa.2014.03.010_b0115) 2012; 39 (10.1016/j.eswa.2014.03.010_b0140) 2006 Reichert (10.1016/j.eswa.2014.03.010_b0135) 2012 Barba (10.1016/j.eswa.2014.03.010_b0025) 2013; 86 (10.1016/j.eswa.2014.03.010_b0070) 2005 Lanz (10.1016/j.eswa.2014.03.010_b0105) 2012 10.1016/j.eswa.2014.03.010_b0155 10.1016/j.eswa.2014.03.010_b0055 10.1016/j.eswa.2014.03.010_b0010 10.1016/j.eswa.2014.03.010_b0075 10.1016/j.eswa.2014.03.010_b0130 Barba (10.1016/j.eswa.2014.03.010_b0020) 2013; 22 10.1016/j.eswa.2014.03.010_b0050 |
| References_xml | – reference: (pp. 169–176). – reference: (pp. 113–129). – reference: (pp. 41–50). – volume: Vol. 66 start-page: 122 year: 2011 end-page: 133 ident: b0005 article-title: Towards robust conformance checking publication-title: Business process management workshops – reference: ; accessed 20-January-2011]. – reference: Barba, I., & Del Valle, C., 2011. A constraint-based approach for planning and scheduling repeated activities. In – year: 2005 ident: b0070 publication-title: Process-aware information systems: Bridging people and software through process technology – volume: 86 start-page: 61 year: 2013 end-page: 84 ident: b0025 article-title: User recommendations for the optimized execution of business processes publication-title: Data & Knowledge Engineering – reference: Barba, I., & Del Valle, C., 2011. Filtering rules for condec templates – pseudocode and complexity. [Online; – reference: (pp. 55–62). – reference: Brereton, P., Kitchenham, B., Budgen, D., & Li, Z., 2008. Using a protocol template for case study planning. In – reference: Grando, M. A., van der Aalst, W. M. P., and Mans, R. S., 2012. Reusing a declarative specification to check the conformance of different CIGs. In – year: 2007 ident: b0175 article-title: Business process management: Concepts, methods, technology – reference: de Kleer, J., & Kurien, J., 2003. Fundamentals of model-based diagnosis. In – reference: (pp. 82–97). – year: 2011 ident: b0150 article-title: Process mining – discovery, conformance and enhancement of business processes – reference: Borrego, D., Gasca, R. M., Gómez-López, M. T., & Parody, L., 2010. Contract-based diagnosis for business process instances using business compliance rules. In – volume: 37 start-page: 7533 year: 2010 end-page: 7541 ident: b0095 article-title: An adaptive work distribution mechanism based on reinforcement learning publication-title: Expert Systems with Applications – volume: 23 start-page: 47 year: 2009 end-page: 65 ident: b0170 article-title: Beyond rigidity – dynamic process lifecycle support publication-title: Computer Science – Research and Development – reference: . BCS-eWiC. – reference: De Leoni, M., Maggi, F., & van der Aalst, W. M. P., 2012. Aligning event logs and declarative process models for conformance checking. In – year: 2014 ident: b0065 article-title: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data publication-title: Information Systems – volume: Vol. 4788 start-page: 160 year: 2007 end-page: 169 ident: b0080 article-title: Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps publication-title: Current topics in artificial intelligence – reference: (pp. 25–36). – volume: 13 start-page: 32 year: 1992 end-page: 44 ident: b0100 article-title: Algorithms for constraint satisfaction problems: A survey publication-title: AI Magazine – year: 2012 ident: b0135 article-title: Enabling flexibility in process-aware information systems – volume: 23 start-page: 99 year: 2009 end-page: 113 ident: b0160 article-title: Declarative workflows: Balancing between flexibility and support publication-title: Computer Science – Research and Development – reference: van der Aalst, Wil M. P., et al., 2011. Process mining manifesto. In – volume: 22 start-page: 1350009 year: 2013 ident: b0020 article-title: Automatic generation of optimized business process models from constraint-based specifications publication-title: International Journal of Cooperative Information Systems – reference: Burattin, A., Maggi, F., van der Aalst, W. M. P., & Sperduti, A., 2012. Techniques for a posteriori analysis of declarative processes. In – volume: 4 year: 2010 ident: b0125 article-title: Declarative specification and verification of service choreographies publication-title: ACM Transactions on the Web – reference: Montali, M. 2009. 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. – reference: Dynadec. Comet downloads, 2010. [Online; – year: 2012 ident: b0105 article-title: Time patterns for process-aware information systems publication-title: Requirements Engineering – volume: 39 start-page: 11303 year: 2012 end-page: 11311 ident: b0115 article-title: Data mining techniques and applications a decade review from 2000 to 2011 publication-title: Expert Systems with Applications – reference: (pp. 188–199). – reference: ; accessed 24-January-2014]. – year: 2006 ident: b0140 publication-title: Handbook of constraint programming – reference: (pp. 169–194). – year: 1989 ident: b0165 article-title: Constraint satisfaction in logic programming – volume: 87 start-page: 167 year: 2013 end-page: 184 ident: b0030 article-title: Diagnosing correctness of semantic workflow models publication-title: Data & Knowledge Engineering – volume: 33 start-page: 64 year: 2008 end-page: 95 ident: b0145 article-title: Conformance checking of processes based on monitoring real behavior publication-title: Information Systems – reference: de Leoni, M., and van der Aalst, W. M. P., 2013. Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. In – volume: Vol. 273 start-page: 285 year: 2013 end-page: 300 ident: b0090 article-title: Semantic-based conformance checking of computer interpretable medical guidelines publication-title: Biomedical engineering systems and technologies – volume: 38 start-page: 7029 year: 2011 end-page: 7040 ident: b0110 article-title: Apromore: An advanced process model repository publication-title: Expert Systems with Applications – reference: Pesic, M., 2008. Constraint-based workflow management systems: Shifting control to users (PhD thesis), Eindhoven: Technische Universiteit Eindhoven. – issue: 0 year: 2014 ident: 10.1016/j.eswa.2014.03.010_b0065 article-title: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data publication-title: Information Systems – volume: 38 start-page: 7029 issue: 6 year: 2011 ident: 10.1016/j.eswa.2014.03.010_b0110 article-title: Apromore: An advanced process model repository publication-title: Expert Systems with Applications doi: 10.1016/j.eswa.2010.12.012 – volume: Vol. 66 start-page: 122 year: 2011 ident: 10.1016/j.eswa.2014.03.010_b0005 article-title: Towards robust conformance checking – ident: 10.1016/j.eswa.2014.03.010_b0040 doi: 10.14236/ewic/EASE2008.5 – ident: 10.1016/j.eswa.2014.03.010_b0045 doi: 10.1109/EDOC.2012.15 – year: 2012 ident: 10.1016/j.eswa.2014.03.010_b0105 article-title: Time patterns for process-aware information systems publication-title: Requirements Engineering doi: 10.1007/s00766-012-0162-3 – ident: 10.1016/j.eswa.2014.03.010_b0010 – year: 1989 ident: 10.1016/j.eswa.2014.03.010_b0165 – volume: 33 start-page: 64 issue: 1 year: 2008 ident: 10.1016/j.eswa.2014.03.010_b0145 article-title: Conformance checking of processes based on monitoring real behavior publication-title: Information Systems doi: 10.1016/j.is.2007.07.001 – ident: 10.1016/j.eswa.2014.03.010_b0050 doi: 10.1016/S1474-6670(17)36467-4 – year: 2007 ident: 10.1016/j.eswa.2014.03.010_b0175 – year: 2005 ident: 10.1016/j.eswa.2014.03.010_b0070 – year: 2006 ident: 10.1016/j.eswa.2014.03.010_b0140 – ident: 10.1016/j.eswa.2014.03.010_b0130 – year: 2012 ident: 10.1016/j.eswa.2014.03.010_b0135 – ident: 10.1016/j.eswa.2014.03.010_b0055 doi: 10.1007/978-3-642-40176-3_10 – volume: 86 start-page: 61 year: 2013 ident: 10.1016/j.eswa.2014.03.010_b0025 article-title: User recommendations for the optimized execution of business processes publication-title: Data & Knowledge Engineering doi: 10.1016/j.datak.2013.01.004 – ident: 10.1016/j.eswa.2014.03.010_b0075 – volume: Vol. 4788 start-page: 160 year: 2007 ident: 10.1016/j.eswa.2014.03.010_b0080 article-title: Nmus: Structural analysis for improving the derivation of all muses in overconstrained numeric csps – volume: 37 start-page: 7533 issue: 12 year: 2010 ident: 10.1016/j.eswa.2014.03.010_b0095 article-title: An adaptive work distribution mechanism based on reinforcement learning publication-title: Expert Systems with Applications doi: 10.1016/j.eswa.2010.04.091 – volume: 87 start-page: 167 year: 2013 ident: 10.1016/j.eswa.2014.03.010_b0030 article-title: Diagnosing correctness of semantic workflow models publication-title: Data & Knowledge Engineering doi: 10.1016/j.datak.2013.04.008 – ident: 10.1016/j.eswa.2014.03.010_b0035 doi: 10.36001/phmconf.2010.v2i1.1923 – volume: 22 start-page: 1350009 issue: 2 year: 2013 ident: 10.1016/j.eswa.2014.03.010_b0020 article-title: Automatic generation of optimized business process models from constraint-based specifications publication-title: International Journal of Cooperative Information Systems doi: 10.1142/S0218843013500093 – volume: 23 start-page: 99 issue: 2 year: 2009 ident: 10.1016/j.eswa.2014.03.010_b0160 article-title: Declarative workflows: Balancing between flexibility and support publication-title: Computer Science – Research and Development doi: 10.1007/s00450-009-0057-9 – volume: 13 start-page: 32 issue: 1 year: 1992 ident: 10.1016/j.eswa.2014.03.010_b0100 article-title: Algorithms for constraint satisfaction problems: A survey publication-title: AI Magazine – ident: 10.1016/j.eswa.2014.03.010_b0015 – volume: Vol. 273 start-page: 285 year: 2013 ident: 10.1016/j.eswa.2014.03.010_b0090 article-title: Semantic-based conformance checking of computer interpretable medical guidelines – ident: 10.1016/j.eswa.2014.03.010_b0120 doi: 10.1007/978-3-642-14538-4 – volume: 23 start-page: 47 issue: 2 year: 2009 ident: 10.1016/j.eswa.2014.03.010_b0170 article-title: Beyond rigidity – dynamic process lifecycle support publication-title: Computer Science – Research and Development doi: 10.1007/s00450-009-0069-5 – ident: 10.1016/j.eswa.2014.03.010_b0060 doi: 10.1007/978-3-642-32885-5_6 – year: 2011 ident: 10.1016/j.eswa.2014.03.010_b0150 – ident: 10.1016/j.eswa.2014.03.010_b0155 doi: 10.1007/978-3-642-19345-3 – ident: 10.1016/j.eswa.2014.03.010_b0085 doi: 10.1007/978-3-642-28115-0_19 – volume: 4 issue: 1 year: 2010 ident: 10.1016/j.eswa.2014.03.010_b0125 article-title: Declarative specification and verification of service choreographies publication-title: ACM Transactions on the Web doi: 10.1145/1658373.1658376 – volume: 39 start-page: 11303 issue: 12 year: 2012 ident: 10.1016/j.eswa.2014.03.010_b0115 article-title: Data mining techniques and applications a decade review from 2000 to 2011 publication-title: Expert Systems with Applications doi: 10.1016/j.eswa.2012.02.063 |
| SSID | ssj0017007 |
| Score | 2.3328314 |
| Snippet | •We propose an approach for conformance checking and diagnosis over declarative business process models.•Unlike related works, our approach deals with the data... A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly... |
| SourceID | proquest pascalfrancis crossref elsevier |
| SourceType | Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 5340 |
| SubjectTerms | Applied sciences Business Business process management Computer science; control theory; systems Computer systems performance. Reliability Conformance checking Constraint programming Declarative business process models Diagnosis Diagnostic systems Exact sciences and technology Expert systems Firm modelling Flexibility Information systems. Data bases Management Memory organisation. Data processing Operational research and scientific management Operational research. Management science Process mining Receiving Software Software engineering |
| Title | Conformance checking and diagnosis for declarative business process models in data-aware scenarios |
| URI | https://dx.doi.org/10.1016/j.eswa.2014.03.010 https://www.proquest.com/docview/1567056604 https://www.proquest.com/docview/1677972353 |
| Volume | 41 |
| WOSCitedRecordID | wos000336191800029&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-6793 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017007 issn: 0957-4174 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELbQlgMSgvJSF2hlJG5VUBw7cXKsoKggVHFYob1ZsWOjLVV21aS0P59x_Nhsoav2wCWKsomzyXwZz4xnvkHovcmYorLWSW6UTJiuVFJZn0crYsAhMjQdYro_vvHT03I-r777YE43tBPgbVteX1er_ypqOAbCtqWz9xB3HBQOwD4IHbYgdtjeSfC2hi-UAoBE1K9Qhti4rLrFwMBw2Gh1Hmi_Zch-X7myAdcfx2XK1n2d1Fc2P8zyPoFnvew2ovmWKrn3hNChVG60KB7dfdsF5OcQl_0EiFyHAex6x6CoLLfmOAZBWEyyWgcTecKI67cT9CojY_yQkZbMqaNo8jOuZZj5pzZ3gYWzD7q7shRRhA18tD4NdoM6-8aUFhMNQw7bmbBjCDuGSKkYivJ2Mp5X5QTtHH05nn-NS088dTX24ZF8pZVLCrz5T26zZh6v6g6-MeOao_w1zw_Gy2wXPfFeBz5yaHmGHuj2OXoaOnpgr-BfIDkCDw7gwQAeHMGD4Xc8Ag8O4MEePNiBBy9avAYPjuB5iWafj2cfTxLfhSNRjKV9wjKdgQ1u8pRKSbipVKl5A1YlM5RVqqHgUVQarOomM4UE87DMiDZgBhOdSUXoKzRpl63eQzhtJNGpKowkChxtLWWhdFHDqAUMXaZTRMLLFMoz1NtGKefidjFO0WG8ZuX4WbaenQcZCW9hOstRAOS2XnewIdB4KzDuKDjobIreBQkL0M920a1u9fKyEyQvODgZRbrtnIJz2_0vp6_v9Thv0KP11_gWTfqLS72PHqrf_aK7OPDA_gPNfcQQ |
| linkProvider | Elsevier |
| 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=Conformance+checking+and+diagnosis+for+declarative+business+process+models+in+data-aware+scenarios&rft.jtitle=Expert+systems+with+applications&rft.au=Borrego%2C+Diana&rft.au=Barba%2C+Irene&rft.date=2014-09-01&rft.issn=0957-4174&rft.volume=41&rft.issue=11&rft.spage=5340&rft.epage=5352&rft_id=info:doi/10.1016%2Fj.eswa.2014.03.010&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_eswa_2014_03_010 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0957-4174&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0957-4174&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0957-4174&client=summon |