Keng-Pei Lin, Te-Min Chang, Ming-Fu Hsu, Sin-Jin Lin, W. Chao
{"title":"A Structure-Behavior Coalescence Method for Integrating SysML Internal Block Diagram with Activity Diagram","authors":"Keng-Pei Lin, Te-Min Chang, Ming-Fu Hsu, Sin-Jin Lin, W. Chao","doi":"10.1109/ICSGRC.2019.8837097","DOIUrl":null,"url":null,"abstract":"SysML uses the internal block diagram (IBD) and the activity diagram (AD) to describe the structure and behavior of a system respectively. Since IBD and AD are heterogeneous and separate models, they are prone to inconsistencies between them, often referred to as model multiplicity problems. This paper proposes a model singularity structure-behavior coalescence (SBC) IBD-AD process algebra to solve the inconsistency between IBD and AD. In this model singularity SBC IBD-AD process algebra, both IBD and AD are its projected views, so the inconsistency between IBD and AD naturally disappears.","PeriodicalId":331521,"journal":{"name":"2019 IEEE 10th Control and System Graduate Research Colloquium (ICSGRC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 IEEE 10th Control and System Graduate Research Colloquium (ICSGRC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSGRC.2019.8837097","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
SysML uses the internal block diagram (IBD) and the activity diagram (AD) to describe the structure and behavior of a system respectively. Since IBD and AD are heterogeneous and separate models, they are prone to inconsistencies between them, often referred to as model multiplicity problems. This paper proposes a model singularity structure-behavior coalescence (SBC) IBD-AD process algebra to solve the inconsistency between IBD and AD. In this model singularity SBC IBD-AD process algebra, both IBD and AD are its projected views, so the inconsistency between IBD and AD naturally disappears.