# ConfLCDP

**Repository Path**: dome843/uwe-low-code

## Basic Information

- **Project Name**: ConfLCDP
- **Description**: 将UML的思想与LCDP相结合，采用明确定义和规范的UML模型作为软件开发过程中的LCDP组件，以指导软件系统的开发工作。我们提出的形式化模型能够完整描述UML模型，且作为中间语言实现代码生成。我们基于MDE和形式化方法的思想，对现有的LCDP进行了扩展，称为可信低代码平台(Confidence Low-Code Development Platform，简称ConfLCDP)
- **Primary Language**: JavaScript
- **License**: Apache-2.0
- **Default Branch**: develop
- **Homepage**: http://124.220.63.75/
- **GVP Project**: No

## Statistics

- **Stars**: 1
- **Forks**: 0
- **Created**: 2023-09-14
- **Last Updated**: 2025-01-23

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Traceability Management System

# Table of Contents

- [Snapshots]
- [Installation Instructions](https://github.com/formal-method/traceability#Installation-Instructions)
- [File Structure](https://github.com/formal-method/traceability#File-Structure)
- [About](https://github.com/formal-method/traceability#About)
- [License](https://github.com/formal-method/traceability#License)
- [Update Logs](https://github.com/formal-method/traceability#Update-Logs)

## Snapshots
### UML modeling for entire software development process
![Mendix example](./public/images/snapshotsForWork/mendix.png)
One of features in our tool, designers ONLY needs to build Domain Concept Model and Use Case Model(Use Case Diagram with "use case description"). The following UI models and Interaction diagrams can be automatically generated, and the generated Sequence diagram can further automatically generates codes.<br/>
For more complex developing scenarios, designers can modify these generated diagrams to get more accurate codes.

### Consistency anlaysis of UML models
![Consistency checking](./public/images/snapshotsForWork/detection.png)
We provide well-implemented consistency checking and repair techniques in formal methods---Consistency Relation.<br/>
Based on existing consistency rules, we further implemented a better accurate description for consistency between UML models.

### UML Activity Diagram Correctness checking
![UAD checking](./public/images/snapshotsForWork/Mercata.png)
This tool supports UML Activity Diagram(UAD) modeling, export/import, path tracking, correctness checking, and use case generation.

## Installation Instructions

You can run our system in two ways below ：

- Debug this project in Microsoft Visual Studio Code software;
  + clone the project into the local;
  + open it in VSCode
  + Run "Live server" extension for the root directory "/www" AFTER you have installed "Cors, Live server" extensions in VSCode.
  + then the project will opened in default browser
  + PS: This way does not allow to use NodeJS services;
- If you want to use all the functions of the system, you need to deploy to the  [node.js](https://nodejs.org/en/download/) server and complete the following steps.
  + Install the [node.js](https://nodejs.org/en/download/) to the local system and configure it;
  
  + Open the dos command and enter the nodemon command to run under the "develop" directory;
  
    ```
    C:\Users\Admin>cd C:\Users\Admin\Desktop\develop
    C:\Users\Admin\Desktop\develop>nodemon
    ```
  
  + Enter the "localhost:3000" in the local browser to access the system. By the way, Microsoft Edge and Google Chrome are the best choice.

## File Structure

```
├── node_modules             // Node.js modules
├── public                   // front end files
│   ├── css                  // style
│   ├── images               // icon
│   └── js                   // animation effect
├── server                   // server profile
│   ├── router.js        	
│   └── UML.js               // Core File
├── storager                 // data
│   ├── case study
│   └── json                 // Save directory
├── views
│   └── index.html           // homepage
├── app.js                   // server startup
├── case study.json          // Case Study used in the paper(http://www.cs.gordon.edu/courses/cs211/AddressBookExample/).
├── LICENSE.md              
├── package.json             // install node_modules
├── package-lock.json        // install node_modules
└── README.md                // help

```

## About

**Author**: Guofu Tang 

**Author's Unit**: Institute of Software Engineering, Chengdu University of Information Technology, Chengdu, China

**Tutor**: Jian-Min Jiang

**Tutor's Unit**: Institute of Software Engineering, Chengdu University of Information Technology, Chengdu, China

**Contact**：dome843@qq.com

## License

The project signed a apache 2.0 license for details [LICENSE.md](https://github.com/formal-method/traceability)

**Update Logs** 

V1.0.0，2021-08-03