496 research outputs found

    Modeling views in the layered view model for XML using UML

    Get PDF
    In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources. Conversely, since the introduction of Extensible Markup Language (XML), it is fast emerging as the dominant standard for storing, describing, and interchanging data among various web and heterogeneous data sources. In combination with XML Schema, XML provides rich facilities for defining and constraining user-defined data semantics and properties, a feature that is unique to XML. In this context, it is interesting to investigate traditional database features, such as view models and view design techniques for XML. However, traditional view formalisms are strongly coupled to the data language and its syntax, thus it proves to be a difficult task to support views in the case of semi-structured data models. Therefore, in this paper we propose a Layered View Model (LVM) for XML with conceptual and schemata extensions. Here our work is three-fold; first we propose an approach to separate the implementation and conceptual aspects of the views that provides a clear separation of concerns, thus, allowing analysis and design of views to be separated from their implementation. Secondly, we define representations to express and construct these views at the conceptual level. Thirdly, we define a view transformation methodology for XML views in the LVM, which carries out automated transformation to a view schema and a view query expression in an appropriate query language. Also, to validate and apply the LVM concepts, methods and transformations developed, we propose a view-driven application development framework with the flexibility to develop web and database applications for XML, at varying levels of abstraction

    Metamodel-based Knowledge Representation

    Get PDF

    Analysis and Verification of Service Contracts

    Get PDF

    Visual modeling of behavioural properties in the LVM for XML using XSemantic nets

    Get PDF
    Due to the increasing dependency on self-describing, schema-based, semi-structured data (e.g. XML), there exists a need to model, design and manipulate semi-structured data and the associated semantics at a higher level of abstraction than at the instance or document level. In this paper, we extend our research and propose to visually model (at the conceptual level) and transform dynamic properties of views in the Layered View Model (LVM) using the eXtensible Semantic (XSemantic) net notation. First, we present the modeling notation and then discuss the declarative transformation to map the dynamic XML view properties to XML query expressions, namely XQuery

    Information management in work organization domain in network organizations

    Get PDF
    Tese de mestrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 200

    A Catalog of Reusable Design Decisions for Developing UML/MOF-based Domain-specific Modeling Languages

    Get PDF
    In model-driven development (MDD), domain-specific modeling languages (DSMLs) act as a communication vehicle for aligning the requirements of domain experts with the needs of software engineers. With the rise of the UML as a de facto standard, UML/MOF-based DSMLs are now widely used for MDD. This paper documents design decisions collected from 90 UML/MOF-based DSML projects. These recurring design decisions were gained, on the one hand, by performing a systematic literature review (SLR) on the development of UML/MOF-based DSMLs. Via the SLR, we retrieved 80 related DSML projects for review. On the other hand, we collected decisions from developing ten DSML projects by ourselves. The design decisions are presented in the form of reusable decision records, with each decision record corresponding to a decision point in DSML development processes. Furthermore, we also report on frequently observed (combinations of) decision options as well as on associations between options which may occur within a single decision point or between two decision points. This collection of decision-record documents targets decision makers in DSML development (e.g., DSML engineers, software architects, domain experts).Series: Technical Reports / Institute for Information Systems and New Medi

    Modeling ontology views: An abstract view model for semantic web

    Get PDF
    The emergence of Semantic Web (SW) and the related technologies promise to make the web a meaningful experience. However, high level modelling, design and querying techniques proves to be a challenging task for organizations that are hoping to utilize the SW paradigm for their industrial applications. To address one such issue, in this paper, we propose an abstract view model with conceptual extensions for the SW. First we outline the view model, its properties and some modelling issues with the help of an industrial case study example. Then, we provide some discussions on constructing such views (at the conceptual level) using a set of operators. Later we provide a brief discussion on how such this view model can utilized in the MOVE [1] system, to design and construct materialized Ontology views to support Ontology extraction

    Proceedings of the Workshop on Models and Model-driven Methods for Enterprise Computing (3M4EC 2008)

    Get PDF

    Dynamic consistency checking of cloud computing patterns

    Get PDF
    Cloud computing patterns can be used to build cloud applications based on proven and tested solutions. However, the correct implementation of these patterns is not always warranted during the whole life cycle of an application. Inconsistencies between implementation and cloud computing patterns can result in architectural drift and negatively impact the quality attributes of an application. Therefore, this thesis presents a method to check the consistency of cloud computing patterns at runtime. Nine cloud computing patterns are selected and analyzed in detail for structural and semantic constraints. A formal notation is developed to express the constraints and enable automatic consistency checking of the patterns. Furthermore, a framework is designed which enables monitoring of cloud applications and checking of constraints for cloud computing patterns at runtime. To show the feasibility of this method, the framework is implemented and successfully tested in a cloud computing environment, with a simulated workload on virtual machines, for the patterns Static Workload, Continuously Changing Workload, Elasticity Manager, and Watchdog.Cloud-Computing Muster können verwendet werden um Cloud-Anwendungen, basierend auf bewährten und getesteten Lösungen, zu erstellen. Allerdings ist die korrekte Umsetzung dieser Muster nicht über die gesamte Laufzeit der Anwendung garantiert. Inkonsistenzen zwischen der Implementierung und den Cloud-Computing Mustern können zu Abweichungen von Design und Umsetzung führen und letztendlich einen negativen Einfluss auf Qualitätsattribute einer Anwendung haben. Aus diesem Grund beschreibt diese Arbeit eine Methode zur Konsistenzüberprüfung von Cloud-Computing Mustern zur Laufzeit. Neun Cloud-Computing Muster sind ausgewählt und im Detail, auf strukturelle und semantische Bedingungen und Beschränkungen, analysiert. Eine formale Notation wurde entwickelt, welche die Bedingungen und Beschränkungen formal beschreibt und eine automatische Konsistenzüberprüfung dieser Muster ermöglicht. Des Weiteren ist das Design für ein Framework präsentiert, welches Cloud-Anwendungen überwacht und Bedingungen und Beschränkungen von Cloud-Computing Mustern zur Laufzeit prüft. Um die Umsetzbarkeit dieser Methode zu zeigen wurde das Framework implementiert und erfolgreich in einer Cloud-Computing Umgebung, mit simulierter Arbeitsbelastung auf virtuellen Maschinen, für die Muster Static Workload, Continuously Changing Workload, Elasticity Manager, und Watchdog getestet
    corecore