Enforcement of Patterns by Constraint-Aware Model Transformations
نویسندگان
چکیده
Patterns are descriptions and solutions for recurring problems in software design and implementation. In this paper, some ideas towards a formal approach to the specification of patterns in model-driven engineering (MDE) is presented. The approach is based on the Diagram Predicate Framework which provides a formal approach to (meta)modelling, model transformation and model management in MDE. In particular, patterns are defined as diagrammatic specifications and constraintaware model transformations are adapted to enforce patterns. Moreover, running examples are used to illustrate the facade design pattern in structural models.
منابع مشابه
Multi-item inventory model with probabilistic demand function under permissible delay in payment and fuzzy-stochastic budget constraint: A signomial geometric programming method
This study proposes a new multi-item inventory model with hybrid cost parameters under a fuzzy-stochastic constraint and permissible delay in payment. The price and marketing expenditure dependent stochastic demand and the demand dependent the unit production cost are considered. Shortages are allowed and partially backordered. The main objective of this paper is to determine selling price, mar...
متن کاملConstraint-Aware Model Transformations
This paper introduces a formal approach to the specification of constraint-aware model transformation which is suitable for language translation. The proposed approach extends graph transformations with the ability to specify and transform constraints by transformation rules. In particular, it uses non-deleting rules which are typed over the metamodel of a joined language which is constructed f...
متن کاملA Novel Method for Travel System Patterns
Due to population growth in urban areas, especially in the capital cities in developing countries, the use of private vehicles are increasing, leading to many problems such as congestion, pollution, noise, long travel time, high travel cost and more side effects. In such circumstances government policy would encourage people to use public transportation. In the meantime, employing the Intellige...
متن کاملData Structures for Constraint Enforcement in Role-based Systems
Constraints are an important aspect of role-based models. Several types of constraints, such as separation of duty constraints, cardinality constraints and temporal constraints have been identified in the literature. Although the specification of constraints has received significant research interest, there has been little work on the development of an efficient constraint enforcement model. In...
متن کاملPattern-Based Model-to-Model Transformation: Handling Attribute Conditions
Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on patterns describing allowed or forbidden relations between two models, which are compiled into operational mechanisms to perform forward and backward transformations. In this paper, we extend the approach for handling attribute condit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ECEASST
دوره 31 شماره
صفحات -
تاریخ انتشار 2010