View Consistency in Software Development
نویسندگان
چکیده
An algebraic approach to the view consistency problem in software development is provided. A view is formalised as a sentence of a viewpoint language; a viewpoint is given by a language and its semantics. Views in possibly different viewpoints are compared over a common view for consistency by a heterogenous pull-back construction. This general notion of view consistency is illustrated by several examples from viewpoints used in object-oriented software development.
منابع مشابه
Contractual Consistency between Bon Static and Dynamic Diagrams
Model-Driven Development (MDD) is a new software development technique in which the primary software artifact is a model which is a collection of views. A model is more abstract than program code in traditional languages as it is closer to the problem domain and not tied to the underlying implementation platform. The main benefit of MDD is that models are executable and automatically translated...
متن کاملView Transactions and the Relaxation of Consistency Checks in Software Transactional Memory
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory but may commit in a different snapshot. They are therefore simpler to reason about, provide opacity and maintain composability. In addition, view transactions avoid many of the overheads associated with previous approach...
متن کاملSupporting flexible consistency management via discrete change description propagation
A new software architecture for supporting inter-object consistency management is described. Objects with interdependent data values are kept consistent by propagating descriptions of object state changes along inter-object relationships. Response to and storage of these change descriptions supports the implementation of consistency management techniques in a more homogeneous way than existing ...
متن کاملSupporting Incremental Synchronization in Hybrid Multi-view Modelling
Multi-view modelling is a widely accepted technique to reduce the complexity in the development of modern software systems. It allows developers to focus on a narrowed portion of the specification dealing with a selected aspect of the problem. However, multi-view modelling support discloses a number of issues mainly due to consistency management, expressiveness, and customization needs. A possi...
متن کاملA hybrid approach for multi-view modeling
Multi-view modeling is a widely accepted technique to reduce the complexity in the development of modern software systems. It allows developers to focus on a narrowed portion of the specification dealing with a selected aspect of the problem. However, multi-view modeling support discloses a number of issues: on the one hand consistency management very often has to cope with semantics interconne...
متن کامل