An integrated semantics for reasoning about SysML design models using refinement

Lima, Lucas; Miyazawa, Alvaro; Cavalcanti, Ana; Cornélio, Márcio; Iyoda, Juliano; Sampaio, Augusto; Hains, Ralph; Larkham, Adrian; Lewis, Vaughan A.

doi:10.1007/s10270-015-0492-y

Cited by 20 publications

(15 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a general-purpose modeling language, it helps systems engineers not only design a complex system but also evaluate and stipulate it (Object Management Group® 2017). However, the trade study process to analyze the target system is time-consuming (Bleakley, Lapping & Whitfield 2011) and costly (Muller & Dagli 2016) (Lima et al 2016). At the same time, complex systems also drive the needs for consistency and accuracy in the trade study analysis.…”

Section: Introductionmentioning

confidence: 99%

“…Since the OMG SysML™ structure model is not made from simple numeric or string values, the relationships of its subsystems and parameters cannot be fully recognized by the genetic algorithm. To solve the problem, formal and rigorous reasoning to OMG SysML™ block definition diagram (BDD) is needed (Lima et al 2016) (Spyropoulos & Baras 2013). The OMG SysML™ requires a precise and a well-defined formal semantics (Lima et al 2016).…”

Section: Introductionmentioning

confidence: 99%

“…To solve the problem, formal and rigorous reasoning to OMG SysML™ block definition diagram (BDD) is needed (Lima et al 2016) (Spyropoulos & Baras 2013). The OMG SysML™ requires a precise and a well-defined formal semantics (Lima et al 2016). Several studies (Graves 2012) (Graves 2009) have proposed semantics for OMG SysML™ (Lima et al 2016) to avoid ambiguities in the different interpretations (Bouaziz 2016).…”

Section: Introductionmentioning

confidence: 99%

“…The OMG SysML™ requires a precise and a well-defined formal semantics (Lima et al 2016). Several studies (Graves 2012) (Graves 2009) have proposed semantics for OMG SysML™ (Lima et al 2016) to avoid ambiguities in the different interpretations (Bouaziz 2016). Instead of using real-value encoding, a tree-like structure is used to capture the BDD relationships correctly (Lima et al 2016).…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML^™ Notations

Arifin

Ong

Daengdej

et al. 2019

INCOSE International Symp

View full text Add to dashboard Cite

Genetic algorithms can be used to perform an automated trade study analysis for component selection with the OMG Systems Modeling Language or OMG SysML™. However, the genetic algorithm encoding based on a single string with real‐value encoding failed to include the relationships in the OMG SysML™ model for the solution space. The genetic algorithm was then unable to perform an automated reasoning through the OMG SysML™ as a result. To solve this problem, this study proposes tree encoding as the encoding technique for the OMG SysML™ elements. Tree encoding offers a simple way to include blocks and their relationships into a genotype without altering its semantics. The scope of this study is limited to a preliminary investigation of the block definition diagram. The result from this study suggests that the conceptual idea can be applied to the genetic algorithm and the potential use of the approach in the trade study analysis, reasoning, and machine learning.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML^™ Notations

Arifin

Ong

Daengdej

et al. 2019

INCOSE International Symp

View full text Add to dashboard Cite

show abstract

“…In this way, the same models used to reason about specifications and designs can also be used in testing. CSP models can be automatically generated, for example, from diagrammatic domain-specific models for (control) systems, from Java programs [8]- [10], and even from natural language requirements [11].…”

Section: Introductionmentioning

confidence: 99%

A Suspension-Trace Semantics for CSP

Cavalcanti

Hierons

Nogueira

et al. 2016

2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)

Self Cite

View full text Add to dashboard Cite

Abstract-CSP is well established as a process algebra for refinement. Most refinement relations for CSP do not differentiate between inputs and outputs, and so are unsuitable for testing. This paper provides CSP with a denotational semantics based on suspension traces; it gives the traditional CSP operators a novel view, catering for the differences between inputs and outputs. We identify healthiness conditions for the suspension-traces model and include a treatment of termination not contemplated in the context of input-output labelled transition systems. Using our suspension-traces semantics, we provide for CSP a characterisation of the conformance relation ioco, which is widely used in testing. Finally, we propose a strategy to mechanise the verification of conformance according to ioco and suspensiontrace refinement using CSP tools. This work provides the basis for a theory of testing for CSP with inputs and outputs, and opens up the possibility of studying algebraic laws and compositional reasoning techniques based on ioco. Ultimately, it contributes to making CSP models useful for both design and testing of systems.

show abstract

Safe and Constructive Design with UML Components

Falcão

Lima

Sampaio

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

An integrated semantics for reasoning about SysML design models using refinement

Cited by 20 publications

References 24 publications

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML^™ Notations

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML^™ Notations

A Suspension-Trace Semantics for CSP

Safe and Constructive Design with UML Components

Contact Info

Product

Resources

About

An integrated semantics for reasoning about SysML design models using refinement

Cited by 20 publications

References 24 publications

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML™ Notations

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML™ Notations

A Suspension-Trace Semantics for CSP

Safe and Constructive Design with UML Components

Contact Info

Product

Resources

About

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML^™ Notations

Encoding Technique of Genetic Algorithms for Block Definition Diagram using OMG SysML^™ Notations