Abstract | ||
---|---|---|
In this work we propose a time model for Circus. The model is an extension to the model proposed by the unifying theories of programming and used by Circus. We take a subset of Circus and study its semantics in the new model. We create an abstraction function that maps the timed model to the original model. The main objective of this mapping is to create a relation between the two models. This allows the exploration of some properties of the timed semantics in the untimed model. We study a toy example to illustrate the use of this mapping. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1007/3-540-36103-0_62 | ICFEM |
Keywords | Field | DocType |
untimed model,original model,abstraction function,new model,time model,unifying theory,main objective,toy example | Galois connection,Knowledge representation and reasoning,Abstraction,Computer science,Real-time operating system,Theoretical computer science,Formal specification,Time model,Semantics,Semantic data model | Conference |
Volume | ISSN | ISBN |
2495 | 0302-9743 | 3-540-00029-1 |
Citations | PageRank | References |
31 | 1.81 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Adnan Sherif | 1 | 83 | 5.26 |
He Jifeng | 2 | 1771 | 190.43 |