TY - GEN
T1 - rCOS
T2 - International Training School on Software Engineering, Held at ICTAC 2013
AU - Dong, Ruzhen
AU - Faber, Johannes
AU - Ke, Wei
AU - Liu, Zhiming
PY - 2013
Y1 - 2013
N2 - Model-Driven Software Development is nowadays taken as a mainstream methodology. In the software engineering community, it is a synonym of the OMG Model-Driven Architecture (MDA). However, in the formal method community, model-driven development is broadly seen as model-based techniques for software design and verification. Because of the difference between the nature of research and practical model-driven software engineering, there is a gap between formal techniques, together with their tools, and their potential support to practical software development. In order to bridge this gap, we define the meanings of component-based software architectures in this chapter, and show how software architectures are formally modeled in the formal model-driven engineering method rCOS. With the semantics of software architecture components, their compositions and refinements, we demonstrate how appropriate formal techniques and their tools can be applied in an MDA development process.
AB - Model-Driven Software Development is nowadays taken as a mainstream methodology. In the software engineering community, it is a synonym of the OMG Model-Driven Architecture (MDA). However, in the formal method community, model-driven development is broadly seen as model-based techniques for software design and verification. Because of the difference between the nature of research and practical model-driven software engineering, there is a gap between formal techniques, together with their tools, and their potential support to practical software development. In order to bridge this gap, we define the meanings of component-based software architectures in this chapter, and show how software architectures are formally modeled in the formal model-driven engineering method rCOS. With the semantics of software architecture components, their compositions and refinements, we demonstrate how appropriate formal techniques and their tools can be applied in an MDA development process.
KW - Component-Based Architecture
KW - Model
KW - Model Refinement
KW - Model Transformation
KW - Object-Oriented Design
KW - Verification
UR - http://www.scopus.com/inward/record.url?scp=84885745625&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-39721-9_1
DO - 10.1007/978-3-642-39721-9_1
M3 - Conference contribution
AN - SCOPUS:84885745625
SN - 9783642397202
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 66
BT - Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013
Y2 - 26 August 2013 through 30 August 2013
ER -