{"title":"Study on Formalizing Unified Modeling Language Activity Diagrams in FDR","authors":"Peilei Ye","doi":"10.1109/MVHI.2010.202","DOIUrl":null,"url":null,"abstract":"UML activity diagram is an important component of software design model based on UML, because it describes the dynamic behaviors of a software system. It becomes a valuable information source in software integration test. We present a workflow modeling method based on the improved UML acting diagram after introducing the UML language in this paper. The modeling for checking is described and analyzed. The result shows that the improved method can achieve better effect in describing workflow modeling progress than conventional approaches. Hence it provides an approach to model checking UML ADs by model-checker FDR. Finally, the formalisms and model checking are explicitly illustrated through a simple but non-trivial example.","PeriodicalId":34860,"journal":{"name":"HumanMachine Communication Journal","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2010-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"HumanMachine Communication Journal","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MVHI.2010.202","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Social Sciences","Score":null,"Total":0}
引用次数: 2
Abstract
UML activity diagram is an important component of software design model based on UML, because it describes the dynamic behaviors of a software system. It becomes a valuable information source in software integration test. We present a workflow modeling method based on the improved UML acting diagram after introducing the UML language in this paper. The modeling for checking is described and analyzed. The result shows that the improved method can achieve better effect in describing workflow modeling progress than conventional approaches. Hence it provides an approach to model checking UML ADs by model-checker FDR. Finally, the formalisms and model checking are explicitly illustrated through a simple but non-trivial example.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
