{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T14:10:12Z","timestamp":1716646212299},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Data Semant"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s13740-014-0039-3","type":"journal-article","created":{"date-parts":[[2014,3,31]],"date-time":"2014-03-31T08:58:50Z","timestamp":1396256330000},"page":"59-78","source":"Crossref","is-referenced-by-count":3,"title":["Consistent Abstraction of Business Processes Based on Constraints"],"prefix":"10.1007","volume":"4","author":[{"given":"Shamila","family":"Mafazi","sequence":"first","affiliation":[]},{"given":"Georg","family":"Grossmann","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Schrefl","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,1]]},"reference":[{"issue":"12","key":"39_CR1","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W Aalst van der","year":"2002","unstructured":"van der Aalst W, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theor Comput Sci 270(12):125\u2013203","journal-title":"Theor Comput Sci"},{"issue":"6","key":"39_CR2","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1016\/j.is.2011.08.004","volume":"37","author":"WMP Aalst van der","year":"2012","unstructured":"van der Aalst WMP, Lohmann N, La Rosa M (2012) Ensuring correctness during process configuration via partner synthesis. Inf Syst 37(6):574\u2013592","journal-title":"Inf Syst"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Bobrik R, Reichert M, Bauer T (2007) View-based process visualization. In: Proc., BPM. Springer, Berlin, pp 88\u201395","DOI":"10.1007\/978-3-540-75183-0_7"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Cardoso J, Sheth A, Miller J, Arnold J, Kochut K (2004) Quality of service for workflows and web service processes. Web Semant Sci Serv Agents World Wide Web 1(3):281\u2013308","DOI":"10.1016\/j.websem.2004.03.001"},{"issue":"12","key":"39_CR5","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman RM, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inf Softw Technol 50(12):1281\u20131294","journal-title":"Inf Softw Technol"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999a) Patterns in property specifications for finite-state verification. In: ICSE, ACM, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999b) Patterns in property specifications for finite-state verification. In: Proceedings of the 21st international conference on software engineering. ACM, ICSE, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"39_CR8","unstructured":"Ehrig M, Koschmider A, Oberweis A (2007) Measuring similarity between semantic business process models. In: Proceedings of APCCM, CRPIT, vol 67. Australian Computer Society Inc, Darlinghurst, pp 71\u201380"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Fahland D, van der Aalst W (2011) Simplifying mined process models: an approach based on unfoldings. In: Proceedings of BPM 2011, LNCS, vol 6896. Springer, Berlin, pp 362\u2013378","DOI":"10.1007\/978-3-642-23059-2_27"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Gottschalk F, Wagemakers T, Jansen-Vullers M, van der Aalst W, La Rosa M (2009) Configurable process models: experiences from a municipality case study. In: CAiSE, LNCS, vol 5565. Springer, Berlin, pp 486\u2013500","DOI":"10.1007\/978-3-642-02144-2_38"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Grossmann G, Jordan A, Muruganandha R, Selway M, Stumptner M (2013) Enabling information interoperability through multi-domain modeling. In: PRET, LNBIP, vol 151. Springer, Berlin, pp 16\u201333","DOI":"10.1007\/978-3-642-38774-6_2"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"G\u00fcnther CW, van der Aalst WM (2007) Fuzzy mining adaptive process simplification based on multi-perspective metrics. In: BPM, LNCS, vol 4714. Springer, Berlin, pp 328\u2013343","DOI":"10.1007\/978-3-540-75183-0_24"},{"issue":"3","key":"39_CR13","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSMCC.2008.919178","volume":"38","author":"R Hauser","year":"2008","unstructured":"Hauser R, Friess M, Kuster J, Vanhatalo J (2008) An incremental approach to the analysis and transformation of workflows using region trees. IEEE Trans Syst Man Cybern 38(3):347\u2013359","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Jensen K, Rozenberg G (1991) High-level Petri nets: theory and applications. Springer, Berlin","DOI":"10.1007\/978-3-642-84524-6"},{"key":"39_CR15","unstructured":"Keller G, N\u00fcttgens M, AW S (1992) Semantische processmodellierung auf der grundlage ereignisgesteuerter processketten (epk). Tech. rep., Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbr\u00fccken"},{"key":"39_CR16","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M Rosa La","year":"2009","unstructured":"La Rosa M, van der Aalst W, Dumas M, ter Hofstede A (2009) Questionnaire-based variability modeling for system configuration. Softw Syst Model 8:251\u2013274","journal-title":"Softw Syst Model"},{"key":"39_CR17","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/j.is.2010.07.001","volume":"36","author":"M Rosa La","year":"2011","unstructured":"La Rosa M, Dumas M, ter Hofstede AH, Mendling J (2011a) Configurable multi-perspective business process models. Inf Syst 36:313\u2013340","journal-title":"Inf Syst"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"La Rosa M, ter Hofstede AHM, Wohed P, Reijers HA, Mendling J, van der Aalst WMP (2011b) Managing process model complexity via concrete syntax modifications. IEEE Trans Ind Inform 7(2):255\u2013265","DOI":"10.1109\/TII.2011.2124467"},{"key":"39_CR19","unstructured":"Lin H, Zhao Z, Li H, Chen Z (2002) A novel graph reduction algorithm to identify structural conflicts. In: System sciences, HICSS. p 289"},{"key":"39_CR20","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/S0306-4379(02)00028-5","volume":"28","author":"DR Liu","year":"2003","unstructured":"Liu DR, Shen M (2003) Workflow modeling for virtual processes: an order-preserving process-view approach. Inf Syst 28:505\u2013532","journal-title":"Inf Syst"},{"key":"39_CR21","unstructured":"Mafazi S, Mayer W, Grossmann G, Stumptner M (2012) A knowledge-based approach to the configuration of business process model abstractions. In: International workshop on knowledge-intensive business processes"},{"key":"39_CR22","unstructured":"Malone TW, Crowston K, Herman GA (eds) (2003) Organizing business knowledge: The MIT Process Handbook. The MIT Press, Cambridge"},{"issue":"2","key":"39_CR23","first-page":"145","volume":"25","author":"W Mayer","year":"2011","unstructured":"Mayer W, Killisperger P, Stumptner M, Grossmann G (2011) A declarative framework for work process configuration. AI EDAM 25(2):145\u2013165","journal-title":"AI EDAM"},{"key":"39_CR24","unstructured":"OMG (2011) Business process model and notation (bpmn) version 2.0. Tech. rep., OMG, http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF\/"},{"key":"39_CR25","unstructured":"Pankratius V, Stucky W (2005) A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets. In: APCCM, ACS, pp 79\u201388"},{"key":"39_CR26","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, Smirnov S, Weske M (2008a) Process model abstraction: a slider approach. In: EDOC, IEEE, pp 325\u2013331","DOI":"10.1109\/EDOC.2008.17"},{"key":"39_CR27","unstructured":"Polyvyanyy A, Smirnov S, Weske M (2008b) Reducing complexity of large epcs. In: MobIS, pp 195\u2013207"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, Smirnov S, Weske M (2010) Business process model abstraction. In: Handbook on business process management, vol 1. Springer, Berlin, pp 149\u2013166","DOI":"10.1007\/978-3-642-00416-2_7"},{"key":"39_CR29","doi-asserted-by":"crossref","unstructured":"Polyvyanyy A, Weidlich M, Weske M (2012) Isotactics as a foundation for alignment and abstraction of behavioral models. In: BPM, LNCS, vol 7481. Springer, Berlin, pp 335\u2013351","DOI":"10.1007\/978-3-642-32885-5_26"},{"key":"39_CR30","doi-asserted-by":"crossref","unstructured":"Reichert M, Kolb J, Bobrik R, Bauer T (2012) Enabling personalized visualization of large business processes through parameterizable views. In: SAC\u201912, ACM, pp 1653\u20131660","DOI":"10.1145\/2245276.2232043"},{"key":"39_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M Rosemann","year":"2007","unstructured":"Rosemann M, van der Aalst W (2007) A configurable reference modelling language. Inf Syst 32:1\u201323","journal-title":"Inf Syst"},{"issue":"2","key":"39_CR32","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W Sadiq","year":"2000","unstructured":"Sadiq W, Orlowska ME (2000) Analyzing process models using graph reduction techniques. Inf Syst 25(2):117\u2013134","journal-title":"Inf Syst"},{"key":"39_CR33","doi-asserted-by":"crossref","unstructured":"Schrefl M, Stumptner M (2000) On the design of behavior consistent specializations of object life cycles in OBD and UML. In: Advances in object-oriented data modeling. IEEE Press, pp 65\u2013104","DOI":"10.7551\/mitpress\/1131.003.0008"},{"issue":"1","key":"39_CR34","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M Schrefl","year":"2002","unstructured":"Schrefl M, Stumptner M (2002) Behavior-consistent specialization of object life cycles. ACM TOSEM 11(1):92\u2013148","journal-title":"ACM TOSEM"},{"key":"39_CR35","doi-asserted-by":"crossref","unstructured":"Smirnov S, Dijkman R, Mendling J, Weske M (2010) Meronymy-based aggregation of activities in business process models. In: Proceedings of ER, pp 1\u201314","DOI":"10.1007\/978-3-642-16373-9_1"},{"key":"39_CR36","doi-asserted-by":"crossref","unstructured":"Smirnov S, Weidlich M, Mendling J (2010b) Business process model abstraction based on behavioral profiles. In: Proc. of ICSOC, LNCS, vol 6470. Springer, Berlin, pp 1\u201316","DOI":"10.1007\/978-3-642-17358-5_1"},{"key":"39_CR37","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s10619-011-7088-5","volume":"30","author":"S Smirnov","year":"2012","unstructured":"Smirnov S, Reijers H, Weske M, Nugteren T (2012a) Business process model abstraction: a definition, catalog, and survey. Distrib Parallel Databases 30:63\u201399","journal-title":"Distrib Parallel Databases"},{"issue":"8","key":"39_CR38","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1016\/j.is.2012.05.007","volume":"37","author":"S Smirnov","year":"2012","unstructured":"Smirnov S, Reijers HA, Weske M (2012b) From fine-grained to abstract process models: a semantic approach. Inf Syst 37(8):784\u2013797","journal-title":"Inf Syst"},{"key":"39_CR39","doi-asserted-by":"crossref","unstructured":"Smirnov S, Weidlich M, Mendling J (2012c) Business process model abstraction based on synthesis from well-structured behavioral profiles. In: Proceedings of CoopIS, vol 21, pp 55\u201383","DOI":"10.1142\/S0218843012400035"}],"container-title":["Journal on Data Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-014-0039-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13740-014-0039-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-014-0039-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T13:54:01Z","timestamp":1716645241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13740-014-0039-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["39"],"URL":"https:\/\/doi.org\/10.1007\/s13740-014-0039-3","relation":{},"ISSN":["1861-2032","1861-2040"],"issn-type":[{"value":"1861-2032","type":"print"},{"value":"1861-2040","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}