序列图的形式化语义和系统分析的策略

2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI:10.5220/0004711603170324

Lucas Lima, J. Iyoda, A. Sampaio

{"title":"序列图的形式化语义和系统分析的策略","authors":"Lucas Lima, J. Iyoda, A. Sampaio","doi":"10.5220/0004711603170324","DOIUrl":null,"url":null,"abstract":"We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A formal semantics for Sequence Diagrams and a strategy for system analysis\",\"authors\":\"Lucas Lima, J. Iyoda, A. Sampaio\",\"doi\":\"10.5220/0004711603170324\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.\",\"PeriodicalId\":336046,\"journal\":{\"name\":\"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-01-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5220/0004711603170324\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5220/0004711603170324","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

我们提出了一种基于COMPASS建模语言(CML)的序列图语义，COMPASS建模语言是一种对系统的系统进行建模的形式化规范语言。我们的语义的一个显著特征是，它被定义为定义SysML几个图的语义的更大努力的一部分，SysML是用于系统工程的UML概要文件。我们已经为序列图定义了一个相当全面的语义，它包括顺序和并行构造函数、循环、中断、替代、同步和异步消息。我们用一个系统的系统的案例研究场景来说明我们的语义。我们还讨论了一种分析策略，它包含了几个图的集成视图。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A formal semantics for Sequence Diagrams and a strategy for system analysis

We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

自引率

0.00%

发文量