News & Upcoming Events

  • Congratulations! The paper 'Towards Mutation Analysis for Use Cases' submitted by Huihui Zhang has been presented In ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS). ACM/IEEE, 2016.
  • Congratulations! The paper 'A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages' submitted by Dr. Tao Yue has been ranked as the second best paper of the whole conference in 8th System Analysis and Modelling Conference (SAM'14).

Welcome to Zen-RUCM

Zen-RUCM is a restricted natural-language-based, model-based, scenario specification, automated model generation, verification and validation platform, with tool support for software and system engineering.

Zen-RUCM, built on top of the Restricted Use Case Modelling approach (RUCM), aims to tackle the challenges of requirement specification and analysis in different application domains (e.g., real-time systems, distributed systems, communication systems) and from various requirement specification concerns (e.g., variability, Non-Functional Requirements (NFR), crosscutting concerns).


Industry Application Domains

  • Energy
  • Telecommunication
  • Maritime
  • Avionics
  • Logistic
  • GeoSports

Teaching in Universities


Publications

    Zen-RUCM Publications:
  • H. ZHANG, T. YUE, S. ALI AND C. LIU. Towards Mutation Analysis for Use Cases in ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS). ACM/IEEE, 2016.
  • Tao Yue, Lionel Briand, and Yvan Labiche. aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models, in ACM Transactions on Software Engineering and Methodology (TOSEM), 24, no. 3, 2015.
  • Tao Yue, Shaukat Ali, and Man Zhang. Applying A Restricted Natural Language Based Test Case Generation Approach in An Industrial Context, In International Symposium on Software Testing and Analysis (ISSTA), 2015.
  • Zhang, Huihui, Tao Yue, Shaukat Ali, and Chao Liu. Facilitating Requirements Inspection with Search-Based Selection of Diverse Use Case Scenarios, published in 9th EAI International Conference on Bio-inspired Information and Communications Technologies (BICT, formerly BIONETICS), 2015.
  • Man Zhang, Tao Yue, Shaukat Ali, Huihui Zhang, and Ji Wu. A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages, In: 8th System Analysis and Modelling Conference (SAM'14).
  • Tao Yue, Lionel Briand, and Yvan Labiche. Facilitating the Transition from Use Case Models to Analysis Models: Approach and Experiments, Transactions on Software Engineering and Methodology (TOSEM) 22(1), 2013.
  • Gong Zhang, Tao Yue, Ji Wu, and Shaukat Ali. Zen-RUCM: A Tool for Supporting a Comprehensive and Extensible Use Case Modeling Framework, In: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS), Tools Demonstration, 2013.
  • Tao Yue and Shaukat Ali, Bridging the Gap between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies, in: 8th European Conference on Modelling Foundations and Applications (ECMFA) 2012
  • Tao Yue, Shaukat Ali, and Lionel Briand, Automated Transition from Use Cases to UML State Machines to Support State-based Testing, In: 7th European Conference on Modelling Foundations and Applications (ECMFA) 2011
  • Tao Yue, Lionel Briand, and Yvan Labiche, A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation, In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009
  • Tao Yue, Lionel Briand, and Yvan Labiche. An Automated Approach to Transform Use Cases into Activity Diagrams, In: 6th European Conference, on Modelling Foundations and Applications(ECMFA) 2010.

  • Other relevant references:
  • Chunhui Wang, Fabrizio Pastore, Arda Göknil, Lionel  Briand and Zohaib Iqbal,  Automatic Generation of System Test Cases from Use Case Specifications, In: International Symposium on Software Testing and Analysis (ISSTA) 2015.
  • Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, and Zohaib Iqbal, UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications.
  • Jiale Zhou, Yue Lu, Kristina Lundqvist, Henrik Lonn, Daniel Karlsson, Bo Liwang. Towards feature-oriented requirements validation for automotive systems, In IEEE 22nd International Conference on Requirements Engineering(RE), 2014.
  • Saurabh Tiwari and Atul Gupta. Does Increasing Formalism in the Use Case Template Help?, In Proceedings of the 7th India Software Engineering Conference (ISEC), 2014.
  • Xue Wu, Chao Liu, and Qingxin Xia. Safety requirements modeling based on RUCM, In IEEE Computing, Communications and IT Applications Conference (ComComAp), 2014.

MBRE Research Venues

  • ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS.
  • European Conference on Modelling Foundations and Applications, ECMFA.
  • International Requirements Engineering Conference, RE.
  • International Model-Driven Requirements Engineering (MoDRE) workshop, MoDRE.