Dr YEUNG Wing-lok


Refereed journal publications

W. L. Yeung. Agent-based Manufacturing Control Based on Distributed Bid Selection and Publish-subscribe Messaging: A Simulation Case Study.  International Journal of Production Research, 50(22):6339-6356, 2011.

W. L. Yeung. A formal and visual modeling approach to choreography based web services composition and conformance verification. Expert Systems with Applications, 38(10):12772-12785, 2011

W. L. Yeung , Behavioral modeling and verification of multi-agent systems for manufacturing control.  Expert Systems with Applications, 38(11):13555-13562, 2011

W. L. Yeung.  Formal verification of negotiation protocols for multi-agent production systems.  International Journal of Production Research, 49(12):3669-3690, 2011.

W. L. Yeung, Karl R.P.H. Leung, Ji Wang and Wei Dong. Modelling and Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. Science of Computer Programming.  65(1):14-29, March 2007

W. L. Yeung. CSP-Based Verification for Web Service Orchestration and Choreography. Simulation, 83(1):65-74, January 2007

Karl R.P.H. Leung, Joseph K-Y Ng, and W. L. Yeung Accessing Embedded Program in Untestable Mobile Environment: Experience of a Trustworthiness Approach. Journal of Systems and Software, 79(7):962-968, July 2006.

W. L. Yeung and S. A. Schneider. Formal Verification of Fault-Tolerant Software Design: The CSP Approach. Microprocessors and Microsystems, 29(5):197--209, June 2005.

W. L. Yeung. Checking Consistency between UML Class and State Models Based on CSP and B.  Journal of Universal Computer Science, 10(11):1540--1559, November 2004.

W. L. Yeung and Ming-te Lu. Gaining Competitive Advantages Through A Functionality Grid for Web Site Evaluation. Journal of Computer Information Systems, 44(4):67--77, Summer 2004.

W. L. Yeung and Ming-te Lu. Functional Characteristics of Commercial Web Sites: A Longitudinal Study in Hong Kong. Information & Management, 41:483--495, 2004.

W. L. Yeung and S. A. Schneider. Design and Verification of Distributed Recovery Blocks with CSP.  Formal Methods in System Design: An International Journal, 22(3):225-248, 2003.

W. L. Yeung.  Automated translation of JSD into CSP – A case study in methods integration.  Journal Systems and Software, 55:193--202, 2000.

Ming-te Lu and W. L. Yeung. A framework for effective commercial Web application development. Internet Research, 8(2):166-173, 1998.

W. L. Yeung, P. Smith, G. Topping, and E. Bailey. Theoretical Basis for Jackson System Development. Information and Software Technology, 34(8):543-551, August 1992.

Articles in conference proceedings

W. L. Yeung, Work in Progress: Modality Selection Based on Agent Negotiation for Voice Search on Smartphones Paired With Wearable Accessories: A Preliminary Architectural Design. Fouth Workshop on Interacting with Smart Objects 2015, Altanta, USA, 29 March, 2015

W. L. Yeung, Tackling Message Congestion in Agent Based Manufacturing Control.  4th Institute of Industrial Engineers (IIE) Asian Conference 2014, Xi’an, China, 21-22 July, 2014

W. L. Yeung, Adapting the Contract Net Protocol for Publish/Subscribe Messaging. 2013 International Conference on High Performance Computing & Simulation, HPCS 2013, Helsinki, Finland, 1-5 July 2013

W. L. Yeung, Performance of Time-Bound Negotiation in Agent-Based Manufacturing Control. The World Congress on Engineering 2012, WCE 2012, London, U.K, 4-6 July, 2012

W. L. Yeung. A Comparison of Visual Modeling Notations for Web Services Choreography. Proceedings of 14th Pacific Asia Conference on Information Systems, Taipei, Taiwan, July 2010.

W. L. Yeung. Web Services Conversations for B2B Electronic Commerce. Proceedings 2009 Academy of International Business Southeast Asia Regional Conference, Hong Kong, December 2009.

W. L. Yeung. Formalizing Exception Handling in WS-CDL and WS-BPEL for Conformance Verification. Proceedings 2009 IEEE International Conference on Service-Oriented Computing and Applications, Taipei, Taiwan, December 2009.

W. L. Yeung.  A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Services Orchestration.  Proc. IEEE Asia Pacific Services Computing Conference, Yilan, Taiwan, December 2008.

W. L. Yeung.  Global Electronic Commerce through ebXML and Service Oriented Architectures.  Proc. 2008 AIB Southeast Asia Regional Conference, Kuala Lumpur, Malaysia, December 2008.

W. L. Yeung, Formalizing State Alignment Interaction in Web Service Choreography, Proc. International Conference on Enterprise Systems and Applications (ICESA 2007), Taipei, Taiwan, December 2007.

Karl R.P.H. Leung, Joseph K-Y Ng, and W. L. Yeung. Testing in Uncontrollable Mobile Environment: An Experience of Trustworthiness Approach. 11th Asia-Pacific Software Engineering Conference, pages 430-437, November 30-December 3, 2004, Busan, Korea.

Ming-te Lu and W. L. Yeung. Outsourcing for Web Application Development and Operation. 2004 Academy of International Business (AIB) Southeast Asia Regional Conference, August, 2004, Macau.

W. L. Yeung. Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML, ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Nice, France, July, 2004.

W. L. Yeung. A Dual-Formalism Approach to Checking Consistency of Class and State Diagrams in UML.  Second International Workshop on Verification and Validation of Enterprise Information Systems, Porto, Portugal, April, 2004.

W. L. Yeung and K. R. P. H. Leung.  CSP as a Formal Basis for Merging Task Structures in Entity-Life Modeling.  First Hangzhou-Lubeck Workshop on Software Engineering, Hangzhou, China, 2003, November.

W. L.Yeung and K. R. P. H. Leung.  A Synergistic Interweaving of Formal and Informal Methods.  The 26th Annual Computer Software and Applications Conference, Dallas, Texas, USA, 2003, November.

W. L. Yeung.  Analyzing Internet Strategies for Consumer-Oriented Electronic Commerce: A Refined ICDT Model.  International Conference of Pacific Rim Management, Toronto, Canada, 2001, August.

W. L. Yeung and Ming-te Lu,  A Multidimensional Framework for Classifying Commercial Web Sites, In Proc. International Conference of Pacific Rim Management, August 12-15, 1999, San Francisco, USA

W. L. Yeung and Ming-te Lu, Developing and operating business Web sites: in-house vs. Outsourcing, In Proc. International Conference of Pacific Rim Management, August 14-16, 1998, Vancouver, B.C., Canada

W. L. Yeung and Ming-te Lu, Business use of the WWW in Hong Kong, In Proc. 1998 Asia Pacific Decision Sciences Institute, June 7-11, 1998, Taipei, Taiwan

W. L. Yeung, Semantics-Based Support Tools for High Integrity Ada Software, In Proc.  the Ada-Europe’97 International Conference on Reliable Software Technologies, London, UK, 2-4 June 1997

W. L. Yeung and F. Tam, Semantics and Algebraic Transformations for Remote Procedure Calls, In Proc. 12th Australasian Computer Science Conference, Sydney, Australia, 5-7 February 1997

W. L. Yeung, P. Smith  and G. Topping, A formalisation of Jackson System Development, In Proc. Third International Conference on Software Engineering for Real Time Systems, Cirencester, England, Sept 1991

W. L. Yeung and G. Topping, , Translating JSD Structure Text into CSP, In Proc. 4th Conference on Putting into practice methods and tools for information system design, Nantes, France, Sept 1990