Jackie's Publication

Roadmap

Thesis
Journals
Conferences
Technical Reports

Thesis

Chen-Wei Wang. Model-Driven Development of Information Systems. PhD Thesis, University of Oxford. Oxford University Research Archive.

Abstract.

This thesis is aimed at developing reliable information systems (ISs) through the application of model-driven and formal techniques. These are techniques in which a precise, formal model of system behaviour is exploited as source code. As such a model may be more abstract, and more concise, than source code written in a conventional programming language, it should be easier and more economical to create, to analyse, and to change. The results consist of theories, techniques, and tools that enable us to validate the consistency of an IS model, to automatically generate—from a validated IS model—a provably correct implementation, and to ensure an efficient and safe execution of complex workflows, namely, patterns of operations.

Back to Roadmap

Journals

	Linna Pang, Chen-Wei Wang, Mark Lawford, and Alan Wassyng. Formal Verification of Function Blocks Applied to IEC 61131-3. In Science of Computer Programming (SCP), Volume 113, December 2015, pp. 149 — 190.
	Jim Davies, David Milward, Chen-Wei Wang, and James Welch. Formal Model-Driven Engineering of Critical Information Systems. In Science of Computer Programming (SCP), Volume 103, June 2015, pp. 88 — 113.

Back to Roadmap

Conferences

	Chen-Wei Wang. Creating Tutorial Materials as Lecture Supplements by Integrating Drawing Tablet and Video Capturing/Sharing. In 8th Computer Science Education Research Conference (CSERC), pp. 1 — 8. ACM, 2019.
	Chen-Wei Wang. Integrating Drawing Tablet and Video Capturing/Sharing to Facilitate Student Learning. In ACM Global Computing Education (CompEd), pp. 150 — 156. ACM, 2019.
	Jonathan Ostroff and Chen-Wei Wang. Modelling and Testing of Requirements via Executable Abstract State Machines. In Model-Driven Requirements Engineering (MoDRE) (affiliated with Requirements Engineering), pp. 1 — 10. IEEE, 2018.
	Chen-Wei Wang, Jonathan Ostroff, and Simon Hudon. Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. In Engineering Safety and Security Systems (ESSS) (affiliated with Formal Methods). Electronic Proceedings of Theoretical Computer Science (EPTCS), Volume 184, pp. 81 — 95, 2015.
	Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, David Tremaine, Josh Newell, and Vera Chow. Formal Verification of Real-Time Function Blocks Using PVS. In Engineering Safety and Security Systems (ESSS) (affiliated with Formal Methods). Electronic Proceedings of Theoretical Computer Science (EPTCS), Volume 184, pp. 65 — 79, 2015.
	Chen-Wei Wang, Jonathan Ostroff, and Simon Hudon. Precise Documentation and Validation of Requirements. In International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS). Springer's Communications in Computer and Information Science (CCIS), Volume 419, pp. 262 — 279, 2014.
	Jonathan Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, and Jun Sun. TTM/PAT: Specifying and Verifying Timed Transition Models. In International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS). Springer's Communications in Computer and Information Science (CCIS), Volume 419, pp. 107 — 124, 2014.
	Linna Pang, Chen-Wei Wang, Mark Lawford, and Alan Wassyng. Formalizing and Verifying Function Blocks using Tabular Expressions and PVS. In International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS). Springer's Communications in Computer and Information Science (CCIS), Volume 419, pp. 125 — 141, 2014.
	Chen-Wei Wang and Jim Davies. Formal Model-Driven Engineering: Generating Data and Behavioural Components. In Formal Techniques for Safety-Critical Systems (FTSCS). Electronic Proceedings of Theoretical Computer Science (EPTCS), Volume 105, pp. 100 — 117, 2013.
	Chen-Wei Wang. Calculating Preconditions for Parallel Workflows. In Asia-Pacific Software Engineering Conference (APSEC), pp. 499 — 504. IEEE, 2012.
	Chen-Wei Wang. A Formal Approach for the Iterative Design of Behavioural Models. In Asia-Pacific Software Engineering Conference (APSEC), pp. 505 — 510. IEEE, 2012.
	Chen-Wei Wang, Alessandra Cavarra, and Jim Davies. Formal and Model-Based Testing of Concurrent Workflows. In Quality Software (QSIC), pp. 252 — 259. IEEE, 2011.
	Chen-Wei Wang, Jim Davies, and James Welch. A guarded workflow language and its formal semantics. In Theoretical Aspects of Software Engineering (TASE), pp. 25 — 34. IEEE, 2010.
	Chen-Wei Wang and Alessandra Cavarra. Checking model consistency using data-flow testing. In Asia-Pacific Software Engineering Conference (APSEC), pp. 414 — 421. IEEE, 2009.
	Jonathan Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz A. Torshizi. Automated model-based verification of object-oriented code. In Verified Software: Theory, Tools, and Experiments (VSTTE), pp. 18 — 29, Microsoft Research Report MSR-TR-2006-117, 2006.
	Jonathan Ostroff, Chen-Wei Wang, Eric Kerfoot, and Faraz A. Torshizi. ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code. In Research Tools, Formal Methods (FM), 2006.

Back to Roadmap

Technical Reports

	Chen-Wei Wang, Jonathan S. Ostroff, and Simon Hudon. Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. Tech Report EECS-2014-03, York University, 2014.
	Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, David Tremaine, Josh Newell, and Vera Chow. Formal Verification of Real-Time Function Blocks Using PVS. Technical Report 16, McMaster Centre for Software Certification, McMaster University, 2014.
	Chen-Wei Wang, Jonathan S. Ostroff, and Simon Hudon. Precise Documentation and Validation of Requirements. Tech Report CSE-2013-08, York University, 2013.
	Jonathan S. Ostroff, Chen-Wei Wang, and Simon Hudon. TTM/PAT: A Tool for Modelling and Verifying Timed Transition Models. Tech Report CSE-2013-05, York University, 2013.
	Linna Pang, Chen-Wei Wang, Mark Lawford, and Alan Wassyng. Formalizing and Verifying Function Blocks using Tabular Expressions and PVS. Technical Report 11, McMaster Centre for Software Certification, McMaster University, 2013.
	Jonathan Ostroff, Chen-Wei Wang, and Simon Hudon. Precise Documentation of Requirements and Executable Specifications. Technical Report, Computer Science and Engineering. York University, CSE-2012-03.

Back to Roadmap