Extracting FSMs from Object-Z specifications with history invariants

  title={Extracting FSMs from Object-Z specifications with history invariants},
  author={Jun Sun and Jin Song Dong},
  journal={10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)},
Object-Z with history invariants can present precise and abstract models for complex systems. The system behavior patterns are often implicitly embedded within various state/operational constraints and history invariants. Without explicit system behavior representations, it is difficult to implement those abstract models. In this paper, we present a sound and systematic approach to automatically extract explicit system behaviors (as FSMs) from the abstract Object-Z specifications. Safety and… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-5 of 5 extracted citations

Automated generation of finite state machine from object-oriented formal specifications

2010 6th International Conference on Emerging Technologies (ICET) • 2010
View 4 Excerpts
Highly Influenced

An Automatic Approach to Generating State Diagram from Contract-Based Class

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems • 2009
View 4 Excerpts
Highly Influenced

Context Awareness Systems Design and Reasoning

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) • 2006
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 29 references

Formal Object Oriented Specification Using Object-Z

R. Duke, G. Rose
Cornerstones of Computing Series. Macmillan, • 2000
View 1 Excerpt

The Object-Z Specification Language

Advances in Formal Methods • 2000
View 2 Excerpts

Xmi: Xml metadata interchange

OMG Group
http://www- 4.ibm.com/software/ad/standards/xmi.html • 2000
View 1 Excerpt

Similar Papers

Loading similar papers…