{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:11:36Z","timestamp":1742933496453,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031103629"},{"type":"electronic","value":"9783031103636"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-10363-6_21","type":"book-chapter","created":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T12:20:21Z","timestamp":1656678021000},"page":"308-325","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Consistency of\u00a0Heterogeneously Typed Behavioural Models: A Coalgebraic Approach"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6304-6311","authenticated-orcid":false,"given":"Harald","family":"K\u00f6nig","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7553-9858","authenticated-orcid":false,"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,3]]},"reference":[{"key":"21_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"issue":"6","key":"21_CR2","first-page":"1799","volume":"27","author":"A Balan","year":"2017","unstructured":"Balan, A., Kurz, A., Velebil, J.: An institutional approach to positive coalgebraic logic. J. Log. Comput. 27(6), 1799\u20131824 (2017)","journal-title":"J. Log. Comput."},{"key":"21_CR3","volume-title":"Category Theory for Computing Sciences","author":"M Barr","year":"1990","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall, Hoboken (1990)"},{"key":"21_CR4","doi-asserted-by":"publisher","unstructured":"Bradfield, J.C., Stirling, C.: Modal logics and mu-calculi: an introduction. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 293\u2013330. North-Holland\/Elsevier (2001). https:\/\/doi.org\/10.1016\/b978-044482830-9\/50022-9","DOI":"10.1016\/b978-044482830-9\/50022-9"},{"issue":"1\u20132","key":"21_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.jlap.2005.09.004","volume":"67","author":"C C\u0131rstea","year":"2006","unstructured":"C\u0131rstea, C.: An institution of modal logics for coalgebras. J. Log. Algebraic Program. 67(1\u20132), 87\u2013113 (2006)","journal-title":"J. Log. Algebraic Program."},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Deantoni, J.: Modeling the behavioral semantics of heterogeneous languages and their coordination. In: 2016 Architecture-Centric Virtual Integration (ACVI), pp. 12\u201318. IEEE (2016)","DOI":"10.1109\/ACVI.2016.9"},{"key":"21_CR7","doi-asserted-by":"publisher","unstructured":"Engels, G., K\u00fcster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Tjoa, A.M., Gruhn, V. (eds.) Proceedings of the 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, 10\u201314 September 2001, pp. 186\u2013195. ACM (2001). https:\/\/doi.org\/10.1145\/503209.503235","DOI":"10.1145\/503209.503235"},{"key":"21_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/b138249","volume-title":"Categories for Software Engineering","author":"JL Fiadeiro","year":"2005","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b138249"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Objects and classes, co-algebraically. In: Freitag, B., Jones, C.B., Lengauer, C., Schek, H. (eds.) Object Orientation with Parallelism and Persistence (The Book Grow Out of a Dagstuhl Seminar in April 1995), pp. 83\u2013103. Kluwer Academic Publishers (1995)","DOI":"10.1007\/978-1-4613-1437-0_5"},{"key":"21_CR10","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316823187","volume-title":"Introduction to Coalgebra: Towards Mathematics of States and Observation","author":"B Jacobs","year":"2016","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science, vol. 59. Cambridge University Press, Cambridge (2016). https:\/\/doi.org\/10.1017\/CBO9781316823187"},{"key":"21_CR11","doi-asserted-by":"publisher","unstructured":"Kr\u00e4uter, T.: Towards behavioral consistency in heterogeneous modeling scenarios. In: ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, 10\u201315 October 2021, pp. 666\u2013671. IEEE (2021). https:\/\/doi.org\/10.1109\/MODELS-C53483.2021.00107","DOI":"10.1109\/MODELS-C53483.2021.00107"},{"key":"21_CR12","unstructured":"Kurz, A.: Coalgebras and modal logic. Course Notes for ESSLLI 2001 (2001)"},{"key":"21_CR13","unstructured":"Kurz, A., Pattinson, D.: Coalgebras and Modal Logic for Parameterised Endofunctors. Centrum voor Wiskunde en Informatica (2000)"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2004.02.056","volume":"109","author":"JM K\u00fcster","year":"2004","unstructured":"K\u00fcster, J.M.: Towards inconsistency handling of object-oriented behavioral models. Electron. Notes Theor. Comput. Sci. 109, 57\u201369 (2004). https:\/\/doi.org\/10.1016\/j.entcs.2004.02.056","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"21_CR15","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency, vol. 84. Prentice Hall, Englewood Cliffs (1989)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-540-40020-2_23","volume-title":"Recent Trends in Algebraic Development Techniques","author":"D Pattinson","year":"2003","unstructured":"Pattinson, D.: Translating logics for coalgebras. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 393\u2013408. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40020-2_23"},{"issue":"2","key":"21_CR17","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H Reichel","year":"1995","unstructured":"Reichel, H.: An approach to object semantics based on terminal co-algebras. Math. Struct. Comput. Sci. 5(2), 129\u2013152 (1995). https:\/\/doi.org\/10.1017\/S0960129500000694","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"21_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(00)00056-6","journal-title":"Theor. Comput. Sci."},{"key":"21_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-17336-3"},{"key":"21_CR20","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5, 285\u2013309 (1955)","journal-title":"Pac. J. Math."},{"key":"21_CR21","doi-asserted-by":"publisher","unstructured":"Van Gorp, P., Dijkman, R.: A visual token-based formalization of BPMN 2.0 based on in-place transformations. Inf. Softw. Technol. 55(2), 365\u2013394 (2013). https:\/\/doi.org\/10.1016\/j.infsof.2012.08.014. Special Section: Component-Based Software Engineering (CBSE), 2011","DOI":"10.1016\/j.infsof.2012.08.014"},{"key":"21_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76771-5","volume-title":"Universal Algebra for Computer Scientists","author":"W Wechler","year":"1992","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/978-3-642-76771-5"},{"key":"21_CR23","unstructured":"Wolter, U.: (Co)institutions for coalgebras. Reports in informatics 415 (2016)"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Yao, S., Shatz, S.M.: Consistency checking of UML dynamic models based on Petri net techniques. In: 2006 15th International Conference on Computing, pp. 289\u2013297. IEEE (2006)","DOI":"10.1109\/CIC.2006.32"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-10363-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T08:08:14Z","timestamp":1656749294000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-10363-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031103629","9783031103636"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-10363-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 July 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 July 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cs.ubbcluj.ro\/tase2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"71","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}