A complete approach for CIM modelling and model formalising
Authors:
- Zonghua LiZLZonghua Li
- Xiaofeng ZhouXZXiaofeng Zhou
- Aihua GuAGAihua Gu
- Qinfeng LiQLQinfeng Li
- 1 September 2015
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 65, 39-55
Abstract
No abstract availableKeywords
Funding Information
- China National Key Technology R&D Programme (2013BAB05B00, 2013BAB06B04)
- National Natural Science Foundation of China (41471425)
This publication has 40 references indexed in Scilit:
- Large-scale Model-Driven Engineering of web user interaction: The WebML and WebRatio experienceScience of Computer Programming, 2014
- A pattern-based approach for improving model qualitySoftware and Systems Modeling, 2014
- Verification of Model TransformationsElectronic Notes in Theoretical Computer Science, 2013
- Product-service systems scenarios simulation based on G-DEVS/HLA: Generalized discrete event specification/high level architectureComputers in Industry, 2012
- Towards Advanced Goal Model Analysis with jUCMNavLecture Notes in Computer Science, 2012
- Applying CIM-to-PIM model transformations for the service-oriented development of information systemsInformation and Software Technology, 2011
- A security-aware metamodel for multi-agent systems (MAS)Information and Software Technology, 2009
- Modelling non-functional requirements of business processesInformation and Software Technology, 2007
- Introduction to the User Requirements Notation: learning by exampleComputer Networks, 2003
- Generating scenarios from use case map specifications2003