{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:06:26Z","timestamp":1742940386994,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031368882"},{"type":"electronic","value":"9783031368899"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-36889-9_7","type":"book-chapter","created":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T21:01:50Z","timestamp":1689454910000},"page":"75-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Toolchain for\u00a0Simulation Component Specification and\u00a0Identification"],"prefix":"10.1007","author":[{"given":"Sandro","family":"Koch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederik","family":"Reiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,16]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Ahadi, A., Mathieson, L.: A comparison of three popular source code similarity tools for detecting student plagiarism. In: ACM International Conference Proceeding Series, pp. 112\u2013117. Association for Computing Machinery (2019). https:\/\/doi.org\/10.1145\/3286960.3286974","DOI":"10.1145\/3286960.3286974"},{"key":"7_CR2","unstructured":"Balsamo, S., Marzolla, M.: Simulation modeling of UML software architectures. In: 17th European Simulation Mulitconference, vol. 3, pp. 562\u2013567. Society for Modelling and Simulation International, SCS European Publishing House (2003)"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Blockwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International MODELICA Conference, 3\u20135 September 2012, Munich, Germany, vol. 76, pp. 173\u2013184 (2012). https:\/\/doi.org\/10.3384\/ecp12076173","DOI":"10.3384\/ecp12076173"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1983","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244\u2013263 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7_CR5","unstructured":"Cordio, S.: csb\/neo4j-plugins\/subgraph-isomorphism at master $$\\cdot $$ msstate-dasi\/csb. https:\/\/github.com\/msstate-dasi\/csb\/tree\/master\/neo4j-plugins\/subgraph-isomorphism. Accessed 01 July 2022"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Falcone, A., Garro, A.: Distributed co-simulation of complex engineered systems by combining the high level architecture and functional mock-up interface. Simul. Model. Pract. Theory 97, 101967 (2019). https:\/\/doi.org\/10.1016\/j.simpat.2019.101967. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1569190X19301005","DOI":"10.1016\/j.simpat.2019.101967"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1145\/384266.299783","volume":"31","author":"D Gitchell","year":"1999","unstructured":"Gitchell, D., Tran, N.: Sim: a utility for detecting similarity in computer programs. SIGCSE Bull. 31(1), 266\u2013270 (1999). https:\/\/doi.org\/10.1145\/384266.299783","journal-title":"SIGCSE Bull."},{"key":"7_CR8","first-page":"26","volume":"47","author":"R Heinrich","year":"2019","unstructured":"Heinrich, R., Strittmatter, M., Reussner, R.: A layered reference architecture for metamodels to tailor quality modeling and analysis. IEEE Trans. Softw. Eng. 47, 26 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"IEEE: 1516-2010 - IEEE Standard for Modeling and Simulation High Level Architecture (HLA). Technical report (2010). https:\/\/doi.org\/10.1109\/IEEESTD.2010.5553440","DOI":"10.1109\/IEEESTD.2010.5553440"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-031-16697-6_13","volume-title":"European Conference on Software Architecture","author":"S Koch","year":"2022","unstructured":"Koch, S., Hamann, E., Heinrich, R., Reussner, R.: Feature-based investigation of simulation structure and behaviour. In: Gerostathopoulos, I., Lewis, G., Batista, T., Bure\u0161, T. (eds.) European Conference on Software Architecture, pp. 178\u2013185. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-16697-6_13"},{"key":"7_CR11","unstructured":"Maoz, S., et al.: OCL framework to verify extra-functional properties in component and connector models. In: 3rd International Workshop on Executable Modeling, Austin, p. 7. CEUR, RWTH Aachen (2017)"},{"key":"7_CR12","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall (1989)"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/2786.2792","volume":"28","author":"C Overstreet","year":"1985","unstructured":"Overstreet, C., Nance, R.: A specification language to assist in analysis of discrete event simulation models. Commun. ACM 28, 190\u2013201 (1985). https:\/\/doi.org\/10.1145\/2786.2792","journal-title":"Commun. ACM"},{"issue":"11","key":"7_CR14","first-page":"1016","volume":"8","author":"L Prechelt","year":"2002","unstructured":"Prechelt, L., Malpohl, G., Philippsen, M.: Finding plagiarisms among a set of programs with JPlag. J. Univ. Comput. Sci. 8(11), 1016\u20131038 (2002)","journal-title":"J. Univ. Comput. Sci."},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"UML 2000 \u2014 The Unified Modeling Language","author":"M Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 265\u2013277. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-40011-7_19"},{"key":"7_CR16","first-page":"29","volume":"5","author":"JO Ringert","year":"2011","unstructured":"Ringert, J.O., Rumpe, B.: A little synopsis on streams, stream processing functions, and state-based stream processing. Int. J. Softw. Inform. 5, 29\u201353 (2011)","journal-title":"Int. J. Softw. Inform."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Schleimer, S., Wilkerson, D.S., Aiken, A.: Winnowing: local algorithms for document fingerprinting. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 76\u201385 (2003)","DOI":"10.1145\/872757.872770"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-030-81915-6_4","volume-title":"Composing Model-Based Analysis Tools","author":"C Talcott","year":"2021","unstructured":"Talcott, C., et al.: Composition of languages, models, and analyses. In: Heinrich, R., Dur\u00e1n, F., Talcott, C., Zschaler, S. (eds.) Composing Model-Based Analysis Tools, pp. 45\u201370. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81915-6_4"},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Ullmann, J.R.: An Algorithm for Subgraph Isomorphism. Technical report 1 (1976). https:\/\/doi.org\/10.1145\/321921.321925","DOI":"10.1145\/321921.321925"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-12331-3_3","volume-title":"Modeling and Tools for Network Simulation","author":"A Varga","year":"2010","unstructured":"Varga, A.: Omnet++. In: Wehrle, K., G\u00fcne\u015f, M., Gross, J. (eds.) Modeling and Tools for Network Simulation, pp. 35\u201359. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12331-3_3"},{"key":"7_CR21","unstructured":"Z3Prover: z3: The Z3 Theorem Prover (2019). https:\/\/github.com\/Z3Prover\/z3"},{"key":"7_CR22","unstructured":"Zeigler, B.P., Pr\u00e4hofer, H., Kim, T.G.: Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems, 2 edn. Academic Press, San Diego (2000). http:\/\/www.gbv.de\/dms\/goettingen\/302567488.pdf"}],"container-title":["Lecture Notes in Computer Science","Software Architecture. ECSA 2022 Tracks and Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36889-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T21:02:47Z","timestamp":1689454967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36889-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031368882","9783031368899"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36889-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"16 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 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":"ecsa2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ecsa-2022","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","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":"61","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":"26","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":"4","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":"43% - 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":"2","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)"}},{"value":"2 tutorial papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}