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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 124415644 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: An integrated semantics for reasoning about SysML design models using refinement. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Lima%2C+Lucas%22">Lima, Lucas</searchLink><relatesTo>1</relatesTo><i> lal2@cin.ufpe.br</i><br /><searchLink fieldCode="AR" term="%22Miyazawa%2C+Alvaro%22">Miyazawa, Alvaro</searchLink><relatesTo>2</relatesTo><i> Alvaro.Miyazawa@york.ac.uk</i><br /><searchLink fieldCode="AR" term="%22Cavalcanti%2C+Ana%22">Cavalcanti, Ana</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Cornélio%2C+Márcio%22">Cornélio, Márcio</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Iyoda%2C+Juliano%22">Iyoda, Juliano</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Sampaio%2C+Augusto%22">Sampaio, Augusto</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Hains%2C+Ralph%22">Hains, Ralph</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Larkham%2C+Adrian%22">Larkham, Adrian</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Lewis%2C+Vaughan%22">Lewis, Vaughan</searchLink><relatesTo>3</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Jul2017, Vol. 16 Issue 3, p875-902. 28p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22SysML+%28Computer+science%29%22">SysML (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer-aided+design%22">Computer-aided design</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+design%22">Systems design</searchLink><br /><searchLink fieldCode="DE" term="%22Reasoning%22">Reasoning</searchLink><br /><searchLink fieldCode="DE" term="%22Semantics%22">Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Unified+modeling+language%22">Unified modeling language</searchLink><br /><searchLink fieldCode="DE" term="%22Automation%22">Automation</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+network+resources%22">Computer network resources</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>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.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=124415644 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10270-015-0492-y Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 28 StartPage: 875 Subjects: – SubjectFull: SysML (Computer science) Type: general – SubjectFull: Computer-aided design Type: general – SubjectFull: Systems design Type: general – SubjectFull: Reasoning Type: general – SubjectFull: Semantics Type: general – SubjectFull: Unified modeling language Type: general – SubjectFull: Automation Type: general – SubjectFull: Computer network resources Type: general Titles: – TitleFull: An integrated semantics for reasoning about SysML design models using refinement. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Lima, Lucas – PersonEntity: Name: NameFull: Miyazawa, Alvaro – PersonEntity: Name: NameFull: Cavalcanti, Ana – PersonEntity: Name: NameFull: Cornélio, Márcio – PersonEntity: Name: NameFull: Iyoda, Juliano – PersonEntity: Name: NameFull: Sampaio, Augusto – PersonEntity: Name: NameFull: Hains, Ralph – PersonEntity: Name: NameFull: Larkham, Adrian – PersonEntity: Name: NameFull: Lewis, Vaughan IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 07 Text: Jul2017 Type: published Y: 2017 Identifiers: – Type: issn-print Value: 16191366 Numbering: – Type: volume Value: 16 – Type: issue Value: 3 Titles: – TitleFull: Software & Systems Modeling Type: main |
| ResultId | 1 |
