An integrated semantics for reasoning about SysML design models using refinement.
Saved in:
| Title: | An integrated semantics for reasoning about SysML design models using refinement. |
|---|---|
| Authors: | Lima, Lucas1 lal2@cin.ufpe.br, Miyazawa, Alvaro2 Alvaro.Miyazawa@york.ac.uk, Cavalcanti, Ana2, Cornélio, Márcio1, Iyoda, Juliano1, Sampaio, Augusto1, Hains, Ralph3, Larkham, Adrian3, Lewis, Vaughan3 |
| Source: | Software & Systems Modeling. Jul2017, Vol. 16 Issue 3, p875-902. 28p. |
| Subjects: | SysML (Computer science), Computer-aided design, Systems design, Reasoning, Semantics, Unified modeling language, Automation, Computer network resources |
| Abstract: | SysML is a variant of UML for systems design. Several formalisations of SysML (and UML) are available. Our work is distinctive in two ways: a semantics for refinement and for a representative collection of elements from the UML4SysML profile (blocks, state machines, activities, and interactions) used in combination. We provide a means to analyse and refine design models specified using SysML. This facilitates the discovery of problems earlier in the system development lifecycle, reducing time, and costs of production. Here, we describe our semantics, which is defined using a state-rich process algebra and implemented in a tool for automatic generation of formal models. We also show how the semantics can be used for refinement-based analysis and development. Our case study is a leadership-election protocol, a critical component of an industrial application. Our major contribution is a framework for reasoning using refinement about systems specified by collections of SysML diagrams. [ABSTRACT FROM AUTHOR] |
| Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
Be the first to leave a comment!
