Abstract | ||
---|---|---|
We propose a timed model of Circus which is a compact extension of original Circus. Apart from introducing time, this model uses UTP-style semantics to describe each process as a reactive design. One of significant contributions of our timed model is to extensively explore the reactive design miracle, the top element of a complete lattice with respect to the implication ordering. The employment of the miracle brings a number of brand-new features such as deadline and urgent events, which provide a more powerful and flexible expressiveness in system specifications. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/SEFM.2010.40 | SEFM |
Keywords | Field | DocType |
original circus,circus,circus timed model,brand-new feature,utp-style semantics,timed model,compact extension,timed csp,programming language semantics,system specification,implication ordering,reactive design,flexible expressiveness,utp,complete lattice,reactive design miracle,miracle,significant contribution,formal specification,helium,computational modeling,semantics,real time systems | Miracle,Programming language,Computer science,Formal specification,Complete lattice,System requirements specification,Programming profession,Semantics,Expressivity | Conference |
ISBN | Citations | PageRank |
978-1-4244-8289-4 | 7 | 0.51 |
References | Authors | |
9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kun Wei | 1 | 46 | 3.89 |
Jim Woodcock | 2 | 534 | 77.08 |
A Burns | 3 | 5034 | 375.85 |