{"title":"UML 2交互概述图验证","authors":"T. Bouabana-Tebibel","doi":"10.1109/DepCoS-RELCOMEX.2009.47","DOIUrl":null,"url":null,"abstract":"UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams where the nodes may be interaction diagrams. Introduced on the UML 2 version, this diagram gathers benefits related to specific and global behaviors. When the nodes are sequence diagrams, it allows a valuated control flow specification. We propose in this paper an approach to validate the IOD notation. The validation is made by model checking using the hierarchical Petri nets derived from the IOD diagrams.","PeriodicalId":185730,"journal":{"name":"2009 Fourth International Conference on Dependability of Computer Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"UML 2 Interaction Overview Diagram Validation\",\"authors\":\"T. Bouabana-Tebibel\",\"doi\":\"10.1109/DepCoS-RELCOMEX.2009.47\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams where the nodes may be interaction diagrams. Introduced on the UML 2 version, this diagram gathers benefits related to specific and global behaviors. When the nodes are sequence diagrams, it allows a valuated control flow specification. We propose in this paper an approach to validate the IOD notation. The validation is made by model checking using the hierarchical Petri nets derived from the IOD diagrams.\",\"PeriodicalId\":185730,\"journal\":{\"name\":\"2009 Fourth International Conference on Dependability of Computer Systems\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-06-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 Fourth International Conference on Dependability of Computer Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DepCoS-RELCOMEX.2009.47\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Fourth International Conference on Dependability of Computer Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DepCoS-RELCOMEX.2009.47","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
UML 2 interaction overview diagram, IOD for short, is a variant of UML activity diagrams where the nodes may be interaction diagrams. Introduced on the UML 2 version, this diagram gathers benefits related to specific and global behaviors. When the nodes are sequence diagrams, it allows a valuated control flow specification. We propose in this paper an approach to validate the IOD notation. The validation is made by model checking using the hierarchical Petri nets derived from the IOD diagrams.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
