Dr. Sun Meng

Scientific Staff Member
Centre for Mathematics and Computer Science (CWI)
CLUSTER of Software Engineering (SEN3)
Science Park 123
P.O. Box 94079
1090 GB Amsterdam
The Netherlands

Phone: +31 20 592 4136
Fax: +31 20 592 4199
Email: M.Sun x cwi.nl [@/x]


Education   Research   Work Experiences    Teaching   Publications   Professional Activities    Hobbies    Links

Education

Ph.D. in Applied Mathematics (2005)
Ph.D. Thesis: Coalgebra Theory and its Application in Component Software, School of Mathematical Sciences, Peking University, November, 2004.
and
B.Sc. in Information Science (1999),
School of Mathematical Sciences, Peking University

Research

I am now working on the project "Coordination with Performance Guarantees (CooPer)", which aims to develop coordination models and tools for specification and implementation of complex connectors with QoS guarantees. Currently my research interests mainly lie in formal approaches to software engineering, with emphasis on the following topics:

Work Experiences

Teaching

Publications

2010

  1. Sun Meng. A First Step towards Security Policy Compliance of Connectors. In F. Arbab and M. Sirjani Eds.: Proceedings of FSEN 2009, LNCS 5961, pp. 447--454, Springer, 2010.
  2. Sun Meng and Luis Barbosa. Towards the Introduction of QoS Information in a Component Model. In Proceedings of SAC'10, ACM, 2010.
  3. Luis Barbosa and Sun Meng. Bringing Class Diagrams to Life. Accepted by Innovations in Systems and Software Engineering.
  4. Sun Meng, Farhad Arbab and Christel Baier. Synthesis of Reo Circuits from Scenario-based Interaction Specifications. Accepted by Science of Computer Programming.
  5. Luis Barbosa and Sun Meng. QoS Aware Component Composition. Accepted by COCOSS'10.
  6. Sun Meng and Farhad Arbab. A Model for Web Service Coordination in Long-Running Transactions. Accepted by SOSE'10.

2009

  1. Sun Meng and Bernhard Schatz (eds.) Pre-Proceedings of 6th International Workshop on Formal Aspects of Component Software. CWI Technical Report SEN-E0902. 2009.
  2. Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon and Chretien Verhoef. From Coordination to Stochastic Models of QoS. In J. Field and V. T. Vasconcelos eds. Proceedings of 11th International Conference on Coordination Models and Languages, Coordination'09,  LNCS 5521, pages 268-287, Springer, 2009.
  3. Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng and Jan Rutten. Fault-based Test Case Generation for Component Connectors. In Proceedings of 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE'09, pages 147-154, IEEE Computer Society, 2009.
  4. Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Kwiatkowska and Hongyang Qu. Reo2MC: a Tool Chain for Performance Analysis of Coordination Models. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE'09, pages 287-288, ACM, 2009.
  5. Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about Interaction Designs. Invited book chapter in Kevin Lano eds. UML Semantics and its Applications. Wiley, 2009.
  6. Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. In Fundamenta Informaticae, Vol. 95(1), pages 103–128, 2009.
  7. Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, and Sun Meng. Static Validation of WS-CDL Documents. In Simulation Modelling Practice and Theory, Vol. 17, No. 8, pp. 1367-1377, 2009.
  8. Farhad Arbab, Sun Meng and Christel Baier. Synthesis of Reo Circuits from Scenario-based Specifications. In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA'08, Vol. 229 of ENTCS, pages 21-41, 2009.
  9. Sun Meng and Farhad Arbab. Connectors as Designs. In Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA'09, Vol. 255 of ENTCS, pages 119-135, 2009.

2008

  1. Luis Barbosa and Sun Meng. UML Model Refactoring as Refinement: A Coalgebraic Perspective. In Proceedings of 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC'08, pages 340-347, IEEE Computer Society, 2008.
  2. Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Sun Meng and Geguang Pu. Static Check of WSCDL Documents. In Proceedings of 2008 IEEE International Symposium on Service-Oriented Systems Engineering, SOSE'08, pages 142-147, IEEE Computer Society, 2008.
  3. Farhad Arbab, Natallia Kokash and Sun Meng. Towards Using Reo for Compliance-aware Business Process Modeling. In T. Margaria and B. Steffen eds. Proceedings of 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA'08, pages 108-123, CCIS 17, Springer, 2008.
  4. Farhad Arbab and Sun Meng. Synthesis of Connectors from Scenario-based Interaction Specifications. In M.R.V. Chaudron and C. Szyperski eds. Proceedings of 11th International Symposium on Component Based Software Engineering, CBSE'08, pages 114-129, LNCS 5282, Springer, 2008.
  5. Sun Meng and Luis Barbosa. A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. In Hong Zhu ed. Proceedings of the 8th International Conference on Quality Software, QSIC'08, pages 17-26, IEEE Computer Society, 2008.
  6. Sun Meng and Farhad Arbab. QoS-Driven Service Selection and Composition. In Jonathan Billington, Zhenhua Duan and Maciej Koutny eds. Proceedings of 8th International Conference on Application of Concurrency to System Design, ACSD'08, pages 160-169, IEEE Press, 2008.
  7. Sun Meng. Services and Contracts: Coalgebraically. In Proceedings of First International Conference on Foundations of Informatics, Computing and Software, FICS'08,  Vol. 212 of ENTCS, pages 207-223, 2008.
  8. Sun Meng. Pre-Galois Connection on Coalgebras for Generic Component Refinement. Electronic Notes in Theoretical Computer Science. Vol.207: 203-217, 2008.
  9. Zhang Naixiao, Ju Xiaoming and Sun Meng. Garden: An Integrated DSL Development Environment. Science in China. Vol. 38 (12): 2084-2098, 2008.

2007

  1. Sun Meng. QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. In J. He and J. Sanders eds. Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE'07, pages 389-400, IEEE Computer Society, 2007.
  2. Sun Meng and Farhad Arbab. On Resource-Sensitive Timed Component Connectors. In M.M. Bonsangue and E.B. Johnsen eds. Proceedings of 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS'07, LNCS 4468, pages 301-316, 2007.
  3. Sun Meng and Zhang Naixiao. On Composition and Refinement of Domain-Specific Languages in the Model of Language Family. In H. R. Arabnia and H. Reza eds. Proceedings of 2007 International Conference on Software Engineering Research and Practice, SERP'07, pages 190-196, CSREA Press 2007, ISBN 1-60132-033-7, 2007. (preprint)
  4. Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon. Component Connectors with QoS Guarantees. In A. L. Murphy and J. Vitek eds. Proceedings of 9th International Conference on Coordination Models and Languages, Coordination'07,  LNCS 4467, pages 286-304, Springer, 2007.
  5. Sun Meng and Farhad Arbab. Web Services Choreography and Orchestration in Reo and Constraint Automata. In Proceedings of 22nd Annual ACM Symposium on Applied Computing, SAC'07, pages 346-353, 2007.
  6. Sun Meng, Yang Hongli, Zhang Naixiao and Qiu Zongyan. Using UML for Specification and Refinement of Software Architectures. Acta Scientiarum Naturalium Universitatis Pekinensis, Vol.43, No.1, pp.1-10, 2007.

2006

  1. Luis S. Barbosa, Sun Meng, Bernhard K. Aichernig and Nuno Rodrigues. On the semantics of componentware: a coalgebraic perspective. In Jifeng He and Zhiming Liu eds. Mathematical Frameworks for Component Software.- Models for Analysis and Synthesis. World Scientific, 2006.
  2. Sun Meng and Luis S. Barbosa. Components as Coalgebras: the Refinement Dimension. Theoretical Computer Science. Vol.351(2): 276-294, 2006.
  3. Ankit Goel, Sun Meng, Abhik Roychoudhury and P. S. Thiagarajan. Interacting Process Classes. In Proceedings of ICSE'06, pages 302-311, 2006.

2005

  1. Sun Meng, Luis S. Barbosa and Zhang Naixiao. On Refinement of Software Architectures. In D. V. Hung and M. Wirsing eds. Proceedings of ICTAC'05. volume 3722 of LNCS, pages 482-497, 2005.
  2. Sun Meng, Bernhard K. Aichernig and Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In Hong Shen and Koji Nakano eds. Proceedings of PDCAT'05, pages 424-426, IEEE Computer Society, 2005.
  3. Sun Meng, Zhang Naixiao and Bernhard K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis. Vol.41, No.3, pp.344-357, 2005. (preprint)
  4. Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa and Zhang Naixiao. A Coalgebraic Semantic Framework for Component Based Development in UML. In CTCS'04, Proceedings of 10th International Conference on Category Theory and Computer Science, volume 122 of ENTCS, pages 229-245, 2005.

2004

  1. Sun Meng. Coalgebra Theory and its Application in Component Software. Ph.D. Thesis (in Chinese), School of Mathematical Sciences, Peking University, November, 2004. Defended on 11 November, 2004.
  2. Sun Meng, Zhang Naixiao and Luis S. Barbosa. On Semantics and Refinement of UML Statecharts: A Coalgebraic View. In Jorge R. Cuellar and Zhiming Liu eds. SEFM2004, 2nd International Conference on Software Engineering and Formal Methods, pages 168-183, IEEE Computer Society, 2004.
  3. Sun Meng and Luis S. Barbosa. On Refinement of Generic State-Based Software Components. In C. Rattray, S. Maharaj and C. Shankland eds. Algebraic Methodology And Software Technology, 10th International Conference, AMAST'04, Proceedings, volume 3116 of LNCS, pages 506-520, Springer, 2004 (Best student paper award).

2003

  1. Sun Meng and Bernhard K. Aichernig. A Coalgebraic Calculus for Component Based Systems. In Hung Dang Van and Zhiming Liu, eds, Proceedings of the Workshop on Formal Aspects of Component Software FACS'03, Pisa, Italy, pages 27-46, 2003.
  2. Luis S. Barbosa and Sun Meng. Generic Components. In Graham Hutton eds, Proceedings of First APPSEM-II Workshop, Nottingham, March, 2003.

Professional Activities

Hobbies

Links 


CWI DISCLAIMER