Abstract | ||
---|---|---|
Previous works on formal development for component-based systems usually equate refinement relations as behaviors containment. This setting facilitates verifying safety properties, but can't capture the intuition that a refined component should more easily react to the environment and is not convenient from a point view of design. To address this issue, we argue in favor of defining refinement of component models in terms of alternating simulation, which is a relation on game models with a game-theoretical interpretation. We investigate the refinement relations of component models in the framework of rCOS, which is a formal development method for component systems. We propose the refinement relations of rCOS contract models and specification models respectively and further prove they are alternating simulations. Finally, we define the composition operator on specifications and show the alternating refinement is compositional with respect to this operator. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/COMPSAC.2010.52 | COMPSAC |
Keywords | Field | DocType |
behaviors containment,alternating simulation,formal development method,specification model,composition operator,refinement calculus,game perspective,game model,formal development,game theory,refined component,component model,component system,object-oriented programming,component-based system,component models,refinement,defining refinement,rcos contract model,formal method,game,game theoretical interpretation,component,rcos,formal specification,formal verification,refinement relation,semantics,games,computational modeling,object oriented programming,protocols,design methodology | Object-oriented programming,Refinement calculus,Computer science,Theoretical computer science,Formal specification,Composition operator,Game theory,Operator (computer programming),Formal methods,Formal verification | Conference |
ISSN | ISBN | Citations |
0730-3157 E-ISBN : 978-0-7695-4085-6 | 978-0-7695-4085-6 | 0 |
PageRank | References | Authors |
0.34 | 6 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zizhen Wang | 1 | 29 | 4.45 |
hanpin wang | 2 | 72 | 22.42 |
yongzhi cao | 3 | 63 | 10.56 |
Wanling Qu | 4 | 23 | 4.09 |
Wei Jin | 5 | 12 | 3.66 |
Meixia Zhu | 6 | 6 | 2.22 |