Prof Xiaodong Liu X.Liu@napier.ac.uk
Professor
We discuss the current situation of formal methods and their use in the re-engineering of computing systems, especially real time systems. Based on the analysis result, a solution which uses a consistent 4-sector Wide Spectrum Language (WSL) is proposed, which presently includes the general architecture and work flow, the structure of Object-Action Model, the syntax and semantics of Object Oriented Temporal Agent Model (ObTAM) and Timed Guarded Command Language (TGCL). A small case study shows an optimistic future of our WSL technique. Further research will aim to build the complete semantic kernel of the WSL and its associated algebraic laws, including transformation rules and abstraction rules.
Liu, X., Chen, Z., Yang, H., Zedan, H., & Chu, W. (1997, December). A design framework for system re-engineering
Start Date | Dec 2, 1997 |
---|---|
End Date | Dec 5, 1997 |
Publication Date | 1997 |
Deposit Date | Jul 21, 2010 |
Peer Reviewed | Peer Reviewed |
Pages | 342-352 |
Book Title | APSEC'97/ICSC'97 - Fourth Asia-Pacific Software Engineering and International Computer Science Conference |
ISBN | 0-8186-8271-X |
DOI | https://doi.org/10.1109/APSEC.1997.640191 |
Keywords | formal methods; re-engineering; wide spectrum language; real time systems; object orientation; interval temporal logic; |
Public URL | http://researchrepository.napier.ac.uk/id/eprint/3231 |
Publisher URL | http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640191 |
Requirements model driven adaption and evolution of Internetware
(2014)
Journal Article
Jabber-based cross-domain efficient and privacy-ensuring context management framework.
(2013)
Journal Article
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search