Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About


I am a full-time PhD student at the MAP-i Doctoral Program in Computer Science held by the Universities of Minho, Porto, and Aveiro, Portugal.

I was accepted by University of Minho, with the Swap and Transfer Project, Erasmus Mundus Programme -Action 2 in 2014 during my Master in Jilin University. I finish my Master in Computer Networks and Telematic Services from University of Minho, Portugal in 2016. The title of my thesis is " Distributed Databases Synchronization in Named Data Delay Tolerant Networks ".

My current research is about Alloy- a lightweight relational logic based formal modeling language.

Interest
Topics
Details

Details

  • Name

    Chong Liu
  • Role

    External Student
  • Since

    01st December 2016
  • Nationality

    China
  • Contacts

    +351253604440
    chong.liu@inesctec.pt
Publications

2019

Simplifying the Analysis of Software Design Variants with a Colorful Alloy

Authors
Liu, C; Macedo, N; Cunha, A;

Publication
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

Abstract
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior to its implementation. Alloy and its Analyzer are a popular language and tool for this task. Frequently, rather than a single software artifact, the goal is to develop a full software product line (SPL) with many variants supporting different features. Ideally, software design languages and tools should provide support for analyzing all such variants (e.g., by helping pinpoint combinations of features that could break a property), but that is not currently the case. Even when developing a single artifact, support for multi-variant analysis is desirable to explore design alternatives. Several techniques have been proposed to simplify the implementation of SPLs. One such technique is to use background colors to identify the fragments of code associated with each feature. In this paper we propose to use that same technique for formal design, showing how to add support for features and background colors to Alloy and its Analyzer, thus easing the analysis of software design variants. Some illustrative examples and evaluation results are presented, showing the benefits and efficiency of the implemented technique. © Springer Nature Switzerland AG 2019.