loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alberto-Manuel Fernández-Álvarez ; Daniel Fernández-Lanvin and Manuel Quintela-Pumares

Affiliation: Universidad de Oviedo, Spain

ISBN: 978-989-758-115-1

Keyword(s): Constraint, invariant, incremental checking, domain model, object orientation, OCL, AspectJ.

Related Ontology Subjects/Areas/Topics: Advice/Pointcut Specification ; Aspects ; Domain Engineering ; Modularity with Aspects ; Paradigm Trends ; Software Engineering

Abstract: Object Constraint Language (OCL) can be used to express domain model constraints. Those related to a single object are easy to implement. However, when a constraint depends on the state of more than one object (domain and class constraints) the problem turns much more complicated. Developers must deal with several difficulties: how to write the invariant check, when to execute the constraint verification, over what objects and what to do in case of a constraint violation. Things are harder if we add feasible performance as requirement. We propose a tool that combines incremental OCL processing, with translation into aspect code and execution inside an atomicity execution context. The output is aspect code, ready to be integrated with business code that checks all the invariants efficiently at the end of the atomic operation.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.230.1.126

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Fernández-Álvarez, A.; Fernández-Lanvin, D. and Quintela-Pumares, M. (2015). OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution.In Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015) ISBN 978-989-758-115-1, pages 121-129. DOI: 10.5220/0005517201210129

@conference{icsoft-pt15,
author={Alberto{-}Manuel Fernández{-}Álvarez. and Daniel Fernández{-}Lanvin. and Manuel Quintela{-}Pumares.},
title={OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution},
booktitle={Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)},
year={2015},
pages={121-129},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005517201210129},
isbn={978-989-758-115-1},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)
TI - OCL for Rich Domain Models Implementation - An Incremental Aspect based Solution
SN - 978-989-758-115-1
AU - Fernández-Álvarez, A.
AU - Fernández-Lanvin, D.
AU - Quintela-Pumares, M.
PY - 2015
SP - 121
EP - 129
DO - 10.5220/0005517201210129

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.