Abstract | ||
---|---|---|
In this paper, we propose a formalisation of SysML blocks based on a state-rich process algebra that supports refinement, namely, CML. We first establish a set of guidelines of usage of SysML block definition and internal block diagrams. Next, we propose a formal semantics of SysML blocks described by diagrams that conform to our guidelines. The semantics is specified by inductive functions over the structure of SysML models. These functions can be mechanised to support automatic generation of the CML models. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-41202-8_17 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
CML,SysML,process algebra,refinement,semantics | Programming language,Computer science,Theoretical computer science,Systems Modeling Language,Block diagram,Process calculus,Semantics,Semantics of logic | Conference |
Volume | ISSN | Citations |
8144 | 0302-9743 | 4 |
PageRank | References | Authors |
0.47 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alvaro Miyazawa | 1 | 91 | 9.33 |
Lucas Lima | 2 | 19 | 3.79 |
Ana Cavalcanti | 3 | 224 | 18.41 |