{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T16:59:01Z","timestamp":1781369941859,"version":"3.54.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,1,24]],"date-time":"2015-01-24T00:00:00Z","timestamp":1422057600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10270-015-0453-5","type":"journal-article","created":{"date-parts":[[2015,1,23]],"date-time":"2015-01-23T16:58:45Z","timestamp":1422032325000},"page":"1207-1233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Supporting different process views through a Shared Process Model"],"prefix":"10.1007","volume":"15","author":[{"given":"Jochen","family":"K\u00fcster","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u00e9dric","family":"Favre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mois\u00e9s Castelo","family":"Branco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,1,24]]},"reference":[{"key":"453_CR1","unstructured":"Recker, J., Mendling, J.: On the translation between bpmn and bpel: conceptual mismatch between process modeling languages. In: Proceedings of 11th International Workshop on Exploring Modeling Methods in Systems Analysis and Design, 2006"},{"key":"453_CR2","doi-asserted-by":"crossref","unstructured":"Branco, M.C., Xiong, Y., Czarnecki, K., K\u00fcster, J., V\u00f6lzer, H.: A case study on consistency management of business and IT process models in banking. Software and Systems Modeling, March 2013","DOI":"10.1007\/s10270-013-0318-8"},{"key":"453_CR3","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Barros, A.P., Mendling, J., Weske, M.: Vertical alignment of process models\u2014how can we get there? In: Proceedings of Enterprise, Business-Process and Information Systems Modeling, 10th International Workshop, BPMDS 2009, ser. Lecture Notes in Business Information Processing, vol. 29, pp. 71\u201384. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01862-6_7"},{"key":"453_CR4","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Decker, G., Weske, M., Barros, A.: Towards vertical alignment of process models\u2014a collection of mismatches. Hasso Plattner Institute, Tech. Rep., 2008. [Online]. http:\/\/bpt.hpi.uni-potsdam.de\/pub\/Public\/MatthiasWeidlich\/collection_of_mismatches.pdf","DOI":"10.1007\/978-3-642-01862-6_7"},{"key":"453_CR5","doi-asserted-by":"crossref","unstructured":"De Castro, V., Marcos, E., Wieringa, R.: Towards a service-oriented MDA-based approach to the alignment of business processes with it systems: from the business model to a web service composition model. Int. J. Coop. Inf. Syst. 18(2), 225\u2013260 (2009). [Online]. http:\/\/doc.utwente.nl\/68172\/","DOI":"10.1142\/S0218843009002038"},{"key":"453_CR6","doi-asserted-by":"crossref","unstructured":"Luftman, J., Papp, R., Brier, T.: Enablers and inhibitors of business-IT alignment. Commun. AIS, vol. 1, March 1999. [Online]. http:\/\/portal.acm.org\/citation.cfm?id=374122.374123","DOI":"10.17705\/1CAIS.00111"},{"key":"453_CR7","doi-asserted-by":"crossref","unstructured":"Herrmannsdoerfer, M., Benz, S., J\u00fcrgens, E.: Cope - automating coupled evolution of metamodels and models. In: Drossopoulou, S. (ed.) ECOOP, ser. Lecture Notes in Computer Science, vol. 5653, pp. 52\u201376. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03013-0_4"},{"key":"453_CR8","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"453_CR9","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Proceedings of the 3rd international summer school conference on generative and transformational techniques in software engineering III, ser. GTTSE\u201909, pp. 92\u2013165. Springer, Berlin (2011). [Online]. http:\/\/portal.acm.org\/citation.cfm?id=1949925.1949929","DOI":"10.1007\/978-3-642-18023-1_3"},{"key":"453_CR10","doi-asserted-by":"publisher","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the first international workshop on model-driven interoperability, ser. MDI \u201910, pp. 42\u201351. ACM, New York (2010). [Online]. doi: 10.1145\/1866272.1866279","DOI":"10.1145\/1866272.1866279"},{"key":"453_CR11","first-page":"484","volume-title":"ICSOC, ser. Lecture Notes in Computer Science","author":"J Kolb","year":"2012","unstructured":"Kolb, J., Kammerer, K., Reichert, M.: Updatable process views for user-centered adaption of large process models. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC, ser. Lecture Notes in Computer Science, vol. 7636, pp. 484\u2013498. Springer, Berlin (2012)"},{"key":"453_CR12","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., V\u00f6lzer, H., Favre, C., Branco, M.C., Czarnecki, K.: Supporting different process views through a shared process model. In: 9th European Conference on Modelling Foundations and Applications, ECMFA, 2013, pp. 20\u201336","DOI":"10.1007\/978-3-642-39013-5_3"},{"key":"453_CR13","doi-asserted-by":"crossref","unstructured":"Tran, H., Zdun, U., Dustdar, S.: View-based integration of process-driven SOA models at various abstraction levels. In: Kutsche, R.-D., Milanovic, N. (eds.) 1st International Workshop on Model-Based Software and Data Integration. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78999-4_7"},{"issue":"4","key":"453_CR14","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/s10270-009-0145-0","volume":"9","author":"S Winkler","year":"2010","unstructured":"Winkler, S., von Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. Softw. Syst. Model. 9(4), 529\u2013565 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"453_CR15","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621\u2013645 (2006)","journal-title":"IBM Syst. J."},{"key":"453_CR16","doi-asserted-by":"crossref","unstructured":"Branco, M., Troya, J., Czarnecki, K., K\u00fcster, J.M., V\u00f6lzer, H.: Matching business process workflows across abstraction levels. In: France, R. B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MoDELS, ser. Lecture Notes in Computer Science, vol. 7590, pp. 626\u2013641. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_40"},{"key":"453_CR17","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioural profiles of process models. IEEE Transactions on Software Engineering, vol. 99, no. PrePrints (2010)"},{"key":"453_CR18","unstructured":"Bergstra, J.A.: The Linear time \u2014 branching time spectrum I. The semantics of concrete, sequential processes. In: Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, Chap. 1. Elsevier Science Inc., New York (2001)"},{"key":"453_CR19","doi-asserted-by":"crossref","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007, ser. LNCS, pp. 43\u201355. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74974-5_4"},{"key":"453_CR20","first-page":"244","volume-title":"BPM\u201908, ser. LNCS","author":"JM K\u00fcster","year":"2008","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M. (eds.) BPM\u201908, ser. LNCS, vol. 5240, pp. 244\u2013260. Springer, Berlin (2008)"},{"key":"453_CR21","unstructured":"Favre, C., K\u00fcster, J., V\u00f6lzer, H.: Recorded demo of shared process model prototype. http:\/\/researcher.ibm.com\/view_project.php?id=3210"},{"key":"453_CR22","unstructured":"OMG, Business process model and notation (BPMN) version 2.0, omg document number dtc\/2010-05-03, Tech. Rep., 2010"},{"key":"453_CR23","unstructured":"Branco, M.C., Wider, A.: Generating preliminary edit lenses from automatic pattern discovery in business process modeling. In: CAiSE Forum, 2013, pp. 65\u201372"},{"key":"453_CR24","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: MoDELS, ser. Lecture Notes in Computer Science, vol. 6981, pp. 304\u2013318. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"453_CR25","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Symmetric lenses. In: POPL. ACM, pp. 371\u2013384 (2011)","DOI":"10.1145\/1926385.1926428"},{"key":"453_CR26","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ruscio, D.D., Pierantonio, A.: Managing dependent changes in coupled evolution. In: Paige, R.F. (ed.) ICMT, ser. Lecture Notes in Computer Science, vol. 5563, pp. 35\u201351. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02408-5_4"},{"key":"453_CR27","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Ciccozzi, F., Leveque, T.: A solution for concurrent versioning of metamodels and models. J. Object Technol. 11(3), 1\u201332 (2012)","DOI":"10.5381\/jot.2012.11.3.a1"},{"key":"453_CR28","doi-asserted-by":"crossref","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. In: ESEC, ser. Lecture Notes in Computer Science, vol. 717, pp. 84\u201399. Springer, Berlin (1993)","DOI":"10.1007\/3-540-57209-0_7"},{"key":"453_CR29","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: ICSE 2006, pp. 381\u2013390. ACM, New York (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"453_CR30","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Dijkman, R., Mendling, J.: The ICoP framework: identification of correspondences between process models. In: CAiSE, ser. LNCS, vol. 6051, pp. 483\u2013498. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13094-6_37"},{"key":"453_CR31","unstructured":"Buchwald, S., Bauer, T., Reichert, M.: Bridging the gap between business process models and service composition specifications. Methods, Trends and Advances, Int\u2019l Handbook on Service Life Cycle Tools and Technologies (2011)"},{"key":"453_CR32","doi-asserted-by":"crossref","unstructured":"Werth, D., Leyking, K., Dreifus, F., Ziemann, J., Martin, A.: Managing SOA through business services\u2014a business-oriented approach to service-oriented architectures. In: ICSOC Workshops, ser. Lecture Notes in Computer Science, vol. 4652, pp. 3\u201313. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-75492-3_1"},{"key":"453_CR33","doi-asserted-by":"crossref","unstructured":"Thomas, O., Leyking, K., Dreifus, F.: Using process models for the design of service-oriented architectures: methodology and e-commerce case study. In: HICSS. IEEE Computer Society, 2008, p. 109","DOI":"10.1109\/HICSS.2008.486"},{"key":"453_CR34","doi-asserted-by":"crossref","unstructured":"Schumm, D., Leymann, F., Streule, A.: Process viewing patterns. In: EDOC. IEEE Computer Society, 2010, pp. 89\u201398","DOI":"10.1109\/EDOC.2010.16"},{"key":"453_CR35","unstructured":"Branco, M., Xiong, Y., Czarnecki, K., K\u00fcster, J., V\u00f6lzer, H.: An empirical study on consistency management of business and IT process models\u201d, Generative Software Development Laboratory, University of Waterloo, Technical Report GSDLAB-TR 2012\u201303-22, 2012, accepted for publication in Software and Systems Modeling, draft available at http:\/\/gsd.uwaterloo.ca\/reportstudybpm"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0453-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-015-0453-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0453-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-015-0453-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T11:43:10Z","timestamp":1651059790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-015-0453-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,24]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["453"],"URL":"https:\/\/doi.org\/10.1007\/s10270-015-0453-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,24]]}}}