Email address: peter dot wong (a-t) fredhopper dot com





I am a research software engineer at Fredhopper working on the EC FP7 project HATS.

I lead the validation work package in the HATS project. The activities in the validation work package include requirement elicitation for the project's technical activities, and the evaluation of the modelling languages, analysis techniques and software tools developed in the project. As a software engineer at Fredhopper, my responsibilities include, among others, the specification, implementation and maintenance of the navigation functionalities of the core eCommerce solution.

I obtained my DPhil (PhD) in Computer Science from the Software Engineering Group, Department of Computer Science, University of Oxford. My doctoral supervisor was Professor Jeremy Gibbons. Before then I completed my MSc in Computer Science with Professor Stephen Jarvis at the High Performance Research Group, University of Warwick, prior to that I was a research assistant working with Dr. Alvin Chan at the Department of Computing, The Hong Kong Polytechnic University (2004). I completed my BSc in Computer Science at the University of Warwick in 2003. 

Research Interests

My research interest in the HATS project focuses on the application of formal methods to the specification, the modelling and the analysis of adaptable and evolving distributed object oriented systems. I am also interested in the application of formal methods (formal specification, model-based testing and formal verification) to industrial software development.

My doctoral research considered the application of the Z notation and the process algebra CSP (or Communicating Sequential Processes) to develop a compositional approach to the specification, verification and refinement of workflow (business) processes. The research work was due to the project Choreographing Complex Services, which was part of the CancerGrid consortium. My doctoral study was financially supported by a studentship under the Microsoft Research Grant from CancerGrid.

Publications (also on DBLP and Google Scholar)

Book Chapters

1. D. Clarke, N. Diakov, R. Hähnle, E.B. Johnsen, I. Schaefer, J. Schäfer, R. Schlatte, P.Y.H. Wong, Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. Formal Methods for Eternal Networked Software Systems, volume 6659 of LNCS. Jun 2011. DOI (10.1007/978-3-642-21455-4_13)

Journal Publications

1. P.Y.H. Wong, E. Albert, R. Muschevici, J. Proenca, J.Schäfer and R. Schlatte, The ABS Tool Suite: Modelling, Executing and Analysing Distributed Adaptable Object-Oriented Systems. Submitted for publication, Sep 2011
   
2. P.Y.H. Wong and J. Gibbons, Formalisations and Applications of BPMN.  Special issue of FOCLASA08, volume 76, issue 8 of Science of Computer Programming, Aug 2011. DOI (10.1016/j.scico.2009.09.010).
3. P.Y.H. Wong and J. Gibbons, Property Specifications for Workflow Modelling. Special issue of IFM2009, volume 76, issue 10 of Science of Computer Programming, Oct 2011. DOI (10.1016/j.scico.2010.09.007).
   

Conference and Workshop Publications

1. F.S. De Boer, R. Hähnle, E.B. Johnsen, R. Schlatte and P.Y.H. Wong, Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study. Submitted for publication, Apr 2012
2. S. De Gouw, F.S. De Boer, E.B. Johnsen and P.Y.H. Wong, Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. Submitted for publication, Apr 2012
3. P.Y.H. Wong, Compositional Development of BPMN. Submitted for publication, Apr 2012
4. R. Hähnle, M. Helvensteijn, E.B. Johnsen, M. Lienhardt, D. Sangiorgi, I. Schaefer and P.Y.H. Wong, HATS Abstract Behavioral Specification: The Architectural View. Submitted for publication, Feb 2012
   
5. M. Helvensteijn, R. Muschevici and P.Y.H. Wong, Delta Modeling in Practice - A Fredhopper Case Study. In Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS 2012), ACM, Jan 2012. DOI(10.1145/2110147.2110163).
   
6. P.Y.H. Wong, N. Diakov and I. Schaefer, Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study. To appear in Proceedings of 2nd International Conference on Formal Verification of Object-Oriented Software, Torino, Italy, Oct 2011.
7. D. Bavides, M. Leuker, M. Becker, R. Rabiser, K. Villela and P.Y.H. Wong. Formal Methods and Analysis in Software Product Line Engineering. 15th International Conference on Software Product Line Conference (SPLC 2011), Munich, Germany, IEEE Computer Society, August 2011. DOI(10.1109/SPLC.2011.39).
8. D. Clarke, N. Diakov, R. Hähnle, E.B. Johnsen, G. Puebla, B. Weitzel and P.Y.H. Wong, HATS - A Formal Software Product Line Engineering Methodology. In Proceedings of International Workshop on Formal Methods in Software Product Line Engineering, 2nd volume of Proceedings of 14th International Conference on Software Product Line, Jeju Island, South Korea. Sep 2010.
   
9. P.Y.H. Wong and J. Gibbons, Property Specifications for Workflow Modelling. In Proceedings of 7th International Conference on Integrated Formal Methods, volume 5423 of LNCS, Dusseldorf, Germany. Feb 2009. Invited for special issue in Science of Computer Programming. DOI (10.1007/978-3-642-00255-7_5). (Extended version)
10. P.Y.H. Wong and J. Gibbons, A Process Semantics for BPMN. In Proceedings of 10th International Conference on Formal Engineering Methods, volume 5256 of LNCS, Kitakyushu (Kokura), Japan. Oct 2008.  DOI (10.1007/978-3-540-88194-0_22). (Extended version)
11. P.Y.H. Wong and J. Gibbons, Verifying Business Process Compatibility. In Proceedings of 8th International Conference on Quality Software, IEEE Computer Society, Oxford, UK. Aug 2008. DOI (10.1109/QSIC.2008.6)
12. P.Y.H. Wong and J. Gibbons, A Relative Timed Semantics for BPMN. In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA08), ENTCS, Reykjavik, Iceland. Jul 2008. Accepted for special issue in Science of Computer Programming. DOI(10.1016/j.entcs.2009.06.029). (Extended version)
13. P.Y.H. Wong and J. Gibbons, On Specifying and Visualising Long-Running Empirical Studies. In Proceedings of International Conference on Model Transformations, volume 5063 of LNCS, Zurich, Switzerland. Jul 2008. DOI (10.1007/978-3-540-69927-9_6). (Extended version)
14. P.Y.H. Wong and J. Gibbons, A Process-Algebraic Approach to Workflow Specification and Refinement. In Proceedings of 6th International Symposium on Software Composition, volume 4829 of LNCS, Braga, Portugal. Mar 2007. DOI (10.1007/978-3-540-77351-1_5).
    
15. A.T.S. Chan, P.Y.H. Wong and S.N. Chuang, CRL: A Context-aware Request Language for Mobile Computing. In Proceedings of 2nd International Symposium on Parallel and Distributed Processing and Applications, volume 3358 of LNCS, Hong Kong, China. Dec 2004. DOI (10.1007/978-3-540-30566-8_63).
    

Workshops Presentations

1. P.Y.H. Wong, N. Diakov and I. Schaefer, Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study. 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering, Munich, Germany. Aug 2011.
2. P.Y.H. Wong and J. Gibbons, Property Specifications for Workflow Modelling. 25th Annual British Colloquium on Theoretical Computer Science, University of Warwick, UK. Apr 2009.
   
3. P.Y.H. Wong and J. Gibbons, A Relative Timed Semantics for BPMN. 3rd European Young Researchers Workshop on Service Oriented Computing, Imperial College, UK. Jun 2008.
4. P.Y.H. Wong and J. Gibbons, A Relative Timed Semantics for BPMN. 24th Annual British Colloquium on Theoretical Computer Science, Durham University, UK. Apr 2008.
5. P.Y.H. Wong and J. Gibbons, Verifying Business Process Compatibility. 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, Paphos, Cyprus. Jun 2007.
6. P.Y.H. Wong and J. Gibbons, Verifying Business Process Compatibility. 2nd European Young Researchers Workshop on Service Oriented Computing, University of Leicester, UK. Jun 2007.
7. P.Y.H. Wong, Towards a Unified Model for Workflow Processes. 1st Service-Oriented Software Research Network Workshop, University of Manchester, UK. Jun 2006.

Technical Reports/Theses

1. Formalisations and Applications of Business Process Modelling Notation. DPhil Thesis, Department of Computer Science, University of Oxford, 2011 (ORA).
2. An Investigation in Energy Consumption Analyses and Application-Level Prediction Techniques. Master's Thesis, Department of Computer Science, University of Warwick, 2006.
3. Bytecode Monitoring of Java Programs. BSc project report, Department of Computer Science, University of Warwick, 2003.

Invited Talk

1. Delta Modeling Workflow. Amsterdam Coordination Group, CWI, Amsterdam, The Netherlands, Jan 2012
   
2. Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study. 2nd International Conference on Formal Verification of Object-Oriented Software, Torino, Italy, Oct 2011
3. Property Specifications for Workflow Modelling. GRACE Seminar, National Institute of Informatics, Tokyo, Japan, Oct 2008

Academic Duties