Add to ORKGAbstract. The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UML), is a visual modelling language for systems engineering applications. At present, the semi-formal SysML, which is widely utilised for the design of complex hetero-geneous systems, lacks integration with other more formal approaches. In this paper, we describe how Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergence Refinement (FDR), may be used to underpin an approach that facilitates the refine-ment checking of behavioural consistency of SysML diagrams; we also show how the proposed approach supports requirements traceability. We illustrate our contribution by means of a small case ...
UML has become the 'quasi' standard modeling language in a wide range of system domains, ranging fro...
Abstract—Modeling languages such as SysML provide various description means for a precise specificat...
In this paper, we show how different behavioral consis-tency concepts can be formed for sequence dia...
The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UM...
The Systems Modeling Language (SysML) is a semi-formal, graphical modelling language used in the spe...
Abstract. This work provides an underpinning for a systems modelling approach based on UML and fUML ...
One of the challenges in concurrent software development is early discovery of design errors which c...
This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows ...
The B Abstract Machine Notation (AMN) and the notation of Communicating Sequential Processes (CSP) h...
Model-based development is particularly promising in the area of real-time and embedded systems, sin...
The Unified Modelling Language (UML) includes a variant of Statecharts [5], called State Diagrams (S...
A collaborative SoS is a system composed of constituent systems (CSs), which are independent and vol...
AbstractConsistency between a process and its specification expressed in CSP is typically presented ...
In this paper we consider the relationship between refinement-oriented specification and specificati...
Modern systems tend to exhibit an ever increasing complexity especially due to their software design...
UML has become the 'quasi' standard modeling language in a wide range of system domains, ranging fro...
Abstract—Modeling languages such as SysML provide various description means for a precise specificat...
In this paper, we show how different behavioral consis-tency concepts can be formed for sequence dia...
The Systems Modeling Language (SysML), an extension of a subset of the Unified Modeling Language (UM...
The Systems Modeling Language (SysML) is a semi-formal, graphical modelling language used in the spe...
Abstract. This work provides an underpinning for a systems modelling approach based on UML and fUML ...
One of the challenges in concurrent software development is early discovery of design errors which c...
This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows ...
The B Abstract Machine Notation (AMN) and the notation of Communicating Sequential Processes (CSP) h...
Model-based development is particularly promising in the area of real-time and embedded systems, sin...
The Unified Modelling Language (UML) includes a variant of Statecharts [5], called State Diagrams (S...
A collaborative SoS is a system composed of constituent systems (CSs), which are independent and vol...
AbstractConsistency between a process and its specification expressed in CSP is typically presented ...
In this paper we consider the relationship between refinement-oriented specification and specificati...
Modern systems tend to exhibit an ever increasing complexity especially due to their software design...
UML has become the 'quasi' standard modeling language in a wide range of system domains, ranging fro...
Abstract—Modeling languages such as SysML provide various description means for a precise specificat...
In this paper, we show how different behavioral consis-tency concepts can be formed for sequence dia...