The RALph miner for automated discovery and verification of resource-aware process models
Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved in their execution. Recent approaches to process discovery put a special emp...
Gespeichert in:
| Veröffentlicht in: | Software and systems modeling Jg. 19; H. 6; S. 1415 - 1441 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.11.2020
Springer Nature B.V |
| Schlagworte: | |
| ISSN: | 1619-1366, 1619-1374 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved in their execution. Recent approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process models that contain the inferred resource assignment constraints. Such constraints can be complex and process discovery approaches so far have missed the opportunity to represent expressive resource assignments graphically together with process models. A subsequent verification of the extracted resource-aware process models is required in order to check the proper utilisation of resources according to the resource assignments. So far, research on discovering resource-aware process models has assumed that models can be put into operation without modification and checking. Integrating resource mining and resource-aware process model verification faces the challenge that different types of resource assignment languages are used for each task. In this paper, we present an integrated solution that comprises (i) a resource mining technique that builds upon a highly expressive graphical notation for defining resource assignments; and (ii) automated model-checking support to validate the discovered resource-aware process models. All the concepts reported in this paper have been implemented and evaluated in terms of feasibility and performance. |
|---|---|
| AbstractList | Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved in their execution. Recent approaches to process discovery put a special emphasis on (human) resources, aiming at constructing resource-aware process models that contain the inferred resource assignment constraints. Such constraints can be complex and process discovery approaches so far have missed the opportunity to represent expressive resource assignments graphically together with process models. A subsequent verification of the extracted resource-aware process models is required in order to check the proper utilisation of resources according to the resource assignments. So far, research on discovering resource-aware process models has assumed that models can be put into operation without modification and checking. Integrating resource mining and resource-aware process model verification faces the challenge that different types of resource assignment languages are used for each task. In this paper, we present an integrated solution that comprises (i) a resource mining technique that builds upon a highly expressive graphical notation for defining resource assignments; and (ii) automated model-checking support to validate the discovered resource-aware process models. All the concepts reported in this paper have been implemented and evaluated in terms of feasibility and performance. |
| Author | Sturm, Christian Schönig, Stefan Mendling, Jan Cabanillas, Cristina Ackermann, Lars |
| Author_xml | – sequence: 1 givenname: Cristina surname: Cabanillas fullname: Cabanillas, Cristina email: cristinacabanillas@us.es organization: University of Seville, Vienna University of Economics and Business – sequence: 2 givenname: Lars surname: Ackermann fullname: Ackermann, Lars organization: University of Bayreuth – sequence: 3 givenname: Stefan surname: Schönig fullname: Schönig, Stefan organization: University of Regensburg – sequence: 4 givenname: Christian surname: Sturm fullname: Sturm, Christian organization: University of Bayreuth – sequence: 5 givenname: Jan surname: Mendling fullname: Mendling, Jan organization: Vienna University of Economics and Business |
| BookMark | eNp9kMtKAzEUhoNUsNa-gKuA69FkJpeZZSneoCBIXbgKmeTERtpJTaaKb2_siIKLLs5l8X_n8p-iURc6QOickktKiLxKlJSSFKTMQeqc5REaU0GbglaSjX57IU7QNCXfEsLKpmFCjNHzcgX4cbbYrvDGdxCxCxHrXR82ugeLrU8mvEP8xLqzODfeeaN7HzocHI6Qwi4aKPSHjoC3MRhICW-ChXU6Q8dOrxNMf-oEPd1cL-d3xeLh9n4-WxSmElVfMO20YdJqA1zmbyh3Rra8BS01r7QhjRO81VyIOusMBwJG8IpbaxnQllUTdDHMzevfdpB69ZqP6vJKVTLWMCZrVmZVPahMDClFcMr4fv9IH7VfK0rUt5dq8FJlL9XeSyUzWv5Dt9FvdPw8DFUDlLK4e4H4d9UB6gvtfYns |
| CitedBy_id | crossref_primary_10_1016_j_jbi_2022_103994 crossref_primary_10_1007_s43831_022_0087_6 crossref_primary_10_1016_j_artmed_2022_102434 crossref_primary_10_1007_s12599_024_00894_3 |
| Cites_doi | 10.2753/MIS0742-1222240302 10.1007/978-3-319-58457-7_5 10.4108/icst.collaboratecom.2014.257269 10.1109/CIDM.2013.6597224 10.1007/978-3-642-29860-8_11 10.1007/s11219-010-9111-x 10.1016/j.eswa.2016.08.040 10.1007/s10270-016-0567-4 10.1007/978-3-319-59536-8_12 10.1007/978-3-662-56509-4 10.1007/978-3-642-12186-9_8 10.1016/j.dss.2016.06.012 10.1080/17517575.2017.1390166 10.1007/3-540-08766-4 10.1017/S0269888905000317 10.1007/978-3-642-17722-4_5 10.1016/j.dss.2006.11.005 10.1109/GCC.2007.93 10.1145/300830.300837 10.1016/j.eswa.2015.07.040 10.1109/EDOC.2016.7579383 10.1109/ARES.2011.104 10.1016/j.dss.2017.04.004 10.1016/j.dss.2008.07.002 10.1007/978-3-642-19345-3 10.1108/14637150910931479 10.1007/978-3-642-00899-3\_7 10.1007/978-3-319-46295-0_6 10.1207/s1532690xci2104\_3 10.1007/s100090100062 10.1007/978-3-030-02671-4_9 10.1145/1658373.1658376 10.1007/978-3-642-54924-3_66 10.1145/3041218 10.1007/978-3-540-31843-9_17 10.1007/978-3-319-91704-7_1 10.1016/j.is.2015.03.002 10.4204/EPTCS.69.5 10.1016/j.is.2016.09.005 10.1145/2629447 10.1007/978-3-319-19069-3_4 10.1007/978-3-319-39696-5_18 10.1007/978-3-319-74030-0_59 10.1016/S0364-0213(87)80026-5 10.1016/j.infsof.2010.11.015 10.1007/11431855_16 10.1007/978-3-642-00899-3\_12 |
| ContentType | Journal Article |
| Copyright | The Author(s) 2020 The Author(s) 2020. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: The Author(s) 2020 – notice: The Author(s) 2020. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | C6C AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1007/s10270-020-00820-7 |
| DatabaseName | Springer Nature OA Free Journals CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Databases ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | Computer Science Database CrossRef |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1619-1374 |
| EndPage | 1441 |
| ExternalDocumentID | 10_1007_s10270_020_00820_7 |
| GrantInformation_xml | – fundername: Ministerio de Ciencia e Innovación grantid: RTI2018-100763-J-100 funderid: http://dx.doi.org/10.13039/501100004837 – fundername: Austrian Science Fund grantid: V 569-N31 funderid: http://dx.doi.org/10.13039/501100002428 |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 123 1N0 203 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5VS 67Z 6NX 8AO 8FE 8FG 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDBF ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACUHS ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. B0M BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS C6C CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EAD EAP EBLON EBS EDO EIOEI EJD EMK EPL ESBYG ESX FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GXS H13 HCIFZ HF~ HG5 HG6 HLICF HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV LAS LLZTM M0N M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PF0 PQQKQ PROAC PT4 Q2X QOS R89 R9I RIG RNS ROL RPX RSV S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z5O Z7R Z7S Z7X Z7Z Z81 Z83 Z88 ZMTXR ~8M AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c363t-4afac47dace5700715fc7b5bea7a53ac09f65ba5668ac4c5e0ec6535ddd4e1b43 |
| IEDL.DBID | K7- |
| ISICitedReferencesCount | 8 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000557136400001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1619-1366 |
| IngestDate | Tue Nov 04 23:27:43 EST 2025 Tue Nov 18 22:41:15 EST 2025 Sat Nov 29 04:10:44 EST 2025 Fri Feb 21 02:34:14 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 6 |
| Keywords | Process mining Resource assignment Organisational mining Process verification RALph Resource mining Model checking |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c363t-4afac47dace5700715fc7b5bea7a53ac09f65ba5668ac4c5e0ec6535ddd4e1b43 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://link.springer.com/10.1007/s10270-020-00820-7 |
| PQID | 2449447842 |
| PQPubID | 43171 |
| PageCount | 27 |
| ParticipantIDs | proquest_journals_2449447842 crossref_citationtrail_10_1007_s10270_020_00820_7 crossref_primary_10_1007_s10270_020_00820_7 springer_journals_10_1007_s10270_020_00820_7 |
| PublicationCentury | 2000 |
| PublicationDate | 20201100 2020-11-00 20201101 |
| PublicationDateYYYYMMDD | 2020-11-01 |
| PublicationDate_xml | – month: 11 year: 2020 text: 20201100 |
| PublicationDecade | 2020 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | Software and systems modeling |
| PublicationTitleAbbrev | Softw Syst Model |
| PublicationYear | 2020 |
| Publisher | Springer Berlin Heidelberg Springer Nature B.V |
| Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer Nature B.V |
| References | Cabanillas, C., Knuplesch, D., Resinas, M., Reichert, M., Mendling, J., Ruiz-Cortés, A.: RALph: A graphical notation for resource assignments in business processes. In: CAiSE, vol. 9097, pp. 53–68. Springer, Berlin (2015) van der AalstWMPProcess Mining—Discovery, Conformance and Enhancement of Business Processes2011BerlinSpringer1216.68016 WynnMTPoppeEXuJter HofstedeAHMBrownRPiniAvan der AalstWMPProcessProfiler3D: a visualisation framework for log-based process performance comparisonDecis. Support Syst.20171009310810.1016/j.dss.2017.04.004 MoraBGarciaFRuizFPiattiniMGraphical versus textual software measurement modelling: an empirical studySoftw. Qual. J.20111920123310.1007/s11219-010-9111-x Eiglsperger, M., Siebenhaller, M., Kaufmann, M.: An efficient implementation of Sugiyama’s algorithm for layered graph drawing. In: Graph Drawing, pp. 155–166 (2005) Tan, K., Crampton, J., Gunter, C.A.: The consistency of task-based authorization constraints in workflow systems. In: IEEE Workshop on Computer Security Foundations, pp. 155–169 (2004) LarkinJHSimonHAWhy a diagram is (sometimes) worth ten thousand wordsCogn. Sci.19871116510010.1016/S0364-0213(87)80026-5 JacksonDSoftware Abstractions: Logic, Language, and analysis2012LondonMIT Press RovaniMMaggiFMde LeoniMvan der AalstWMDeclarative process mining in healthcareExpert Syst. Appl.201542239236925110.1016/j.eswa.2015.07.040 van der AalstWPesicMSchonenbergHDeclarative workflows: balancing between flexibility and supportComput. Sci. R&D200923299113 MontaliMPesicMvan der AalstWMPChesaniFMelloPStorariSDeclarative specification and verification of service choreographiesTWEB2010413:13:6210.1145/1658373.1658376 Nakatumba, J., van der Aalst, W.: Analyzing resource behavior using process mining. In: Business Process Management Workshops, pp. 69–80 (2010) CabanillasCResinasMdel Río-OrtegaARuiz-CortésASpecification and automated design-time analysis of the business process human resource perspectiveInf. Syst.201552558210.1016/j.is.2015.03.002 Maggi, F.M., Westergaard, M., Montali, M., van der Aalst, W.M.P.: Runtime verification of LTL-based declarative process models. In: Int. Conf. on Runtime Verification (RV)—Revised Selected Papers, vol. 7186, pp. 131–146 (2011). https://doi.org/10.1007/978-3-642-29860-8_11 PeffersKA design science research methodology for information systems researchJ. Manag. Inf. Syst.2007243457710.2753/MIS0742-1222240302 CiccioCDMaggiFMMontaliMMendlingJResolving inconsistencies and redundancies in declarative process modelsInf. Syst.20176442544610.1016/j.is.2016.09.005 DumasMRosaMLMendlingJReijersHAFundamentals of Business Process Management20182BerlinSpringer10.1007/978-3-662-56509-4 BurattinAMaggiFMSperdutiAConformance checking based on multi-perspective declarative process modelsExpert Syst. Appl.20166519421110.1016/j.eswa.2016.08.040 MendlingJEmpirical studies in process model verificationTrans. Petri Nets Other Models Concurr.2009220822410.1007/978-3-642-00899-3\_12 BoseJCMaggiFMvan der AalstWEnhancing declare maps based on event correlationsBPM2013809497112 HildebrandtTTMukkamalaRRDeclarative event-based workflow as distributed dynamic condition response graphsElectron. Proc. Theor. Comput. Sci.201169597310.4204/EPTCS.69.5 HorlingBLesserVA survey of multi-agent organizational paradigmsKnowl. Eng. Rev.200419428131610.1017/S0269888905000317 Jin, T., Wang, J., Wen, L.: Organizational modeling from event logs. In: Int. Conf. on Grid and Cooperative Computing (GCC), pp. 670–675 (2007) ReichertMRinderle-MaSDadamPFlexibility in process-aware information systemsTrans. Petri Nets Other Mod. Concurr.2009211513510.1007/978-3-642-00899-3\_71235.68319 Cabanillas, C., Schönig, S., Sturm, C., Mendling, J.: Mining expressive and executable resource-aware imperative process models. In: Int. Conf. on Enterprise, Business-Process and Information Systems Modeling (BPMDS), vol. 318, pp. 3–18 (2018) SchönigSCabanillasCJablonskiSMendlingJA framework for efficiently mining the organisational perspective of business processesDecis. Support Syst.201689879710.1016/j.dss.2016.06.012 American National Standards Institute, I.: Role-based access control. ANSI INCITS 359-2004 (2004). http://csrc.nist.gov/rbac StrembeckMMendlingJModeling process-related RBAC models with extended UML activity modelsInf. Softw. Technol.20115345648310.1016/j.infsof.2010.11.015 CaballeroHSGWestenbergMAVerbeekHMWvan der AalstWMPVisual analytics for soundness verification of process modelsBus. Process Manag. Workshops201730874475610.1007/978-3-319-74030-0_59 CabanillasCResinasMRuiz-CortésAA template-based approach for responsibility management in executable business processesEnterp. Inf. Syst.201812555058610.1080/17517575.2017.1390166 Zeising, M., Schönig, S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: IEEE Int. Conf. on Collaborative Computing: Networking, Applications and Worksharing, pp. 94–103 (2014) Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: CAiSE, pp. 216–232 (2005) Cabanillas, C.: Process- and resource-aware information systems. In: Int. Conf. on Enterprise Distributed Object Computing (EDOC), pp. 1–10 (2016) PikaALeyerMWynnMTFidgeCJter HofstedeAHMvan der AalstWMPMining resource profiles from event logsACM Trans. Manag. Inf. Syst.2017811:11:3010.1145/3041218 Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems Hompes, B.F.A., Maaradji, A., Rosa, M.L., Dumas, M., Buijs, J.C.A.M., van der Aalst, W.M.P.: Discovering causal factors explaining business process performance variation. In: CAiSE, pp. 177–192 (2017) Schönig, S., Ackermann, L., Jablonski, S.: DPIL navigator 2.0: multi-perspective declarative process execution. In: Online Proceedings of the BPM Demo Track. CEUR-WS.org (2017) Verbeek, E., Buijs, J., van Dongen, B., van der Aalst, W.: XES, xESame, and ProM 6. In: Information Systems Evolution, pp. 60–75 (2011) Rinderle-Ma, S., van der Aalst, W.M.: Life-cycle support for staff assignment rules in process-aware information systems. Technical Report TU/e (2007) Burattin, A., Sperduti, A., Veluscek, M.: Business models enhancement through discovery of roles. In: IEEE CIDM, pp. 103–110 (2013) RothWMBowenGMWhen are graphs worth ten thousand words? An expert–expert studyCogn. Instr.200321442947310.1207/s1532690xci2104\_3 Abrial, J.R.: Specification language. On the Construction of Programs (1980) ClarkeEMJrGrumbergOPeledDAModel Checking2000BerlinMIT Press1423.68002 ZhaoWZhaoXProcess mining from the organizational perspectiveAdv. Intell. Syst. Comput2014277701708 MendlingJNeumannGNüttgensMYet another event-driven process chain—modeling workflow patterns with yEPCsEnterp. Model. Inf. Syst. Archit. (EMISA)20051313 Schönig, S., Ciccio, C.D., Maggi, F.M., Mendling, J.: Discovery of multi-perspective declarative process models. In: Service-Oriented Computing—14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10–13, 2016, Proceedings, pp. 87–103 (2016) Bertino, E., Ferrari, E.: Data security. In: COMPSAC, pp. 228–239 (1998) van der AalstWvan HeeKWorkflow Management: Models, Methods, and Systems2004LondonMIT Press BaaderFCalvaneseDMcGuinnessDLNardiDPatel-SchneiderPFThe Description Logics Handbook: Theory, Implementations, and Applications2003CambridgeCambridge University Press1058.68107 Ackermann, L., Schönig, S., Jablonski, S.: Simulation of multi-perspective declarative process models. In: Business Process Management Workshops, pp. 61–73. Springer, Berlin (2016) KupfermanOVardiMYVacuity detection in temporal model checkingInt. J. Softw. Tools Technol. Transf.20034222423310.1007/s100090100062 AbrialJRAbrialJRThe B-Book: Assigning Programs to Meanings2005CambridgeCambridge University Press0915.68015 BertinoEFerrariEAtluriVThe specification and enforcement of authorization constraints in workflow management systemsACM Trans. Inf. Syst. Secur.199926510410.1145/300830.300837 OMG: BPMN 2.0. Recommendation, OMG (2011) Bjorner, D., Jones, CB, et al.: The Vienna development method: the meta-language (1978) SchönigSCabanillasCCiccioCDJablonskiSMendlingJMining team compositions for collaborative work in business processesJ. Softw. Syst. Model. (SoSyM)201511910.1007/s10270-016-0567-4 Ackermann, L., Schönig, S., Petter, S., Schützenmeier, N., Jablonski, S.: Execution of multi-perspective declarative process models, pp. 154–172 (2018). https://doi.org/10.1007/978-3-030-02671-4_9 Schönig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Efficient and customisable declarative process mining with SQL. In: CAiSE, pp. 290–305 (2016) WynnMTVerbeekHMWvan der AalstWMPter HofstedeAHMEdmondDBusiness process verification—finally a reality!Bus. Proc. Manag. J.2009151749210.1108/14637150910931479 SongMvan der AalstWMTowards comprehensive support for organizational miningDecis. Support Syst.200846130031710.1016/j.dss.2008.07.002 van DongenBFShabaniSRelational XES: data management for process miningCAiSE Forum20152015169176 Skydanienko, V., Di Francescomarino, C., Ghidini, C., Maggi, F.M.: A tool for generating event logs from multi-perspective declare models. In: BPM (Dissertation/Demos/Industry), pp. 111–115 (2018) Cabanillas, C., del Río-Ortega, A., Resinas, M., Cortés, A.R.: CRISTAL: collection of resource-centrIc supporting tools and languages. In: BPM (Demos), pp. 51–56. CEUR-WS.org (2012) Di CiccioCMecellaMOn the discovery of declarative control flows for Artful processesACM Trans. Manag. Inf. Syst.201554241243710.1145/2629447 Baumgrass, A.: Deriving current state RBAC models from event logs. In: Int. Conf. on Availability, Reliability and Security, pp. 667–672 (2011) 820_CR15 820_CR16 O Kupferman (820_CR31) 2003; 4 C Cabanillas (820_CR17) 2015; 52 820_CR55 820_CR13 J Mendling (820_CR35) 2005; 1 M Song (820_CR53) 2008; 46 JC Bose (820_CR11) 2013; 8094 820_CR51 820_CR52 820_CR10 F Baader (820_CR6) 2003 820_CR50 EM Clarke Jr (820_CR22) 2000 W Zhao (820_CR65) 2014; 277 820_CR8 820_CR7 820_CR5 820_CR4 820_CR3 820_CR1 820_CR46 820_CR47 D Jackson (820_CR29) 2012 WM Roth (820_CR44) 2003; 21 TT Hildebrandt (820_CR26) 2011; 69 M Montali (820_CR36) 2010; 4 820_CR43 A Burattin (820_CR12) 2016; 65 WMP van der Aalst (820_CR59) 2011 S Schönig (820_CR49) 2016; 89 A Pika (820_CR41) 2017; 8 MT Wynn (820_CR62) 2017; 100 MT Wynn (820_CR63) 2009; 15 S Schönig (820_CR48) 2015; 1 820_CR38 HSG Caballero (820_CR14) 2017; 308 820_CR39 820_CR33 M Dumas (820_CR24) 2018 JR Abrial (820_CR2) 2005 820_CR30 JH Larkin (820_CR32) 1987; 11 C Cabanillas (820_CR18) 2018; 12 C Di Ciccio (820_CR23) 2015; 5 CD Ciccio (820_CR21) 2017; 64 K Peffers (820_CR40) 2007; 24 M Reichert (820_CR42) 2009; 2 B Mora (820_CR37) 2011; 19 M Rovani (820_CR45) 2015; 42 M Strembeck (820_CR54) 2011; 53 820_CR27 BF van Dongen (820_CR57) 2015; 2015 820_CR25 W van der Aalst (820_CR58) 2009; 23 820_CR20 820_CR64 E Bertino (820_CR9) 1999; 2 820_CR60 W van der Aalst (820_CR56) 2004 820_CR61 820_CR19 J Mendling (820_CR34) 2009; 2 B Horling (820_CR28) 2004; 19 |
| References_xml | – reference: Bjorner, D., Jones, CB, et al.: The Vienna development method: the meta-language (1978) – reference: WynnMTVerbeekHMWvan der AalstWMPter HofstedeAHMEdmondDBusiness process verification—finally a reality!Bus. Proc. Manag. J.2009151749210.1108/14637150910931479 – reference: MontaliMPesicMvan der AalstWMPChesaniFMelloPStorariSDeclarative specification and verification of service choreographiesTWEB2010413:13:6210.1145/1658373.1658376 – reference: Baumgrass, A.: Deriving current state RBAC models from event logs. In: Int. Conf. on Availability, Reliability and Security, pp. 667–672 (2011) – reference: van DongenBFShabaniSRelational XES: data management for process miningCAiSE Forum20152015169176 – reference: Jin, T., Wang, J., Wen, L.: Organizational modeling from event logs. In: Int. Conf. on Grid and Cooperative Computing (GCC), pp. 670–675 (2007) – reference: OMG: BPMN 2.0. Recommendation, OMG (2011) – reference: Bertino, E., Ferrari, E.: Data security. In: COMPSAC, pp. 228–239 (1998) – reference: Eiglsperger, M., Siebenhaller, M., Kaufmann, M.: An efficient implementation of Sugiyama’s algorithm for layered graph drawing. In: Graph Drawing, pp. 155–166 (2005) – reference: CabanillasCResinasMdel Río-OrtegaARuiz-CortésASpecification and automated design-time analysis of the business process human resource perspectiveInf. Syst.201552558210.1016/j.is.2015.03.002 – reference: HildebrandtTTMukkamalaRRDeclarative event-based workflow as distributed dynamic condition response graphsElectron. Proc. Theor. Comput. Sci.201169597310.4204/EPTCS.69.5 – reference: HorlingBLesserVA survey of multi-agent organizational paradigmsKnowl. Eng. Rev.200419428131610.1017/S0269888905000317 – reference: American National Standards Institute, I.: Role-based access control. ANSI INCITS 359-2004 (2004). http://csrc.nist.gov/rbac – reference: StrembeckMMendlingJModeling process-related RBAC models with extended UML activity modelsInf. Softw. Technol.20115345648310.1016/j.infsof.2010.11.015 – reference: Schönig, S., Ackermann, L., Jablonski, S.: DPIL navigator 2.0: multi-perspective declarative process execution. In: Online Proceedings of the BPM Demo Track. CEUR-WS.org (2017) – reference: DumasMRosaMLMendlingJReijersHAFundamentals of Business Process Management20182BerlinSpringer10.1007/978-3-662-56509-4 – reference: Schönig, S., Rogge-Solti, A., Cabanillas, C., Jablonski, S., Mendling, J.: Efficient and customisable declarative process mining with SQL. In: CAiSE, pp. 290–305 (2016) – reference: JacksonDSoftware Abstractions: Logic, Language, and analysis2012LondonMIT Press – reference: Rinderle-Ma, S., van der Aalst, W.M.: Life-cycle support for staff assignment rules in process-aware information systems. Technical Report TU/e (2007) – reference: Cabanillas, C., Schönig, S., Sturm, C., Mendling, J.: Mining expressive and executable resource-aware imperative process models. In: Int. Conf. on Enterprise, Business-Process and Information Systems Modeling (BPMDS), vol. 318, pp. 3–18 (2018) – reference: SchönigSCabanillasCCiccioCDJablonskiSMendlingJMining team compositions for collaborative work in business processesJ. Softw. Syst. Model. (SoSyM)201511910.1007/s10270-016-0567-4 – reference: Ackermann, L., Schönig, S., Petter, S., Schützenmeier, N., Jablonski, S.: Execution of multi-perspective declarative process models, pp. 154–172 (2018). https://doi.org/10.1007/978-3-030-02671-4_9 – reference: van der AalstWPesicMSchonenbergHDeclarative workflows: balancing between flexibility and supportComput. Sci. R&D200923299113 – reference: Cabanillas, C., del Río-Ortega, A., Resinas, M., Cortés, A.R.: CRISTAL: collection of resource-centrIc supporting tools and languages. In: BPM (Demos), pp. 51–56. CEUR-WS.org (2012) – reference: van der AalstWvan HeeKWorkflow Management: Models, Methods, and Systems2004LondonMIT Press – reference: RothWMBowenGMWhen are graphs worth ten thousand words? An expert–expert studyCogn. Instr.200321442947310.1207/s1532690xci2104\_3 – reference: ReichertMRinderle-MaSDadamPFlexibility in process-aware information systemsTrans. Petri Nets Other Mod. Concurr.2009211513510.1007/978-3-642-00899-3\_71235.68319 – reference: Tan, K., Crampton, J., Gunter, C.A.: The consistency of task-based authorization constraints in workflow systems. In: IEEE Workshop on Computer Security Foundations, pp. 155–169 (2004) – reference: Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems – reference: BertinoEFerrariEAtluriVThe specification and enforcement of authorization constraints in workflow management systemsACM Trans. Inf. Syst. Secur.199926510410.1145/300830.300837 – reference: AbrialJRAbrialJRThe B-Book: Assigning Programs to Meanings2005CambridgeCambridge University Press0915.68015 – reference: PikaALeyerMWynnMTFidgeCJter HofstedeAHMvan der AalstWMPMining resource profiles from event logsACM Trans. Manag. Inf. Syst.2017811:11:3010.1145/3041218 – reference: SongMvan der AalstWMTowards comprehensive support for organizational miningDecis. Support Syst.200846130031710.1016/j.dss.2008.07.002 – reference: Ackermann, L., Schönig, S., Jablonski, S.: Simulation of multi-perspective declarative process models. In: Business Process Management Workshops, pp. 61–73. Springer, Berlin (2016) – reference: RovaniMMaggiFMde LeoniMvan der AalstWMDeclarative process mining in healthcareExpert Syst. Appl.201542239236925110.1016/j.eswa.2015.07.040 – reference: Burattin, A., Sperduti, A., Veluscek, M.: Business models enhancement through discovery of roles. In: IEEE CIDM, pp. 103–110 (2013) – reference: Di CiccioCMecellaMOn the discovery of declarative control flows for Artful processesACM Trans. Manag. Inf. Syst.201554241243710.1145/2629447 – reference: ClarkeEMJrGrumbergOPeledDAModel Checking2000BerlinMIT Press1423.68002 – reference: Skydanienko, V., Di Francescomarino, C., Ghidini, C., Maggi, F.M.: A tool for generating event logs from multi-perspective declare models. In: BPM (Dissertation/Demos/Industry), pp. 111–115 (2018) – reference: Verbeek, E., Buijs, J., van Dongen, B., van der Aalst, W.: XES, xESame, and ProM 6. In: Information Systems Evolution, pp. 60–75 (2011) – reference: BoseJCMaggiFMvan der AalstWEnhancing declare maps based on event correlationsBPM2013809497112 – reference: MoraBGarciaFRuizFPiattiniMGraphical versus textual software measurement modelling: an empirical studySoftw. Qual. J.20111920123310.1007/s11219-010-9111-x – reference: Nakatumba, J., van der Aalst, W.: Analyzing resource behavior using process mining. In: Business Process Management Workshops, pp. 69–80 (2010) – reference: Cabanillas, C.: Process- and resource-aware information systems. In: Int. Conf. on Enterprise Distributed Object Computing (EDOC), pp. 1–10 (2016) – reference: BaaderFCalvaneseDMcGuinnessDLNardiDPatel-SchneiderPFThe Description Logics Handbook: Theory, Implementations, and Applications2003CambridgeCambridge University Press1058.68107 – reference: MendlingJNeumannGNüttgensMYet another event-driven process chain—modeling workflow patterns with yEPCsEnterp. Model. Inf. Syst. Archit. (EMISA)20051313 – reference: Zeising, M., Schönig, S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: IEEE Int. Conf. on Collaborative Computing: Networking, Applications and Worksharing, pp. 94–103 (2014) – reference: Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: CAiSE, pp. 216–232 (2005) – reference: van der AalstWMPProcess Mining—Discovery, Conformance and Enhancement of Business Processes2011BerlinSpringer1216.68016 – reference: CaballeroHSGWestenbergMAVerbeekHMWvan der AalstWMPVisual analytics for soundness verification of process modelsBus. Process Manag. Workshops201730874475610.1007/978-3-319-74030-0_59 – reference: WynnMTPoppeEXuJter HofstedeAHMBrownRPiniAvan der AalstWMPProcessProfiler3D: a visualisation framework for log-based process performance comparisonDecis. Support Syst.20171009310810.1016/j.dss.2017.04.004 – reference: ZhaoWZhaoXProcess mining from the organizational perspectiveAdv. Intell. Syst. Comput2014277701708 – reference: CiccioCDMaggiFMMontaliMMendlingJResolving inconsistencies and redundancies in declarative process modelsInf. Syst.20176442544610.1016/j.is.2016.09.005 – reference: KupfermanOVardiMYVacuity detection in temporal model checkingInt. J. Softw. Tools Technol. Transf.20034222423310.1007/s100090100062 – reference: MendlingJEmpirical studies in process model verificationTrans. Petri Nets Other Models Concurr.2009220822410.1007/978-3-642-00899-3\_12 – reference: Maggi, F.M., Westergaard, M., Montali, M., van der Aalst, W.M.P.: Runtime verification of LTL-based declarative process models. In: Int. Conf. on Runtime Verification (RV)—Revised Selected Papers, vol. 7186, pp. 131–146 (2011). https://doi.org/10.1007/978-3-642-29860-8_11 – reference: PeffersKA design science research methodology for information systems researchJ. Manag. Inf. Syst.2007243457710.2753/MIS0742-1222240302 – reference: CabanillasCResinasMRuiz-CortésAA template-based approach for responsibility management in executable business processesEnterp. Inf. Syst.201812555058610.1080/17517575.2017.1390166 – reference: Schönig, S., Ciccio, C.D., Maggi, F.M., Mendling, J.: Discovery of multi-perspective declarative process models. In: Service-Oriented Computing—14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10–13, 2016, Proceedings, pp. 87–103 (2016) – reference: Abrial, J.R.: Specification language. On the Construction of Programs (1980) – reference: BurattinAMaggiFMSperdutiAConformance checking based on multi-perspective declarative process modelsExpert Syst. Appl.20166519421110.1016/j.eswa.2016.08.040 – reference: SchönigSCabanillasCJablonskiSMendlingJA framework for efficiently mining the organisational perspective of business processesDecis. Support Syst.201689879710.1016/j.dss.2016.06.012 – reference: LarkinJHSimonHAWhy a diagram is (sometimes) worth ten thousand wordsCogn. Sci.19871116510010.1016/S0364-0213(87)80026-5 – reference: Hompes, B.F.A., Maaradji, A., Rosa, M.L., Dumas, M., Buijs, J.C.A.M., van der Aalst, W.M.P.: Discovering causal factors explaining business process performance variation. In: CAiSE, pp. 177–192 (2017) – reference: Cabanillas, C., Knuplesch, D., Resinas, M., Reichert, M., Mendling, J., Ruiz-Cortés, A.: RALph: A graphical notation for resource assignments in business processes. In: CAiSE, vol. 9097, pp. 53–68. Springer, Berlin (2015) – volume-title: The Description Logics Handbook: Theory, Implementations, and Applications year: 2003 ident: 820_CR6 – volume: 24 start-page: 45 issue: 3 year: 2007 ident: 820_CR40 publication-title: J. Manag. Inf. Syst. doi: 10.2753/MIS0742-1222240302 – ident: 820_CR3 doi: 10.1007/978-3-319-58457-7_5 – ident: 820_CR39 – ident: 820_CR64 doi: 10.4108/icst.collaboratecom.2014.257269 – ident: 820_CR13 doi: 10.1109/CIDM.2013.6597224 – ident: 820_CR33 doi: 10.1007/978-3-642-29860-8_11 – volume: 1 start-page: 3 year: 2005 ident: 820_CR35 publication-title: Enterp. Model. Inf. Syst. Archit. (EMISA) – ident: 820_CR5 – ident: 820_CR1 – volume: 19 start-page: 201 year: 2011 ident: 820_CR37 publication-title: Softw. Qual. J. doi: 10.1007/s11219-010-9111-x – volume-title: The B-Book: Assigning Programs to Meanings year: 2005 ident: 820_CR2 – volume: 65 start-page: 194 year: 2016 ident: 820_CR12 publication-title: Expert Syst. Appl. doi: 10.1016/j.eswa.2016.08.040 – ident: 820_CR19 – volume: 1 start-page: 19 year: 2015 ident: 820_CR48 publication-title: J. Softw. Syst. Model. (SoSyM) doi: 10.1007/s10270-016-0567-4 – ident: 820_CR52 – ident: 820_CR27 doi: 10.1007/978-3-319-59536-8_12 – volume-title: Fundamentals of Business Process Management year: 2018 ident: 820_CR24 doi: 10.1007/978-3-662-56509-4 – ident: 820_CR38 doi: 10.1007/978-3-642-12186-9_8 – volume: 89 start-page: 87 year: 2016 ident: 820_CR49 publication-title: Decis. Support Syst. doi: 10.1016/j.dss.2016.06.012 – volume: 12 start-page: 550 issue: 5 year: 2018 ident: 820_CR18 publication-title: Enterp. Inf. Syst. doi: 10.1080/17517575.2017.1390166 – ident: 820_CR47 doi: 10.1007/978-3-319-58457-7_5 – ident: 820_CR10 doi: 10.1007/3-540-08766-4 – volume: 19 start-page: 281 issue: 4 year: 2004 ident: 820_CR28 publication-title: Knowl. Eng. Rev. doi: 10.1017/S0269888905000317 – ident: 820_CR60 doi: 10.1007/978-3-642-17722-4_5 – ident: 820_CR43 doi: 10.1016/j.dss.2006.11.005 – ident: 820_CR30 doi: 10.1109/GCC.2007.93 – volume: 2 start-page: 65 year: 1999 ident: 820_CR9 publication-title: ACM Trans. Inf. Syst. Secur. doi: 10.1145/300830.300837 – volume: 42 start-page: 9236 issue: 23 year: 2015 ident: 820_CR45 publication-title: Expert Syst. Appl. doi: 10.1016/j.eswa.2015.07.040 – volume: 8094 start-page: 97 year: 2013 ident: 820_CR11 publication-title: BPM – ident: 820_CR15 doi: 10.1109/EDOC.2016.7579383 – ident: 820_CR7 doi: 10.1109/ARES.2011.104 – volume: 100 start-page: 93 year: 2017 ident: 820_CR62 publication-title: Decis. Support Syst. doi: 10.1016/j.dss.2017.04.004 – volume: 46 start-page: 300 issue: 1 year: 2008 ident: 820_CR53 publication-title: Decis. Support Syst. doi: 10.1016/j.dss.2008.07.002 – volume-title: Process Mining—Discovery, Conformance and Enhancement of Business Processes year: 2011 ident: 820_CR59 doi: 10.1007/978-3-642-19345-3 – volume: 15 start-page: 74 issue: 1 year: 2009 ident: 820_CR63 publication-title: Bus. Proc. Manag. J. doi: 10.1108/14637150910931479 – volume: 2 start-page: 115 year: 2009 ident: 820_CR42 publication-title: Trans. Petri Nets Other Mod. Concurr. doi: 10.1007/978-3-642-00899-3\_7 – ident: 820_CR50 doi: 10.1007/978-3-319-46295-0_6 – volume: 21 start-page: 429 issue: 4 year: 2003 ident: 820_CR44 publication-title: Cogn. Instr. doi: 10.1207/s1532690xci2104\_3 – volume-title: Workflow Management: Models, Methods, and Systems year: 2004 ident: 820_CR56 – volume-title: Software Abstractions: Logic, Language, and analysis year: 2012 ident: 820_CR29 – volume: 23 start-page: 99 issue: 2 year: 2009 ident: 820_CR58 publication-title: Comput. Sci. R&D – volume: 4 start-page: 224 issue: 2 year: 2003 ident: 820_CR31 publication-title: Int. J. Softw. Tools Technol. Transf. doi: 10.1007/s100090100062 – ident: 820_CR4 doi: 10.1007/978-3-030-02671-4_9 – volume: 4 start-page: 3:1 issue: 1 year: 2010 ident: 820_CR36 publication-title: TWEB doi: 10.1145/1658373.1658376 – volume: 277 start-page: 701 year: 2014 ident: 820_CR65 publication-title: Adv. Intell. Syst. Comput doi: 10.1007/978-3-642-54924-3_66 – volume-title: Model Checking year: 2000 ident: 820_CR22 – volume: 8 start-page: 1:1 issue: 1 year: 2017 ident: 820_CR41 publication-title: ACM Trans. Manag. Inf. Syst. doi: 10.1145/3041218 – ident: 820_CR25 doi: 10.1007/978-3-540-31843-9_17 – ident: 820_CR20 doi: 10.1007/978-3-319-91704-7_1 – volume: 52 start-page: 55 year: 2015 ident: 820_CR17 publication-title: Inf. Syst. doi: 10.1016/j.is.2015.03.002 – volume: 69 start-page: 59 year: 2011 ident: 820_CR26 publication-title: Electron. Proc. Theor. Comput. Sci. doi: 10.4204/EPTCS.69.5 – volume: 64 start-page: 425 year: 2017 ident: 820_CR21 publication-title: Inf. Syst. doi: 10.1016/j.is.2016.09.005 – volume: 5 start-page: 241 issue: 4 year: 2015 ident: 820_CR23 publication-title: ACM Trans. Manag. Inf. Syst. doi: 10.1145/2629447 – ident: 820_CR16 doi: 10.1007/978-3-319-19069-3_4 – ident: 820_CR51 doi: 10.1007/978-3-319-39696-5_18 – volume: 2015 start-page: 169 year: 2015 ident: 820_CR57 publication-title: CAiSE Forum – volume: 308 start-page: 744 year: 2017 ident: 820_CR14 publication-title: Bus. Process Manag. Workshops doi: 10.1007/978-3-319-74030-0_59 – volume: 11 start-page: 65 issue: 1 year: 1987 ident: 820_CR32 publication-title: Cogn. Sci. doi: 10.1016/S0364-0213(87)80026-5 – volume: 53 start-page: 456 year: 2011 ident: 820_CR54 publication-title: Inf. Softw. Technol. doi: 10.1016/j.infsof.2010.11.015 – ident: 820_CR46 doi: 10.1007/11431855_16 – ident: 820_CR55 – ident: 820_CR61 – ident: 820_CR8 – volume: 2 start-page: 208 year: 2009 ident: 820_CR34 publication-title: Trans. Petri Nets Other Models Concurr. doi: 10.1007/978-3-642-00899-3\_12 |
| SSID | ssib004299466 ssj0027432 |
| Score | 2.2651787 |
| Snippet | Automated process discovery is a technique that extracts models of executed processes from event logs. Logs typically include information about the activities... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 1415 |
| SubjectTerms | Automation Compilers Computer Science Information Systems Applications (incl.Internet) Interpreters IT in Business Programming Languages Programming Techniques Software Engineering Software Engineering/Programming and Operating Systems Special Section Paper Verification |
| SummonAdditionalLinks | – databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwEA86ffDF-YnTKXnwTQNrkzTt4xCHD2OIH2M-lXwVBe1G2yn-9yZZujlRQd8KvYZyl9z9jsvvDoBTpWSiBGOIm2hhExSNkoxLJCTXigQqJI4LM-yzwSAejZJrTwor69vudUnSeepPZLfQDkkJLRPaxC3EVsEatd1mbI5-O1zysMSClHna5caUGWiToABHkafOfL_mcnhaYM4vZVIXfXrN__33Ftj0aBN2Z9tjG6zofAc060kO0B_sXfBgdgu86fYnj_DFsgGhgbKQT6uxwbNaQUvdtVc93yHPFTQP9n6RMykcZ7DwFQDE33ih4WRGPYBuxk65B-57l3cXV8gPXUASR7hChBtTEaa41Lb1PQtoJpmgQnPGKeayk2QRFdygwNjISao7WkYUU6UU0YEgeB808nGuDwDUpCMIYyoWkSJEhiLDcYyNcw2lDKnELRDUuk6l70huB2M8p4teylZ3qdFd6nSXshY4m38zmfXj-FW6XZsw9WezTA2gSQhhMQlb4Lw22eL1z6sd_k38CGyE1uqOuNgGjaqY6mOwLl-rp7I4cXv2Awxg5Fw priority: 102 providerName: Springer Nature |
| Title | The RALph miner for automated discovery and verification of resource-aware process models |
| URI | https://link.springer.com/article/10.1007/s10270-020-00820-7 https://www.proquest.com/docview/2449447842 |
| Volume | 19 |
| WOSCitedRecordID | wos000557136400001&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: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1619-1374 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0027432 issn: 1619-1366 databaseCode: RSV dateStart: 20020901 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB60evDiW6wvcvCmwW4em92TVFE8SCn1gXpZ8loUtK1tVfz3JmnWqqAXL8vCZsOy3yQzyeSbD2DXGJ0bJQSWzlv4BYrFeSk1VlpawxJDWODCXJ-LViu7ucnbccNtGI9VVnNimKhNT_s98gPnhnLGRMbIYf8Ze9Uon12NEhrTMJMQNwn7pKzAXxZcQaDMBTU5TmiaRtJMpM4RL7lCPK_aeUEsvjumSbT5I0Ea_M7pwn-_eBHmY8SJmmMTWYIp212GhUrNAcXBvQK3zmJQp3nev0dPnhGIXDiL5Muo52Jaa5Cn7_rjnu9Idg1yN_6MUYAV9Uo0iFkALN_kwKL-mH6Ags7OcBWuTk8uj89wFF7AmqZ0hJl0cDFhpLa-_L1IeKmF4spKITmVupGXKVfSRYKZa6e5bVidcsqNMcwmitE1qHV7XbsOyLKGYkKYTKWGMU1USbOMugmWaE24pnVIqr9e6FiV3ItjPBaTesoeqcIhVQSkClGHvc93-uOaHH-23qrgKeL4HBYTbOqwXwE8efx7bxt_97YJc8TbVCArbkFtNHix2zCrX0cPw8EOzBydtNqdnWCl7trmd-7aubj-AMZ17mw |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3JTuQwEC2xSXABBgbRrD7ACazpeImTA0KIRSB6WmgEiJlL8BaBBN1NL6D-Kb4R253QAxLcOHCLFMdK4ueqssuvHsCGMTo1SggsnbfwCxSL01xqrLS0hkWGsMCFuayJej25ukrPRuC55ML4Y5WlTQyG2jS13yP_5dxQyphIGNltPWCvGuWzq6WExgAWp7b_5JZsnZ2TAze-m4QcHZ7vH-NCVQBrGtMuZtK9CxNGautru4uI51oorqwUklOpq2kecyVdmJO4dprbqtUxp9wYw2ykGHX9jsI4Y6TqFRPO-L__FnhBEM0FUSmOaBwXJJ2Cqke8xAvxPG7ndbF46wiH0e27hGzwc0cz3-0PzcJ0EVGjvcEU-AEjtjEHM6VaBSqM1zz8dTMC_dmrtW7QvWc8IheuI9nrNl3Mbg3y9GR_nLWPZMMgd-HPUAXYomaO2kWWA8sn2baoNaBXoKAj1PkJF1_ygQsw1mg27CIgy6qKCWESFRvGNFE5TRLqHAjRmnBNKxCVo5zpouq6F_-4y4b1oj0yMoeMLCAjExXYen2mNag58mnrlRIOWWF_OtkQCxXYLgE1vP1xb0uf97YOk8fnv2tZ7aR-ugxTxOM5EDNXYKzb7tlVmNCP3dtOey3MDATXXw20F6-RS4I |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3PT9swFH6CgtAuMNjQCmz4ACewaGwnTg7TxIAKRFVVCBA7Zf4VgQRtaQuIf42_bs-ps8KkcePALVISK4k_vx_x-94HsGGtyayWkir0Fj5BcTQrlKHaKGdFZJkouTDnLdlupxcXWWcKnioujC-rrGxiaahtz_h_5DvohjIhZCrYThHKIjr7zR_9W-oVpPxOayWnMYbIsXt8wPRt-P1oH-d6k7HmweneIQ0KA9TwhI-oUPhcQlplnO_zLqO4MFLH2impYq5MIyuSWCsMeVK8zsSu4UwS89haK1ykBcdxp2FGckx6ajDz86DdOXmW7pXyaBhSZTTiSRIoO4G4x7zgC_OsbvTBVL50i5NY95_t2dLrNRfe8_f6CPMh1ia748WxCFOuuwQLlY4FCWbtE_zCtUJOdlv9S3LjuZAEA3mi7kY9jOadJZ647AtdH4nqWoIHvrqqBDTpFWQQ9j-oelADR_pj4gUpFYaGn-HsTV5wGWrdXtd9AeJEQwspbaoTK4RhuuBpytG1MGNYbHgdomrGcxP6sXtZkOt80knaoyRHlOQlSnJZh62_9_TH3UhevXqtgkYeLNMwn-CiDtsVuCan_z_ayuujrcMc4itvHbWPV-ED89AuGZtrUBsN7txXmDX3o6vh4FtYJgR-vzXS_gCG41WD |
| 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=The+RALph+miner+for+automated+discovery+and+verification+of+resource-aware+process+models&rft.jtitle=Software+and+systems+modeling&rft.au=Cabanillas%2C+Cristina&rft.au=Ackermann%2C+Lars&rft.au=Sch%C3%B6nig%2C+Stefan&rft.au=Sturm%2C+Christian&rft.date=2020-11-01&rft.pub=Springer+Nature+B.V&rft.issn=1619-1366&rft.eissn=1619-1374&rft.volume=19&rft.issue=6&rft.spage=1415&rft.epage=1441&rft_id=info:doi/10.1007%2Fs10270-020-00820-7&rft.externalDBID=HAS_PDF_LINK |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1619-1366&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1619-1366&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1619-1366&client=summon |