Please use this identifier to cite or link to this item: https://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
Citation: 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.

Google ScholarTM

Check


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