Communicating sequential processes
Communicating sequential processes
Parallel program design: a foundation
Parallel program design: a foundation
Predicate calculus and program semantics
Predicate calculus and program semantics
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
The Mythical Man-Month: After 20 Years
IEEE Software
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
Linking UML Models of Design and Requirement
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
Consistency Checking of UML Requirements
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Reactive Component based Service-Oriented Design - A Case Study
ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Computer
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Modelling with Relational Calculus of Object and Component Systems - rCOS
The Common Component Modeling Example
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Refinement and verification in component-based model-driven design
Science of Computer Programming
Graph transformations for object-oriented refinement
Formal Aspects of Computing
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A model of component-based programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Robustness testing for software components
Science of Computer Programming
Design and Verification of a Trustable Medical System
Electronic Notes in Theoretical Computer Science (ENTCS)
AutoPA: automatic prototyping from requirements
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A graph-based implementation for mechanized refinement calculus of OO programs
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Specification and validation of behavioural protocols in the rCOS modeler
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model querying with graphical notation of QVT relations
ACM SIGSOFT Software Engineering Notes
A graph-based generic type system for object-oriented programs
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
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.