Ir Dr Vitus S.W. Lam

Academic Qualification

Professional Qualifications

• Chartered Member of the British Computer Society
• Registered Professional Engineer (Information), Engineers Registration Board, Hong Kong
• Member of the Hong Kong Institution of Engineers
• Chartered Engineer
• Member of Hong Kong Computer Society
• Member of the Institution of Analysts and Programmers
• Member of IEEE
• Member of ACM

Research Interests

• automated software engineering
• formal methods
• visual modelling languages
• process algebras
• model checking
• e-commerce
• multi-agent systems
• business process modelling
• Web services

Selected Publications

• Lam, V.S.W. and Padget, J. Formalization of UML Statechart Diagrams in the pi-Calculus. In Proceedings of 2001 Australian Software Engineering Conference, pages 213–223. IEEE Computer Society, 2001.
• Lam, V.S.W. and Padget, J. On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. In Proceedings of the International Conference on Software Engineering Research and Practice, pages 877–882. CSREA Press, 2003.
• Lam, V.S.W. and Padget, J. Analyzing Equivalences of UML Statechart Diagrams by Structural Congruence and Open Bisimulations. In Proceedings of 2003 IEEE Symposium on Human Centric Computing Languages and Environments, pages 137–144. IEEE Computer Society, 2003. (tier A conference – 2007 CORE ranking)
• Lam, V.S.W. and Padget, J. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In Proceedings of Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pages 337–346. IEEE Computer Society, 2004.
• Lam, V.S.W. and Padget, J. Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. In Proceedings of 2004 IEEE International Conference on E-Commerce Technology, pages 229–235. IEEE Computer Society, 2004.
• Lam, V.S.W. and Padget, J. Analyzing Execution Semantics of Statecharts Variants. In Proceedings of 8th World Multi-Conference on Systemics, Cybernetics and Informatics, volume 1, pages 474–478. IIIS, 2004.
• Lam, V.S.W. and Padget, J. An Integrated Environment for Communicating UML Statechart Diagrams. In Proceedings of 3rd ACS/IEEE International Conference on Computer Systems and Applications, IEEE Computer Society, 2005.
• Lam, V.S.W. and Padget, J. Consistency Checking of Statechart Diagrams of a Class Hierarchy. In Proceedings of 19th European Conference on Object Oriented Programming, LNCS 3586, pages 412–427, 2005. (acceptance rate: 14%; tier A conference – 2007 CORE ranking)
• Lam, V.S.W. and Padget, J. Consistency Checking of Statechart Diagrams and Sequence Diagrams Using the pi-Calculus. In Proceedings of 5th International Conference on Integrated Formal Methods, LNCS 3771, pages 347–365, 2005.
• Lam, V.S.W. A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams. Technical Report, University of Bath, 2006, ISSN 1740-9497. [pdf]
• Lam, V.S.W. A Formalism for Reasoning about UML Activity Diagrams. Nordic Journal of Computing, 14(1–2):43–64, 2007. (Citeseer Publication Impact 2003: 0.80; top 31.53%) [TOC]
• Lam, V.S.W. On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams. International Journal of Software Engineering and Knowledge Engineering, 18(4):541–567, 2008. (JCR Impact Factor 2008: 0.447)   [DOI: 10.1142/S021819400800378]
• Lam, V.S.W. Dynamic Workflow Patterns. In Proceedings of 2008 International Conference on Enterprise Information Systems and Web Technologies, pages 160–166. ISRST, 2008.
• Lam, V.S.W. Theory for Classifying Equivalences of UML Activity Diagrams. IET Software Journal, 2(5):391–403, 2008. (JCR Impact Factor 2008: 0.542)   [DOI: 10.1049/iet-sen:20070045][IEEE Xplore]
• Lam, V.S.W. A Formal Execution Semantics and Rigorous Analytical Approach for Communicating UML Statechart Diagrams. ProQuest, 2008, ISBN 978-0-549-50941-7. (Publication No. AAT 3305148)
• Lam, V.S.W. Equivalences of BPMN Processes. Service Oriented Computing and Applications, 3(3):189–204, 2009.   [DOI: 10.1007/s11761-009-0048-5]
• Lam, V.S.W. Formal Analysis of BPMN Models: A NuSMV-based Approach. International Journal of Software Engineering and Knowledge Engineering, 20(7):987–1023, 2010.   [DOI: 10.1142/S0218194010005079]
• Lam, V.S.W. A Precise Execution Semantics for BPMN. IAENG International Journal of Computer Science, 39(1):20–33, 2012.
• Lam, V.S.W. Foundation for Equivalences of BPMN Models. Theoretical and Applied Informatics, 24(1): 33–66, 2012.

Copyright Registration

• A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. United States Copyright Office Registration Number: TX 6-638-696.

Visiting Position

• Visitor, Decision Systems Laboratory,
  School of IT and Computer Science,
  University of Wollongong,
  Australia
  25–29 June 2007

Invited Presentations

• Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. International Institute for Software Technology, United Nations University (UNU-IIST). June 16, 2006.
• A Formal Execution Semantics for UML Statechart Diagrams. Decision Systems Laboratory, School of IT and Computer Science, University of Wollongong. June 25, 2007.

Associate Editor/Technical Editors/Editorial Members/Reviewers for Journals

• Associate Editor, INFOCOMP Journal of Computer Science. 2007–present.
• Member, Advisory/Editorial Board, International Journal of Software Engineering and Its Applications. 2007–present.
• Member, Domain Experts Board, International Journal of Patterns. 2007–present.
• Reviewer, International Journal of Software Engineering and Knowledge Engineering. 2007.
• Technical Editor, Information Technology Journal. 2008–2010.
• Technical Editor, Journal of Software Engineering. 2008–2010.
• Technical Editor, Research Journal of Information Technology. 2008–2010.
• Member, Editorial Review Board, Journal of Information, Information Technology, and Organizations. 2008–present.
• Technical Editor, Journal of Artificial Intelligence. 2008–2010.
• Reviewer, Advance Computing and Communication Journal. 2008.
• Member, Editorial Review Board, International Journal of Secure Software Engineering. 2009–present.
• Reviewer, International Journal of Management in Education. 2009.
• Reviewer, International Journal of Software Engineering and Knowledge Engineering. 2009.
• Reviewer, Computing Reviews. 2009–present.
• Member, Editorial Advisory Board, Journal of Theoretical and Applied Information Technology. 2009–present.
• Reviewer, International Journal of Software Engineering and Knowledge Engineering. 2010.
• Reviewer, Journal of Supercomputing. 2010.
• Member, Editorial Board, International Journal of Software Engineering. 2010–present.
• Reviewer, Software – Practice and Experience. 2011.
• Member, Reviewer Board, International Journal of Advanced Computer Science and Applications. 2011–present.
• Editor, International Journal of Latest Trends in Software Engineering. 2011–present.
• Reviewer, Journal of Supercomputing. 2011.
• Reviewer, Journal of Software and Systems Modeling. 2011.
• Technical Editor, Information Technology Journal. 2012–present.
• Technical Editor, Journal of Software Engineering. 2012–present.
• Technical Editor, Research Journal of Information Technology. 2012–present.
• Technical Editor, Journal of Artificial Intelligence. 2012–present.

Program Committees/Reviewers for Conferences

• Reviewer, Software Engineering Process Group Conference 2007.
• Program Committee, First Mahasarakham International Workshop on Artificial Intelligence (MIWAI '07).
• Reviewer, Software Engineering Constituent Committee, 2008 ASEE Annual Conference & Exposition.
• Reviewer, 48th Annual International Association for Computer Information Systems Fall Conference (IACIS 2008 Fall Conference).
• Program Committee, 2008 International Conference on Enterprise Information Systems and Web Technologies (EISWT-08).
• Program Committee, 2008 International Conference on Software Engineering Theory and Practice (SETP-08).
• Program Committee, 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08).
• Program Committee, 17th International Conference on Information Systems Development (ISD2008).
• Reviewer, Software Engineering Process Group Europe Conference 2008.
• Program Committee, 2008 International Conference on Software Engineering Research and Practice (SERP '08).
• Reviewer, 2nd International Conference on Knowledge Generation, Communication and Management (KGCM 2008).
• Program Committee, Software Engineering Symposium, 2009 World Congress on Computer Science and Information Engineering (CSIE 2009).
• Reviewer, 3rd International Conference on Knowledge Generation, Communication and Management (KGCM 2009).
• Reviewer, Second International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2009).
• Program Committee, 2009 International Conference on Enterprise Information Systems and Web Technologies (EISWT-09).
• Program Committee, 2009 International Conference on Recent Advances in Information Technology and Applications (RAITA-09).
• Program Committee, 2009 International Conference on Software Engineering Theory and Practice (SETP-09).
• Program Committee, 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09).
• Reviewer, Software Engineering Constituent Committee, 2009 ASEE Annual Conference & Exposition.
• Program and Organizing Committee, First Workshop on Software Engineering for Ubiquitous Computing (SEUC '09).
• Program Committee, Sixth International Workshop on the Application of UML/MDA to Software Systems (UMSS 2009).
• Program and Organizing Committee, Federated Databases Consortium Workshop (FDBC '09).
• Reviewer, 49th Annual International Association for Computer Information Systems Fall Conference (IACIS 2009 Fall Conference).
• Program Committee, 18th International Conference on Information Systems Development (ISD 2009).
• Reviewer, 6th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2009).
• Reviewer, 4th International Conference on Knowledge Generation, Communication and Management (KGCM 2010).
• Program Committee, 2010 International Conference on Enterprise Information Systems and Web Technologies (EISWT-10).
• Program Committee, 2010 International Conference on Software Engineering Theory and Practice (SETP-10).
• Program Committee, 2010 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10).
• Program Committee, 2010 International Conference on Foundations of Computer Science (FCS '10).
• Program Committee, 2010 International Conference on Software Engineering Research and Practice (SERP '10).
• Reviewer, 7th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2010).
• Reviewer, 5th International Conference on Knowledge Generation, Communication and Management (KGCM 2011).
• Reviewer, 8th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2011).
• Program Committee, 2nd World Congress on Computer Science and Information Engineering (CSIE 2011).
• Reviewer, 51st Annual International Association for Computer Information Systems International Conference (IACIS 2011 International Conference).
• Reviewer, International Symposium on Models and Modeling Methodologies in Science and Engineering (MMMse 2011).
• Program Committee, 2011 International Conference on Foundations of Computer Science (FCS '11).
• Program Committee, 2011 International Conference on Software Engineering Research and Practice (SERP '11).
• Program Committee, 2012 International Conference on Management and Service Science (MASS 2012).

Committees for International Standards

• Member, IEEE 1175.5 Working Group – IEEE Guide to CASE Tool Interconnections: Reference Data Metamodel for System Behaviour. 2009–present.
• Member, Digital Personal Property Study Group, IEEE Microprocessor Standards Committee. 2009–2010.
• Non-voting Member, IEEE P1817 Standard for Consumer-ownable Digital Personal Property. 2010–present.

Reviewers

• Academic Peer Review, Times Higher Education-QS World University Rankings. 2009.
• Academic Peer Review, QS World University Rankings. 2010.
• Academic Peer Review, QS World University Rankings. 2011.
• Academic Peer Review, QS World University Rankings. 2012.