Skip to main content

Research Repository

Advanced Search

All Outputs (3)

The Equivalence of Statecharts (2003)
Conference Proceeding
Long, Q., Qiu, Z., Qin, S., Dong, J., & Woodcock, J. (2003). The Equivalence of Statecharts. In Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, 5-7 November 2003, Singapore ; proceedings (125-143). https://doi.org/10.1007/978-3-540-39893-6_9

This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations. An input/response trace model is also investigated at the l... Read More about The Equivalence of Statecharts.

A semantic foundation for TCOZ in unifying theories of programming (2003)
Conference Proceeding
Qin, S., Dong, J., & Chin, W. (2003). A semantic foundation for TCOZ in unifying theories of programming. In FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings (321-340). https://doi.org/10.1007/978-3-540-45236-2_19

Unifying Theories of Programming (UTP) can provide a formal semantic foundation not only for programming languages but also for more expressive specification languages. We believe UTP is particularly well suited for presenting the formal semantics fo... Read More about A semantic foundation for TCOZ in unifying theories of programming.

Mapping Statecharts to Verilog for Hardware/Software Co-Specification (2003)
Conference Proceeding
Qin, S., Chin, W., Araki, K., Gnesi, S., & Mandrioli, D. (2003). Mapping Statecharts to Verilog for Hardware/Software Co-Specification. In FME 2003 : formal methods : International Symposium of Formal Methods Europe, 8-14 September 2003, Pisa, Italy: proceedings (282-299). https://doi.org/10.1007/978-3-540-45236-2_17

Hardware-Software co-specification is a critical phase in co-design. Our co-specification process starts with a high level graphical description in Statecharts and ends with an equivalent parallel composition of hardware and software descriptions in... Read More about Mapping Statecharts to Verilog for Hardware/Software Co-Specification.