{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:37Z","timestamp":1750308637076,"version":"3.41.0"},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,7,16]],"date-time":"2012-07-16T00:00:00Z","timestamp":1342396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2012,7,16]]},"abstract":"<jats:p>The objective of this paper is to define an approach to formalize and verify the SysML blocks in a refinement process. We propose to specify system architecture with SysML Block Definition Diagram, this diagram is then analyzed and decomposed into several sub-blocks in order to verify their compatibility. The structural architecture of an abstract block is given by the Internal Block Diagram (IBD) which defines the communication links between sub-blocks. The compatibility verification between sub-blocks is only made on linked sub-blocks. The behaviour of each sub-block is described by an interface automaton which species the invocations exchanged with its environment. The verification between blocks is translated into consistency verification between the blocks and compatibility verification between their interface automata. Incompatibilities can be inconsistent at architecture level and at communication level if there are deadlocks during the interaction between sub-blocks. Once the verification is established between the sub-blocks, the abstract block can be then substituted by the sub-blocks which compose it.<\/jats:p>","DOI":"10.1145\/2237796.2237813","type":"journal-article","created":{"date-parts":[[2012,7,13]],"date-time":"2012-07-13T23:07:36Z","timestamp":1342220856000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Formalizing and verifying compatibility and consistency of SysML blocks"],"prefix":"10.1145","volume":"37","author":[{"given":"Oscar","family":"Carrillo","sequence":"first","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Chouali","sequence":"additional","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hassan","family":"Mountassir","sequence":"additional","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,16]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"77","volume-title":"Christian Attiogb\u00e9. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC'05","author":"Andr\u00e9 Pascal","year":"2005","unstructured":"Pascal Andr\u00e9 , Gilles Ardourel , and Christian Attiogb\u00e9. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC'05 , pages 77 -- 84 , Amsterdam, The Netherlands , 2005 . IBM Research Report RC23821. Pascal Andr\u00e9, Gilles Ardourel, and Christian Attiogb\u00e9. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC'05, pages 77--84, Amsterdam, The Netherlands, 2005. IBM Research Report RC23821."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_8"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783565_3"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-011-0170-3"},{"key":"e_1_2_1_6_1","volume-title":"Adaptation s\u00e9mantique des protocoles des composants par les automates d'interface. TSI - Technique et Science Informatiques, 31(*):***--***","author":"Chouali Samir","year":"2012","unstructured":"Samir Chouali , Sebti Mouelhi , and Hassan Mountassir . Adaptation s\u00e9mantique des protocoles des composants par les automates d'interface. TSI - Technique et Science Informatiques, 31(*):***--*** , 2012 . Papier accept\u00e9. A paratre. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation s\u00e9mantique des protocoles des composants par les automates d'interface. TSI - Technique et Science Informatiques, 31(*):***--***, 2012. Papier accept\u00e9. A paratre."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_2_1_8_1","volume-title":"Rabat","author":"Etienne J.-P.","year":"2006","unstructured":"J.-P. Etienne and S. Bouzefrane . Versune approche par composants pour la mod\u00e9lisation d'applications temps r\u00e9el. In (MOSIM'06) 6\u00e9me Conference Francophone de Mod\u00e9lisation et Simulation, pages 1--10 , Rabat , 2006 . Lavoisier. J.-P. Etienne and S. Bouzefrane. Versune approche par composants pour la mod\u00e9lisation d'applications temps r\u00e9el. In (MOSIM'06) 6\u00e9me Conference Francophone de Mod\u00e9lisation et Simulation, pages 1--10, Rabat, 2006. Lavoisier."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41852"},{"key":"e_1_2_1_10_1","first-page":"35","volume-title":"WICSA1: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)","author":"Magee Jeff","year":"1999","unstructured":"Jeff Magee , Jeff Kramer , and Dimitra Giannakopoulou . Behaviour analysis of software architectures . In WICSA1: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1) , pages 35 -- 50 , Deventer, The Netherlands , The Netherlands, 1999 . Kluwer , B.V. Jeff Magee, Jeff Kramer, and Dimitra Giannakopoulou. Behaviour analysis of software architectures. In WICSA1: Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), pages 35--50, Deventer, The Netherlands, The Netherlands, 1999. Kluwer, B.V."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.48"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_2_1_13_1","volume-title":"Request for Proposal","author":"The Object Mangagement Group (OMG).","year":"2003","unstructured":"The Object Mangagement Group (OMG). UML for Systems Engineering . Request for Proposal , 2003 . The Object Mangagement Group (OMG). UML for Systems Engineering. Request for Proposal, 2003."},{"key":"e_1_2_1_14_1","volume-title":"UML 2.0","author":"Object Management Group","year":"2005","unstructured":"Object Management Group . The OMG Unified Modeling Language Specification , UML 2.0 , 2005 . Object Management Group. The OMG Unified Modeling Language Specification, UML 2.0, 2005."},{"key":"e_1_2_1_15_1","volume-title":"OMG Systems Modeling Language (OMG SysML) Specification Version 1.2","author":"The Object Mangagement Group (OMG).","year":"2010","unstructured":"The Object Mangagement Group (OMG). OMG Systems Modeling Language (OMG SysML) Specification Version 1.2 , 2010 . http:\/\/www.omg.org\/spec\/SysML\/1.2\/. {omg} http:\/\/www.omg.org. The Object Mangagement Group (OMG). OMG Systems Modeling Language (OMG SysML) Specification Version 1.2, 2010. http:\/\/www.omg.org\/spec\/SysML\/1.2\/. {omg} http:\/\/www.omg.org."},{"key":"e_1_2_1_16_1","first-page":"68","volume-title":"7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings","author":"Steffen Becker","year":"2004","unstructured":"Becker Steffen , Overhage Sven , and Reussner Ralf . Classifying software component interoperability errors to support component adaption. In Crnkovic Ivica, Stafford Judith, Schmidt Heinz, and Wallnau Kurt, editors, Component Based Software Engineering , 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings , pages 68 -- 83 . Springer , 2004 . Becker Steffen, Overhage Sven, and Reussner Ralf. Classifying software component interoperability errors to support component adaption. In Crnkovic Ivica, Stafford Judith, Schmidt Heinz, and Wallnau Kurt, editors, Component Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, pages 68--83. Springer, 2004."},{"key":"e_1_2_1_17_1","unstructured":"SysML FAQ - what is the relationship between SysML and UML? http:\/\/www.sysmlforum.com\/faq\/relation-between-SysML-UML.html.  SysML FAQ - what is the relationship between SysML and UML? http:\/\/www.sysmlforum.com\/faq\/relation-between-SysML-UML.html."},{"key":"e_1_2_1_18_1","volume-title":"Component Software","author":"Szyperski C.","year":"1999","unstructured":"C. Szyperski . Component Software . ACM Press , Addison- Wesley , 1999 . {tic} http:\/\/dvlab.cse.ucsc.edu\/Ticc. C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999. {tic} http:\/\/dvlab.cse.ucsc.edu\/Ticc."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2237796.2237813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2237796.2237813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:07Z","timestamp":1750273687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2237796.2237813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,16]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,7,16]]}},"alternative-id":["10.1145\/2237796.2237813"],"URL":"https:\/\/doi.org\/10.1145\/2237796.2237813","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2012,7,16]]},"assertion":[{"value":"2012-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}