{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:28:43Z","timestamp":1772044123647,"version":"3.50.1"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T00:00:00Z","timestamp":1513123200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T00:00:00Z","timestamp":1513123200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"iCyPhy (Industrial Cyber-Physical Systems) Research Center"},{"DOI":"10.13039\/501100002341","name":"Academy of Finland","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002341","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10270-017-0638-1","type":"journal-article","created":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T14:32:56Z","timestamp":1513175576000},"page":"1577-1611","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Basic problems in multi-view modeling"],"prefix":"10.1007","volume":"18","author":[{"given":"Jan","family":"Reineke","sequence":"first","affiliation":[]},{"given":"Christos","family":"Stergiou","sequence":"additional","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,13]]},"reference":[{"key":"638_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"638_CR2","doi-asserted-by":"crossref","unstructured":"Amaral, V., Hardebolle, C., Karsai, G., Lengyel, L., Levendovszky, T.: Recent advances in multi-paradigm modeling. In: MODELS, pp. 220\u2013224. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_21"},{"key":"638_CR3","unstructured":"Amaral, V., Hardebolle, C., Vangheluwe, H., Lengyel, L., Bunus, P.: Recent advances in multi-paradigm modeling. Electron. Commun. EASST. 50, 10 (2011)"},{"key":"638_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: FMCO, pp. 200\u2013225. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"638_CR5","doi-asserted-by":"crossref","unstructured":"Bhave, A., Krogh, B.H., Garlan, D., Schmerl, B.: View consistency in architectures for cyber-physical systems. In: ICCPS 2011, pp. 151\u2013160 (2011)","DOI":"10.1109\/ICCPS.2011.17"},{"key":"638_CR6","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: ICSE, pp. 511\u2013520 (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"638_CR7","doi-asserted-by":"crossref","unstructured":"Broman, D., Lee, E.A., Tripakis, S., T\u00f6rngren, M.: Viewpoints, formalisms, languages, and tools for cyber-physical systems. In: MPM (2012)","DOI":"10.1145\/2508443.2508452"},{"key":"638_CR8","doi-asserted-by":"crossref","unstructured":"Broy, M.: Multi-view modeling of software systems. In: Formal Methods at the Crossroads, Volume 2757 of LNCS, pp. 207\u2013225. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-40007-3_14"},{"key":"638_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-34874-3_4","volume-title":"Interactive Computation","author":"M Broy","year":"2006","unstructured":"Broy, M.: A theory of system interaction: components, interfaces, and services. In: Goldin, Dina, Smolka, Scott\u00a0A, Wegner, Peter (eds.) Interactive Computation, pp. 41\u201396. Springer, Berlin (2006)"},{"key":"638_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M.: Software and system modeling: structured multi-view modeling, specification, design and implementation. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 309\u2013372 (2012)","DOI":"10.1007\/978-1-4471-2297-5_14"},{"key":"638_CR11","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL, pp. 269\u2013282. ACM, New York (1979)","DOI":"10.1145\/567752.567778"},{"key":"638_CR12","doi-asserted-by":"crossref","unstructured":"Diethers, K., Huhn, M.: Vooduu: verification of object-oriented designs using UPPAAL. In: Jensen, K., Podelski, A. (eds.) TACAS, Volume 2988 of LNCS, pp. 139\u2013143. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24730-2_10"},{"key":"638_CR13","unstructured":"Dijkman, R.M.: Consistency in Multi-Viewpoint Architectural Design. Ph.D. thesis, University of Twente (2006)"},{"key":"638_CR14","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT, pp. 79\u201388 (2008)","DOI":"10.1145\/1450058.1450070"},{"key":"638_CR15","doi-asserted-by":"crossref","unstructured":"Easterbrook, S., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE \u201901, pp. 411\u2013420, IEEE Computer Society, Washington, DC (2001)","DOI":"10.1109\/ICSE.2001.919114"},{"key":"638_CR16","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 99\u2013108 (2008)","DOI":"10.1109\/ASE.2008.20"},{"issue":"8","key":"638_CR17","first-page":"569","volume":"20","author":"A Finkelstein","year":"1994","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE TSE 20(8), 569\u2013578 (1994)","journal-title":"IEEE TSE"},{"key":"638_CR18","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman, New York (1979)"},{"key":"638_CR19","doi-asserted-by":"crossref","unstructured":"Getir, S., Grunske, L., Bernasko, C.\u00a0K., K\u00e4fer, V., Sanwald, T., Tichy, M.: CoWolf\u2014a generic framework for multi-view co-evolution and evaluation of models. In: 8th International Conference on Theory and Practice of Model Transformations, ICMT, pp. 34\u201340 (2015)","DOI":"10.1007\/978-3-319-21155-8_3"},{"key":"638_CR20","doi-asserted-by":"crossref","unstructured":"Granger, P.: Improving the results of static analyses of programs by local decreasing iterations. In: Shyamasundar, R. (eds.) Foundations of software technology and theoretical computer science. FSTTCS 1992. Lecture notes in computer science, vol. 652, pp 68\u201379. Springer, Berlin, Heidelberg (1992)","DOI":"10.1007\/3-540-56287-7_95"},{"issue":"11","key":"638_CR21","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/32.730545","volume":"24","author":"J Grundy","year":"1998","unstructured":"Grundy, J., Hosking, J., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng. 24(11), 960\u2013981 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"638_CR22","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Nickovic, D.: Independent implementability of viewpoints. In: Monterey Workshop, Volume 7539 of LNCS, pp. 380\u2013395. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34059-8_20"},{"key":"638_CR23","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1016\/j.procs.2014.03.044","volume":"28","author":"SJI Herzig","year":"2014","unstructured":"Herzig, S.J.I., Qamar, A., Paredis, C.J.J.: An approach to identifying inconsistencies in model-based systems engineering. Proc. Comput. Sci. 28, 354\u2013362 (2014)","journal-title":"Proc. Comput. Sci."},{"key":"638_CR24","volume-title":"The Spin Model Checker","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker. Addison-Wesley, Reading (2003)"},{"key":"638_CR25","unstructured":"ISO\/IEC\/IEEE 42010:2011. Systems and software engineering\u2014Architecture description, the latest edition of the original IEEE Std 1471:2000, Recommended Practice for Architectural Description of Software-intensive Systems. IEEE and ISO (2011)"},{"key":"638_CR26","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Structuring Z Specifications with Views. Technical Report CMU-CS-94-126. CMU (1994)","DOI":"10.21236\/ADA277618"},{"issue":"1","key":"638_CR27","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10270-013-0315-y","volume":"14","author":"EK Jackson","year":"2015","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Automatically reasoning about metamodeling. Softw. Syst. Model. 14(1), 271\u2013285 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"638_CR28","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10270-008-0105-0","volume":"8","author":"EK Jackson","year":"2009","unstructured":"Jackson, E.K., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Softw. Syst. Model. 8(4), 451\u2013478 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"10","key":"638_CR29","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/32.729683","volume":"24","author":"M Jackson","year":"1998","unstructured":"Jackson, M., Zave, P.: Distributed feature composition: a virtual architecture for telecommunications services. IEEE Trans. Softw. Eng. 24(10), 831\u2013847 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4749","key":"638_CR30","doi-asserted-by":"publisher","first-page":"5010","DOI":"10.1016\/j.tcs.2009.07.049","volume":"410","author":"J-Y Kao","year":"2009","unstructured":"Kao, J.-Y., Rampersad, N., Shallit, J.: On NFAs where all states are final, initial, or both. Theor. Comput. Sci. 410(4749), 5010\u20135021 (2009)","journal-title":"Theor. Comput. Sci."},{"issue":"12","key":"638_CR31","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., Toval, A.: A systematic review of UML model consistency management. Inf. Softw. Technol. 51(12), 1631\u20131645 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"638_CR32","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Semantically configurable consistency analysis for class and object diagrams. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) Model driven engineering languages and systems. MODELS 2011. Lecture notes in computer science, vol. 6981, pp. 153\u2013167. Springer, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-24485-8_12"},{"key":"638_CR33","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Verifying component and connector models against crosscutting structural views. In: ICSE, pp. 95\u2013105. ACM, New York (2014)","DOI":"10.1145\/2568225.2568237"},{"key":"638_CR34","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: 29th International Conference on Software Engineering (ICSE\u201907), pp. 54\u201364, May 2007","DOI":"10.1109\/ICSE.2007.50"},{"key":"638_CR35","unstructured":"Persson, M., T\u00f6rngren, M., Qamar, A., Westman, J., Biehl, M., Tripakis, S., Vangheluwe, H., Denil, J.: A characterization of integrated multi-view modeling for embedded systems. In: Proceedings of the 13th ACM & IEEE International Conference on Embedded Software (EMSOFT\u201913) (2013)"},{"key":"638_CR36","doi-asserted-by":"crossref","unstructured":"Pittou, M., Tripakis, S.: Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. In: The 13th International Conference Formal Aspects of Component Software (FACS 2016) (2016)","DOI":"10.1007\/978-3-319-57666-4_6"},{"key":"638_CR37","doi-asserted-by":"crossref","unstructured":"Pittou, M., Tripakis, S.: Multi-view consistency for infinitary regular languages. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation\u2014SAMOS XVI (2016)","DOI":"10.1109\/SAMOS.2016.7818342"},{"key":"638_CR38","doi-asserted-by":"crossref","unstructured":"Rajhans, A., Krogh, B.H.: Heterogeneous verification of cyber-physical systems using behavior relations. In: HSCC \u201912, pp. 35\u201344. ACM, New York (2012)","DOI":"10.1145\/2185632.2185641"},{"key":"638_CR39","doi-asserted-by":"crossref","unstructured":"Rajhans, A., Krogh, B.H.: Compositional heterogeneous abstraction. In: HSCC \u201913, pp. 253\u2013262. ACM, New York (2013)","DOI":"10.1145\/2461328.2461368"},{"key":"638_CR40","unstructured":"Rasch, H., Wehrheim, H.: Checking consistency in UML diagrams: classes and state machines. In: Proceedings of 6th IFIP WG 6.1 International Conference Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, Paris, France, November 19\u201321, 2003, pp. 229\u2013243 (2003)"},{"key":"638_CR41","doi-asserted-by":"crossref","unstructured":"Reineke, J., Tripakis, S.: Basic problems in multi-view modeling. In: Tools and Algorithms for the Construction and Analysis of Systems\u2014TACAS 2014 (2014)","DOI":"10.1007\/978-3-642-54862-8_15"},{"key":"638_CR42","doi-asserted-by":"crossref","unstructured":"Sabetzadeh, M., Nejati, S., Easterbrook, S., Chechik, M.: A relationship-driven framework for model merging. In: Proceedings of the International Workshop on Modeling in Software Engineering, MISE \u201907, p. 2. IEEE Computer Society, Washington, DC (2007)","DOI":"10.1109\/MISE.2007.4"},{"key":"638_CR43","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","volume":"49","author":"AP Sistla","year":"1987","unstructured":"Sistla, A.P., Vardi, M.Y., Wolper, P., Wolper, P.: The complementation problem for B\u00fcchi automata with applications to temporal logic. Theor. Comput. Sci. 49, 217\u2013237 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"638_CR44","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1023\/A:1018998207415","volume":"3","author":"G Spanoudakis","year":"1996","unstructured":"Spanoudakis, G., Finkelstein, A.: Reconciling requirements: a method for managing interference, inconsistency and conflict. Ann. Softw. Eng. Spec. Issue Softw. Requir. Eng. 3, 433\u2013457 (1996)","journal-title":"Ann. Softw. Eng. Spec. Issue Softw. Requir. Eng."},{"issue":"5","key":"638_CR45","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1109\/JPROC.2015.2510366","volume":"104","author":"S Tripakis","year":"2016","unstructured":"Tripakis, S.: Compositionality in the science of system design. Proc. IEEE 104(5), 960\u2013972 (2016)","journal-title":"Proc. IEEE"},{"key":"638_CR46","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Lickly, B., Henzinger, T.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Trans. Progr. Lang. Syst. (TOPLAS) 33(4), 14:1\u201314:41 (2011)","DOI":"10.1145\/1985342.1985345"},{"key":"638_CR47","doi-asserted-by":"crossref","unstructured":"von Hanxleden, R., Lee, E.A., Motika, C., Fuhrmann, H.: Multi-view modeling and pragmatics in 2020. In: 17th International Monterey Workshop, LNCS (2012)","DOI":"10.1007\/978-3-642-34059-8_11"},{"issue":"8","key":"638_CR48","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/2.223539","volume":"26","author":"P Zave","year":"1993","unstructured":"Zave, P.: Feature interactions and formal specifications in telecommunications. Computer 26(8), 20\u201328 (1993)","journal-title":"Computer"},{"issue":"4","key":"638_CR49","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P Zave","year":"1993","unstructured":"Zave, P., Jackson, M.: Conjunction as composition. ACM Trans. Softw. Eng. Methodol. 2(4), 379\u2013411 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"638_CR50","first-page":"440","volume-title":"Formal Methods and Software Engineering, Volume 4260 of LNCS","author":"X Zhao","year":"2006","unstructured":"Zhao, X., Long, Q., Qiu, Z.: Model checking dynamic UML consistency. In: Liu, Z., He, J. (eds.) Formal Methods and Software Engineering, Volume 4260 of LNCS, pp. 440\u2013459. Springer, Berlin (2006)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0638-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0638-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0638-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T19:04:37Z","timestamp":1751137477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0638-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,13]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["638"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0638-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,13]]},"assertion":[{"value":"24 February 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2016","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 November 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 December 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}