Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40052
Title: Extracting FSMs from object-Z specifications with history invariants
Authors: Sun, J. 
Dong, J.S. 
Keywords: FSMs
Object-Z
Software Specification
Issue Date: 2005
Source: Sun, J.,Dong, J.S. (2005). Extracting FSMs from object-Z specifications with history invariants. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 96-105. ScholarBank@NUS Repository.
Abstract: 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 liveness and additional crucial requirements for open systems are ensured. © 2005 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/40052
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

30
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.