Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/40052
DC Field | Value | |
---|---|---|
dc.title | Extracting FSMs from object-Z specifications with history invariants | |
dc.contributor.author | Sun, J. | |
dc.contributor.author | Dong, J.S. | |
dc.date.accessioned | 2013-07-04T07:55:35Z | |
dc.date.available | 2013-07-04T07:55:35Z | |
dc.date.issued | 2005 | |
dc.identifier.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. | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/40052 | |
dc.description.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. | |
dc.source | Scopus | |
dc.subject | FSMs | |
dc.subject | Object-Z | |
dc.subject | Software Specification | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS | |
dc.description.page | 96-105 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple 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.