Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research

Abstract. We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity constraints or reachability of partially specified states. Our approach is based on translating both the class diagram and the OCL constraints into a logic representation. Then, we use the CQC Method to verify whether these properties hold for the given diagram and constraints.

show abstract

“…In fact, this has been identified as one of the key problems to be solved for achieving the goal of automating information systems building [13].…”

Section: Fig 1 Conceptual Schema About Employees and Their Categoriesmentioning

confidence: 99%

Reasoning on UML Class Diagrams with OCL Constraints

Queralt

Teniente

2006

Conceptual Modeling - ER 2006

View full text Add to dashboard Cite

show abstract

“…Therefore, if any change is found out after the implementation, designers must start the whole process from the early stages, thereby dramatically increasing the overall cost of data warehouse projects. As stated by Olivé [7], this main drawback comes from the little importance given to the informative function of the information system, that is, to the definition of queries at the conceptual level that must be provided to the users in order to satisfy their information needs. To overcome this drawback in the data warehouse scenario, multidimensional queries must be defined at the conceptual level.…”

Section: Introductionmentioning

confidence: 99%

Specifying Aggregation Functions in Multidimensional Models with OCL

Cabot

Mazón

Pardillo

et al. 2010

Conceptual Modeling – ER 2010

View full text Add to dashboard Cite

Abstract. Multidimensional models are at the core of data warehouse systems, since they allow decision makers to early define the relevant information and queries that are required to satisfy their information needs. The use of aggregation functions is a cornerstone in the definition of these multidimensional queries. However, current proposals for multidimensional modeling lack the mechanisms to define aggregation functions at the conceptual level: multidimensional queries can only be defined once the rest of the system has already been implemented, which requires much effort and expertise. In this sense, the goal of this paper is to extend the Object Constraint Language (OCL) with a predefined set of aggregation functions. Our extension facilitates the definition of platform-independent queries as part of the specification of the conceptual multidimensional model of the data warehouse. These queries are automatically implemented with the rest of the data warehouse during the code-generation phase. The OCL extensions proposed in this paper have been validated by using the USE tool.

show abstract

“…Several authors claim that MDD improves the efficiency when developing a software system [17,18]. According to [19,20,21] the conceptual models that describe the system are eventually easier to specify, understand, and maintain that the underlying programming code; the complexity is addressed and solved in the problem domain without technological issues; and solutions are not tied to specific implementation technologies. In the context of DSL development, language requirements are formally described using models and DSL artifacts are generated from them [22].…”

Section: Motivationmentioning

confidence: 99%

An agile model-driven method for involving end-users in DSL development

Pozo¹,

José²

View full text Add to dashboard Cite

An agile model-driven method for involving end-users in DSL developmentUn método ágil dirigido por modelos para involucrar a los usuarios finales en el desarrollo de DSLs Un mètode àgil dirigit por models per a involucrar als usuaris finals en el desenvolupament de DSLs AgradecimientosEn este pequeño trocito de tesis me gustaría dar gracias a todas aquellas personas que han contribuido de algún modo en la realización de esta tesis.En primer lugar, quiero dar la gracias a mis directores de tesis. A Oscar, por creer en mi desde el primer día (aunque al principio solo fuera por mi casa de la nieve en Rubielos), por darme libertad para llevar a cabo esta tesis y sobre todo por apoyarme hasta el final. A Paco, por guiarme durante todo el proceso, por su apoyo y ánimo constante, por sus acertadas críticas, por leer esta tesis varias veces y sobre todo por su ayuda incondicional durante estos 5 años.También quiero dar las gracias a mi familia y amigos por cuidarme y apoyarme, ya sea viniendo a comer conmigo a la Universidad, insistiéndome cada cinco minutos en que acabara la tesis, preguntándome como estaba, haciéndome croquetas, arreglándome los desastres de mi casa, despidiendo positivismo en todo momento o estando ahí aunque solo nos hayamos podido ver una vez al mes o al año.Por otro lado, quiero dar las gracias a todos los compañeros del Pros que también me han ayudado. A Marce, por ser mi compañera de viaje, por salir conmigo a todo tipo de ferias, y por escuchar todos mis rollos durante nuestras salidas cenicientiles acompañadas de vino de la casa. A mis compañeros del genoma, por su forma de ver la vida, que me ha ayudado a reflexionar y a salir de mi zona de confort, y en especial a Ana Levin, por su ayuda durante los primeros años. A Sergio y a Ignacio, por sus sabios consejos que me han ayudado a mejorar muchos aspectos de esta tesis. A Cristian y a Carlos, por aportar su granito de arena en la implementación de esta tesis. A Ana Cidad por ayudarme con la burrocracia a la que me he tenido que enfrentar. Y en general, a todas aquellas personas que han aguantado mis cambios de humor y aun así han tenido siempre buenas palabras hacia mí.Tampoco puedo dejar de agradecer a todas aquellas personas de Imegen, GEM Biosoft, e INCLIVA por su colaboración en toda la parte genómica de esta tesis. En especial, me gustaría agradecer a Pablo por sus consejos y por su ayuda durante los meses en los que estuvimos colaborando sin los que la validación de esta tesis no hubiera sido posible.Y por último, a ti, al más especial, porque el ánimo que me has dado cada día con tu forma de ser y con tu gran éxito "la tesis no se escribe sola" no tiene precio. Gracias, porque sin ti, ni mi vida ni esta tesis serían lo mismo. OverviewDomain-specific languages (DSLs) are considered to be a powerful tool for enhancing the efficiency of software developers and bring software development closer to end-users from complex domains. However, the successful development of a DSL for a complex domain is a challenge from the technical point of vie...

show abstract

Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research

Cited by 50 publications

References 36 publications

Reasoning on UML Class Diagrams with OCL Constraints

Reasoning on UML Class Diagrams with OCL Constraints

Specifying Aggregation Functions in Multidimensional Models with OCL

An agile model-driven method for involving end-users in DSL development

Contact Info

Product

Resources

About