Abstract | ||
---|---|---|
This work presents a conservative extension of OhCircus, a concurrent specification language, which integrates CSP, Z, object-orientation and embeds a refinement calculus. This extension supports the definition of process inheritance, where control flow, operations and state components are eligible for reuse. We present the extended OhCircus grammar and, based on Hoare and He's Unifying Theories of Programming, we give the formal semantics of process inheritance and its supporting constructs. The main contribution of this work is a set of sound algebraic laws for process inheritance. The proposed laws are exercised in the development of a case study. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-41202-8_2 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Behavioural Subtyping,OhCircus,UTP,Algebraic Laws | Specification language,Programming language,Refinement calculus,Computer science,Reuse,Control flow,Theoretical computer science,Grammar,Conservative extension,Subtyping,Algebraic laws | Conference |
Volume | ISSN | Citations |
8144 | 0302-9743 | 1 |
PageRank | References | Authors |
0.36 | 14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Dihego | 1 | 5 | 1.14 |
Pedro R. G. Antonino | 2 | 33 | 4.57 |
Augusto Sampaio | 3 | 501 | 43.38 |