Home



Linkedin page: uk.linkedin.com/in/peteryhwong
Position: Lead Engineer at Travelex

Summary

  • Experience in distributed, concurrent object oriented systems deployed as cloud services with high throughput and low latency requirements
  • Experience in understanding and improving legacy code
  • Strong knowledge of Java with experience in other object oriented, functional and modelling languages
  • Understand various concurrency models including actors, cooperative scheduling and multi-threading
  • Managed software projects with strict deadlines and multiple stakeholders
  • Possess solid knowledge in formal methods, specialising in formal specification, Design by Contract, model-based testing and model checking
  • Applied successfully formal methods into the lifecycle of the software design process
Education
Research Projects
  • Envisage -- Engineering Virtualized Service (Oct 2013 - Sep 2016)
  • BETTY (COST Action IC1201) -- Behavioural Types for Reliable Large-Scale Software Systems (Oct 2012 - Oct 2016)
  • HATS -- Highly Adaptable and Trustworthy Software using Formal Models (Mar 2009 - Feb 2013)
Research Interests

I am 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 (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. M. Bravetti, E. Giachino, M. Lienhardt and P.Y.H. Wong, Dynamic Rebinding for Concurrent Object Groups: Theory and practice. To appear in Journal of Logical and Algebraic Methods in Programming, Mar 2016. DOI (10.1016/j.jlamp.2016.03.002)
  2. P.Y.H. Wong, R. Bubel, F.S. de Boer, M. Gómez-Zamalloa, S. de Gouw, R. Hähnle, K. Meinke and M. Azam Sindhu, Testing Abstract Behavioural Specifications. volume 17, number 1 of International Journal on Software Tools for Technology Transfer, Feb 2015. DOI (10.1007/s10009-014-0301-x).
  3. E. Albert, F.S. de Boer, R. Hähnle, E.B. Johnsen, R. Schlatte, S.L.T. Tarifa  and P.Y.H. Wong, Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Special issue of European Conference on Service-Oriented and Cloud Computing, Service Oriented Computing and Applications, Dec 2013. DOI (10.1007/s11761-013-0148-0).
  4. F.S. de Boer, E.B. Johnsen, S. de Gouw, A. Kohn and P.Y.H. Wong, Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. Special issue on Runtime Verification and Analysis, Transactions on Aspect-Oriented Software Development (TAOSD), volume 8400, of LNCS, 2014. DOI (10.1007/978-3-642-55099-7_1).
  5. 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. Special section on Diversity - Modeling, Analysis and Evolution, volume 14, number 5 of International Journal on Software Tools for Technology Transfer, Jul 2012. DOI (10.1007/s10009-012-0250-1).
  6. 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).
  7. 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. L. Feng, K. Meinke, F. Niu, M. Sindhu and P.Y.H. Wong, Case Studies in Learning-based Testing. In Proceedings of 25th IFIP International Conference on Testing Software and Systems, volume 8254 of LNCS, Istanbul, Turkey, Nov 2013. DOI (10.1007/978-3-642-41707-8_11).
  2. F.S. de Boer, S. de Gouw and P.Y.H. Wong, Run-Time Verification of Coboxes. In Proceedings of 11th International Conference on Software Engineering and Formal Methods, volume 8137 of LNCS, Madrid, Spain, Sep 2013. DOI (10.1007/978-3-642-40561-7_18).
  3. E. Albert, P. Arenas, M. Gómez-Zamalloa, and P.Y.H. Wong, aPET: A Test Case Generation Tool for Concurrent Objects. In Proceedings of 21st ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, Aug 2013. DOI (10.1145/2491411.2494590).
  4. P.Y.H. Wong, Compositional Development of BPMN. In Proceedings of 12th International Conference on Software Composition, volume 8088 of LNCS, Budapest, Hungary. Jun 2013. DOI(10.1007/978-3-642-39614-4_7)
  5. E. Giachino, C.A. Grazia, C. Laneve, M. Lienhardt and P.Y.H. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice. In Proceedings of 10th International Conference on integrated Formal Methods, volume 7940 of LNCS, Turku, Finland, Jun 2013. DOI(10.1007/978-3-642-38613-8_27)
  6. S. de Gouw, F.S. de Boer, E.B. Johnsen and P.Y.H. Wong, Run-Time Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. In Proceedings of 28th ACM Symposium on Applied Computing, Track on Object Oriented Programming Languages and Systems, Coimbra, Portugal, Mar 2013. DOI(10.1145/2480362.2480656)
  7. 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. In Proceedings of 8th International Symposium on Formal Methods for Components and Objects, volume 7542 of LNCS, Torino, Italy, Oct 2011. DOI(10.1007/978-3-642-35887-6_6)
  8. M.H. ter Beek, M. Becker, A. Classen, F. Roos-Frantz, I. Schaefer and P.Y.H. Wong. Formal Methods and Analysis in Software Product Line Engineering - 3rd edition of FMSPLE workshop series. In Proceedings of 16th International Conference on Software Product Line Conference (SPLC 2012), Salvador, Brazil, ACM, Sep 2012. DOI(10.1145/2362536.2362576)
  9. 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. In Proceedings of European Conference on Service-Oriented and Cloud Computing, volume 7592 of LNCS, Bertinoro, Italy. Sep 2012. Invited for special issue in Service Oriented Computing and Applications. DOI(10.1007/978-3-642-33427-6_7)
  10. M. Helvensteijn, R. Muschevici and P.Y.H. Wong, Delta Modeling in Practice - A Fredhopper Case Study. In Proceedings of 6th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS 2012), ACM, Leipzig, Germany. Jan 2012. DOI(10.1145/2110147.2110163).
  11. P.Y.H. Wong, N. Diakov and I. Schaefer, Modelling Software Product Lines using HATS Approach – A Fredhopper Case Study. In Proceedings of 2nd International Conference on Formal Verification of Object-Oriented Software, volume 7421 of LNCS, Torino, Italy, Jul 2012. DOI(10.1007/978-3-642-31762-0_5)
  12. D. Bavides, M. Leuker, M. Becker, R. Rabiser, K. Villela and P.Y.H. Wong. Formal Methods and Analysis in Software Product Line Engineering. In Proceedings of 15th International Conference on Software Product Line Conference (SPLC 2011), Munich, Germany, IEEE Computer Society, August 2011. DOI(10.1109/SPLC.2011.39).
  13. 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.
  14. 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)
  15. 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)
  16. 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)
  17. 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)
  18. 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)
  19. 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).
  20. 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 (CSR).
  3. Bytecode Monitoring of Java Programs. BSc project report, Department of Computer Science, University of Warwick, 2003.
Invited Talk
  1. Formal Methods @ SDL Fredhopper. Universiteit Twente, Enschede, The Netherlands, Oct 2013
  2. Delta Modeling Workflow. Amsterdam Coordination Group, CWI, Amsterdam, The Netherlands, Jan 2012
  3. 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
  4. Property Specifications for Workflow Modelling. GRACE Seminar, National Institute of Informatics, Tokyo, Japan, Oct 2008
Academic Duties

I have served on the programme/organisation committees for the following conferences and workshops:
I have been a reviewer for the following journals:
I have been an external reviewer for the following conferences and journals:
ą
mug3.jpg
(109k)
Peter Wong,
28 Apr 2015, 02:17
Comments