A COALGEBRAIC APPROACH FOR THE FORMALIZATION OF UML STATECHARTS

摘要

Specification-based software development can allow the development, verification and maintenance of software at the specification level and can synthesis provably correct code. However, formal specification technology is hard to apply to the industrial development of software. UML has been used widely in the CASE-based software development. But, UML is a semiformal language and lacks formal semantics to express its meaning precisely. The paper proposes an approach for the formalization of UML statecharts mapped to RSL -a specification language based on coalgebra. The purpose is to bridge between UML and formal specification language.