UM  > 科技學院  > 電腦及資訊科學系
rCOS: A formal model-driven engineering method for component-based software
Ke W.4; Li X.5; Liu Z.2; Stolz V.2
2012-02-01
Source PublicationFrontiers of Computer Science in China
ISSN16737350 16737466
Volume6Issue:1Pages:17-39
Abstract

Model-driven architecture (MDA) has become a main stream technology for software-intensive system design. The main engineering principle behind it is that the inherent complexity of software development can only be mastered by building, analyzing and manipulating system models. MDA also deals with system complexity by providing component-based design techniques, allowing independent component design, implementation and deployment, and then system integration and reconfiguration based on component interfaces. The model of a system in any stage is an integration of models of different viewpoints. Therefore, for a model-driven method to be applied effectively, it must provide a body of techniques and an integrated suite of tools for model construction, validation, and transformation. This requires a number of modeling notations for the specification of different concerns and viewpoints of the system. These notations should have formally defined syntaxes and a unified theory of semantics. The underlying theory of the method is needed to underpin the development of tools and correct use of tools in software development, as well as to formally verify and reason about properties of systems in mission-critical applications. The modeling notations, techniques, and tools must be designed so that they can be used seamlessly in supporting development activities and documentation of artifacts in software design processes. This article presents such a method, called the rCOS, focusing on the models of a system at different stages in a software development process, their semantic integration, and how they are constructed, analyzed, transformed, validated, and verified. © 2012 Higher Education Press and Springer-Verlag Berlin Heidelberg.

KeywordComponent-based Design Model Transformations Models Tool Support Verification
DOI10.1007/s11704-012-2901-5
URLView the original
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS IDWOS:000299768800003
Fulltext Access
Citation statistics
Cited Times [WOS]:9   [WOS Record]     [Related Records in WOS]
Document TypeJournal article
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.Macao Polytechnic Institute
2.United Nations University International Institute for Software Technology
3.Universitetet i Oslo
4.Beihang University
5.Universidade de Macau
Recommended Citation
GB/T 7714
Ke W.,Li X.,Liu Z.,et al. rCOS: A formal model-driven engineering method for component-based software[J]. Frontiers of Computer Science in China,2012,6(1):17-39.
APA Ke W.,Li X.,Liu Z.,&Stolz V..(2012).rCOS: A formal model-driven engineering method for component-based software.Frontiers of Computer Science in China,6(1),17-39.
MLA Ke W.,et al."rCOS: A formal model-driven engineering method for component-based software".Frontiers of Computer Science in China 6.1(2012):17-39.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Ke W.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Ke W.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Ke W.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.