Dr YEUNG Wing-lok
Publications
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