The CSTL Processor: A Tool for Automated Conceptual Schema Testing

Tort, Albert; Olivé, Antoni; Sancho, Maria-Ribera

doi:10.1007/978-3-642-24574-9_48

Cited by 7 publications

(19 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In these approaches the artefact under test is a model instead of a source code. Some examples are: [56] an approach for testing UML design models to uncover inconsistencies; [61] an Eclipse plug-in for animating and testing UML models; and [66] a method which applies the principles of TDD (Test-Driven Development) to conceptual modelling.…”

Section: Testingmentioning

confidence: 99%

See 1 more Smart Citation

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda

View full text Add to dashboard Cite

Section: Testingmentioning

confidence: 99%

“…The most recent work, and the one most closely related to our framework is the testing approach proposed by Tort and Olivé [53] with their CSTL Processor tool [100]. These artefacts have been used in a method [101] to apply the principles of TDD (Test-Driven Development) to conceptual modelling.…”

Section: Dimension-based Comparisonmentioning

confidence: 99%

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Granda

View full text Add to dashboard Cite

“…A Model-Driven Development (MDD) paradigm [78,99] (or Model-Driven Architecture (MDA) according to the Object Management Group (OMG)) promotes the automatic generation of the system implementation based on its model. As a consequence, several techniques and methods that were usually applied to code-for example, testing-may now be applied to conceptual schemas [123,124,125].…”

Section: Motivation and Antecedentsmentioning

confidence: 99%

“…In [123,124], the authors present a method to test conceptual schemas. This method was implemented in a prototype tool [125]. In [40], the authors implement their own approach on conceptual schema testing.…”

Section: Tool Support To Assess Qualitymentioning

confidence: 99%

A method for the unified definition and treatment of conceptual schema quality issues

Aguilera Moncusí

View full text Add to dashboard Cite

The modern world is software-intensive. National infrastructures, smartphones and computers, health-care systems, e-commerce... everything is run by software. Therefore, developing high-quality software solutions is essential for our society. Conceptual modeling is an early activity of the software development process whose aim is to define the conceptual schema of a domain. As the role played by conceptual schemas in software development becomes more relevant---because of, for example, the emergence of model-driven approaches---, their quality becomes crucial too. The quality of a conceptual schema can be analyzed in terms of ``quality properties''. All conceptual schemas should have the fundamental properties of syntactic and semantic correctness, relevance and completeness, as well as any other quality property that has been proposed in the literature and that may be required or recommended in particular projects. It is a fact that only a few quality properties have been integrated into the development environments used by professionals and students, and thus enforced in the conceptual schemas developed by them. A possible explanation of this unfortunate fact may be that the proposals have been defined in the literature in disparate ways, which makes it difficult to integrate them into those environments. The goal of this thesis is to ease the integration of those quality properties that can be evaluated using the conceptual schema itself. We propose a method that permits the unified definition and treatment of conceptual schema quality issues, which we understand as ``important quality topics or problems for debate or discussion''. Our work includes, on the one hand, a characterization and formalization of conceptual schema quality issues, and, on the other hand, the creation of a catalog of quality issues obtained from the literature and defined using the aforementioned formalization. We also provide a prototype implementation of our method, which integrates the catalog of quality issues on top of a real modeling tool. This implementation provides assistance to conceptual modelers during the development of a conceptual schema in a non-disruptive manner. Moreover, our thesis discusses incremental methods for the efficient evaluation of OCL expressions in the context of quality issues and integrates one of them into our prototype tool. El món actual funciona a través del programari. Les infraestructures nacionals, els ordinador i telèfons inte¿ligents, els sistemes de salut, de comerç electrònic... tot depèn del programari. És, doncs, per aquest motiu que cal dissenyar solucions de programari d'alta qualitat. La modelització conceptual és una de les etapes inicials en el procés de desenvolupament de programari. El seu objectiu és definir l'esquema conceptual d'un domini. A mesura que el rol que juguen els esquemes conceptuals esdevé més i més rellevants dins d'aquest context (degut a, per exemple, l'aparició de metodologies de disseny de programari dirigides per models), la seva qualitat també esdevé un requisit elemental. La qualitat d'un esquema conceptual es pot analitzar a través de diferents "propietats de qualitat". Així, tenim que tots els esquemes conceptuals haurien de satisfer les propietats fonamentals de correctesa sintàctica i semàntica, rellevància i completesa, així com altres propietats que s'han proposat a la literatura i que el projecte on s'estigui desenvolupant l'esquema requereixi o recomani. Malauradament, ens trobem que només algunes propietats de qualitat s'han integrat als entorns de desenvolupament que utilitzen els professionals i els estudiants i, per tant, les propietats que podem assegurar se satisfaran són poques. Una possible explicació d'aquest fet és que les propostes existents es defineixen de maneres força diferents, cosa que en dificulta la integració a aquests entorns. L'objectiu de la tesi és pa¿liar aquesta situació i simplificar la integració d'aquelles propietats de qualitat que avaluen un esquema conceptual utilitzant la informació disponible al propi esquema. El mètode que proposem permet la definició i el tractament unificat de "quality issues" per a la modelització conceptual, els quals entenem com "tot allò que pot ser rellevant considerar per assegurar la qualitat d'un esquema". La feina inclou, per una banda, la caraterització i formalizació dels "quality issues" i, per l'altra, la creació d'un catàleg d'issues disponibles a la literatura i expressats mitjançant la nostra formalizació. A més a més, la tesi també inclou la implementació d'un prototipus que demostra com funciona el mètode. El prototipus integra el catàleg de "quality issues" dins una eina de modelització conceptual real i permet assistir als modeladors durant el desenvolupament d'esquemes. Finalment, la nostra feina també ofereix una breu discussió sobre la importància que tenen els mètodes incrementals d'avaluació d'expressions OCL, com es poden adaptar a la nostra definició de "quality issues" i descriu la seva integració a l'eina prototipus que hem desenvolupat

show abstract

“…3.2 presents the conceptual schema of the OpenCyc 2 ontology, the open source version of the Cyc technology, one of the largest and most complete general knowledge base. The osCommerce schema [118] contains over 350 entity types and 200 relationship types, including the specification of 260 event types that deal with the behavioral aspects of online stores. On the other hand, the OpenCyc [31] includes over 3000 entity types and 2700 relationship types.…”

Section: Dealing With Large Conceptual Schemasmentioning

confidence: 99%

A filtering engine for large conceptual schemas

Villegas Niño

View full text Add to dashboard Cite

Nowadays, the need for representation and conceptualization of real world information has dramatically increased. Organizations evolution and diversification require the management and maintenance of large amounts of knowledge from their domains of interest. That growth also has an impact in the size of conceptual schemas of information systems, making them larger. The sheer size of those schemas transforms them into very useful artifacts for the communities and organizations for which they are developed. However, the size of the schemas and their overall structure and organization make it difficult to manually extract knowledge from them, to understand their characteristics, and to change them.There are many information system development activities in which people needs to get a piece of the knowledge contained in the conceptual schema. For example, a conceptual modeler needs to check with a domain expert that the knowledge is correct, a database designer needs to implement that knowledge into a relational database, a software tester needs to write tests checking that the knowledge has been correctly implemented in the system components, or a member of the maintenance team needs to change that knowledge.Dealing with large conceptual schemas is one of the most challenging and long-standing goals in conceptual modeling. The purpose of this thesis is to formally define a new information filtering methodology to help users of very large conceptual schemas to understand the characteristics and knowledge these schemas contain. This thesis analyzes and describes the different phases of an information filtering engine, identifies and studies several properties of relevance for elements of large conceptual schemas, provides a catalog of specific filtering requests to explore a schema in several filtering scenarios, and implements and evaluates the efficiency and effectiveness of a filtering engine prototype with several real case studies.The filtering methodology studies the characteristics of the knowledge contained within a large conceptual schema, and proposes ways to select and represent the user interest in order to specialize the results of a filtering engine. Consequently, a user focus on a fragment of the large schema of interest to her and our methodology automatically obtains a reduced conceptual schema extracted from the large schema and focused on the knowledge that has a closer relation with the focus of the user. Such filtered conceptual schema is a subset of the original one, and because of its reduced size it is more comprehensible to the user.The filtering approach provides knowledge extraction techniques aligned with the user interest representation, and presents such knowledge in an appropriate way to simplify its understanding. Furthermore, using this filtering approach the large conceptual schemas are navigated more quickly, increasing their usability and reducing the user effort. LIST OF FIGURES xiiAnyone who has never made a mistake has never tried something new.

show abstract

The CSTL Processor: A Tool for Automated Conceptual Schema Testing

Cited by 7 publications

References 5 publications

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

Testing-Based Conceptual Schema Validation in a Model-Driven Environment

A method for the unified definition and treatment of conceptual schema quality issues

A filtering engine for large conceptual schemas

Contact Info

Product

Resources

About