629 research outputs found

    Checking semantics in UML models

    Get PDF
    Modeling is one of the most crucial activities during all the phases in any software development life cycle. Typically, system development is a very complex task, and working with models helps to handle this complexity in an organized way, allowing us to reason about the properties that entities possess. In software engineering, notation, techniques and methodology for object-oriented model building has been lately the focus of active research work. In the case of object-oriented software development, models are composed by a number of communicating and well delimited elements. Although such models are sometimes harder to develop, they are easier to understand, and simpler to maintain and modify.Thus, reusability of elements among models is enhanced. In order to maximize these properties, we need tools that support the process of object- oriented development by serving as repository of previously asserted knowledge, checking the integrity of the model and maintaining the different views that form each model. Consequently, it is expected this automatic control will reduce the manual, error-prone work of maintaining model consistency across all life cycle phases. UML, Unified Modeling Language is a graphical language for visualizing, specifying, constructing and documenting the elements of a software intensive system. UML provides notation for expressing the model, in the form of graphic and text elements. Attached to these elements, there is a semantic interpretation that attempts to capture the meaning of the model, and it is represented by the constraint mechanism. Constraints are one of the three extensibility mechanisms that UML introduces, although currently the language for expressing them is not standard (natural language or OCL can be used for this purpose). Supporting tools for object oriented development in UML should not only provide a graphic editor for the notation, but also help to ensure the coherence of its semantics aspects. This research line attempts to formalize the consistency check process in UML models.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

    Ontology Evolution: MEDLINE Case Study

    Get PDF

    Constructing data marts from web sources using a graph common model

    Get PDF
    At a time when humans and devices are generating more information than ever, activities such as data mining and machine learning become crucial. These activities enable us to understand and interpret the information we have and predict, or better prepare ourselves for, future events. However, activities such as data mining cannot be performed without a layer of data management to clean, integrate, process and make available the necessary datasets. To that extent, large and costly data flow processes such as Extract-Transform-Load are necessary to extract from disparate information sources to generate ready-for-analyses datasets. These datasets are generally in the form of multi-dimensional cubes from which different data views can be extracted for the purpose of different analyses. The process of creating a multi-dimensional cube from integrated data sources is significant. In this research, we present a methodology to generate these cubes automatically or in some cases, close to automatic, requiring very little user interaction. A construct called a StarGraph acts as a canonical model for our system, to which imported data sources are transformed. An ontology-driven process controls the integration of StarGraph schemas and simple OLAP style functions generate the cubes or datasets. An extensive evaluation is carried out using a large number of agri data sources with user-defined case studies to identify sources for integration and the types of analyses required for the final data cubes

    Management and Service-aware Networking Architectures (MANA) for Future Internet Position Paper: System Functions, Capabilities and Requirements

    Get PDF
    Future Internet (FI) research and development threads have recently been gaining momentum all over the world and as such the international race to create a new generation Internet is in full swing: GENI, Asia Future Internet, Future Internet Forum Korea, European Union Future Internet Assembly (FIA). This is a position paper identifying the research orientation with a time horizon of 10 years, together with the key challenges for the capabilities in the Management and Service-aware Networking Architectures (MANA) part of the Future Internet (FI) allowing for parallel and federated Internet(s)

    A framework for utility data integration in the UK

    Get PDF
    In this paper we investigate various factors which prevent utility knowledge from being fully exploited and suggest that integration techniques can be applied to improve the quality of utility records. The paper suggests a framework which supports knowledge and data integration. The framework supports utility integration at two levels: the schema and data level. Schema level integration ensures that a single, integrated geospatial data set is available for utility enquiries. Data level integration improves utility data quality by reducing inconsistency, duplication and conflicts. Moreover, the framework is designed to preserve autonomy and distribution of utility data. The ultimate aim of the research is to produce an integrated representation of underground utility infrastructure in order to gain more accurate knowledge of the buried services. It is hoped that this approach will enable us to understand various problems associated with utility data, and to suggest some potential techniques for resolving them

    The Use of the Belief Revision Concept to Ontology Revision

    Get PDF

    Improving interoperability on industrial standards through ontologies

    Get PDF
    Interoperability refers to the effective exchange of information and understanding to collectively pursue common objectives. System developers commonly use ontologies to enhance semantic and syntactic interoperability within this context. This work aims to evaluate the contribution of ontology in making explicit the meaning of the entities described in a Piping and Instrumentation Diagram (P&ID) model and to provide an architecture that allows the representation of a P&ID in ontological knowledge bases. To understand the semantics of the P&ID entities and relations, we map each class of the P&ID to the corresponding entity of the Offshore Petroleum Production Plant Ontology (O3PO). The ontology describes the definition of each vocable associated with the axioms that clarify and regulate the meaning and utilization of this vocabulary. We intend to guarantee that the integration of P&ID with other models respects the original semantics and avoids unintended data exchanges. We follow this ontological analysis with a case study of a model that conforms to the Data Exchange in the Process Industry (DEXPI) specification, intended to provide homogeneous data interchange between CAD systems from diverse vendors. The ontological analysis of the DEXPI P&ID specification, to build a relation with a well-founded ontology, raises a set of desirable properties for a model intended for use in interoperability. While achieving technical interoperability between DEXPI P&IDs and ontologies represented in OWL is evident, we identified several challenges within the realm of semantic interoperability, specifically concerning clarity/intelligibility, conciseness, extendibility, consistency, and essence. These issues present significant hurdles to achieving seamless systems integration. Moreover, if the DEXPI standard were to evolve into a de facto standard for representing P&IDs across a broader range of domains than initially intended, these highlighted issues could potentially bottleneck its adoption and hinder its integration into different systems.Interoperabilidade se refere à troca efetiva de informação e entendimento na busca por objetivos comuns. Neste contexto, desenvolvedores de sistemas comumente utilizam ontologias para aprimorar a interoperabilidade semântica e sintática. O objetivo deste trabalho é avaliar a contribuição da ontologia para tornar explícito o significado das entidades descritas em um modelo de Diagrama de Tubulação e Instrumentação (DTI) e fornecer uma arquitetura que permita a representação de um DTI em bases de conhecimento ontológicas. Para entender a semântica das entidades e relações do DTI, mapeamos cada classe do DTI para a entidade correspondente da Ontologia de Planta de Produção de Petróleo Offshore (O3PO). A ontologia descreve a definição de cada vocábulo associado com os axiomas que esclarecem e regulam o significado e a utilização desse vocabulário. Pretendemos garantir que a integração do DTI com outros modelos respeite a semântica original e, assim, evite trocas de dados não intencionais. Seguimos essa análise ontológica com um estudo de caso de um modelo que se conforma à especificação "Data Exchange in the Process Industry" (DEXPI), destinada a fornecer uma troca de dados homogênea entre sistemas CAD de diversos fabricantes. A análise ontológica da especificação DEXPI DTI, para construir uma relação com uma ontologia bem fundamentada, levanta um conjunto de propriedades desejáveis para um modelo destinado a ser usado na interoperabilidade. Embora a conquista da interoperabilidade técnica entre DTIs DEXPI e ontologias representadas em OWL seja evidente, diversos desafios foram identificados no âmbito da interoperabilidade semântica, especificamente em relação à clareza/inteligibilidade, concisão, extensibilidade, consistência e essência. Essas questões representam obstáculos significativos para alcançar uma integração de sistemas perfeita. Além disso, se o padrão DEXPI evoluir para um padrão de facto para a representação de DTIs em um conjunto mais amplo de domínios do que inicialmente pretendido, essas questões destacadas poderiam potencialmente atrasar sua adoção e dificultar sua integração em sistemas diferentes
    corecore