Separation of Concerns and Consistent Integration in Requirements Modelling

Authors:
Xin Chen;Zhiming Liu;Vladimir Mencl
Affiliations:
International Institute for Software Technology, United Nations University, Macao SAR, China and Department of Computer Science and Technology, Nanjing University, China;International Institute for Software Technology, United Nations University, Macao SAR, China;International Institute for Software Technology, United Nations University, Macao SAR, China and Department of Software Engineering, Charles University, Czech Republic
Venue:
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Year:
2007

Citing 12
Cited 7

Communicating sequential processes

Communicating sequential processes
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
The unified software development process

The unified software development process
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The Rational Unified Process: An Introduction, Second Edition

The Rational Unified Process: An Introduction, Second Edition
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach

Proceedings of the 16th IEEE international conference on Automated software engineering
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff

Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
The meta-object facility typed

Proceedings of the 2006 ACM symposium on Applied computing
POST: a case study for an incremental development in rCOS

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A type theoretic framework for formal metamodelling

Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Checking the consistency of UML class diagrams using larch prover

ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods

Integrating Refinement into Software Development Tools

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling with Relational Calculus of Object and Component Systems - rCOS

The Common Component Modeling Example
Design and Verification of a Trustable Medical System

Electronic Notes in Theoretical Computer Science (ENTCS)
Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software

Electronic Notes in Theoretical Computer Science (ENTCS)
rCOS: a formal model-driven engineering method for component-based software

Frontiers of Computer Science in China
rCOS: theory and tool for component-based model driven development

FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of 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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very high levels of correctness and dependability assurance. The most effective means to handle complexity is separation of concernsand incremental development, and assurance of correctness requires formal modellingand formal analysis. When separation of concerns splits the model into several parts, an important issue is to ensure consistency among these parts. We propose an approach supporting separation of concerns and consistent and incremental modelling of requirements.