17232263
Ontology versioning on the Semantic Web
Ontologies are often seen as basic building blocks for the Semantic Web, as they provide a reusable piece of knowledge about a specific domain. However, those pieces of knowledge are not static, but evolve over time. Domain changes, adaptations to different tasks, or changes in the conceptualization require modifications of the ontology. The evolution of ontologies causes operability problems, which will hamper their effective reuse. A versioning mechanism might help to reduce those problems, as it will make the relations between different revisions of an ontology explicit. This paper will discuss the problem of ontology versioning. Inspired by the work done in database schema versioning and program interface versioning, it will also propose building blocks for the most important aspects of a versioning mechanism, i.e., ontology identification and change specification.
2898750
Ontology Versioning and Change Detection on the Web
To effectively use ontologies on the Web, it is essential that changes in ontologies are managed well. This paper analyzes the topic of ontology versioning in the context of the Web by looking at the characteristics of the version relation between ontologies and at the identification of online ontologies. Then, it describes the design of a web-based system that helps users to manage changes in ontologies. The system helps to keep different versions of web-based ontologies interoperable, by maintaining not only the transformations between ontologies, but also the conceptual relation between concepts in different versions. The system allows ontology engineers to compare versions of ontology and to specify these conceptual relations. For the visualization of differences, it uses an adaptable rule-based mechanism that finds and classifies changes in RDF-based ontologies.
17480296
Object-Oriented Connector-Component Architectures
This paper presents an important extension of our contribution to FESCA '04, which presented a generic framework for connector architectures. These architectures were defined by components, consisting of a body specification and a set of export interfaces, and connectors, consisting of a body specification and a set of import interfaces plus connecting transformations in both cases. A major restriction of this framework was given by the assumption of non-overlapping connector interfaces. In order to make the generic framework for connector architectures more applicable, it is enriched by the possibility of handling overlapping connector interfaces. Fortunately, it is possible to extend the main results presented at FESCA '04 also to the new framework. Moreover, it is shown that the new framework can be applied to UML class diagrams, state machines and sequence diagrams as heterogeneous specification techniques. The resulting connector framework, including a concept for the composition of components and architectural reduction for UML specifications, is illustrated by a case study concerning the meta data management in Topic Maps.
7151125
Agent-Based Material Flow
Our case study aims at modeling component-based software architectures and specification of applications with mobile softand hardware. We recognized typical problems in this domain for which visual modeling techniques provide solutions. For example, a component-based approach is intuitive if visual modeling techniques are applied. Moreover, interactions in a distributed system are easy to comprehend when using visual techniques. In order to solve these problems, we applied standard UML techniques. Additionally, an extension was introduced and applied: A component framework based on UML packages. This case study is part of the DFG priority programme ”Integration of Software Specification Techniques for Applications in Engineering”. It has been worked out in the sub-project IOSIP (Integration of object-oriented software specification techniques and their application-specific extension for industrial production systems on the example of automobile industry) jointly by Institute for Software Engineering and Theoretical Computer Science (ISTI) at the Technical University of Berlin, Institute of Industrial Manufacturing and Management (IFF) at the University of Stuttgart and Fraunhofer Institut für Produktionstechnik und Automatisierung (IPA).
36579462
A component framework for system modeling based on high-level replacement systems
The aim of this paper is to present a generic component framework for system modeling that satisfies main requirements for component-based development in software engineering. In this sense, we have defined a framework that can be used, by providing an adequate instantiation, in connection with a large class of semi-formal and formal modeling techniques. Moreover, the framework is also flexible with respect to the connection of components, providing a compositional semantics of components. This means more precisely that the semantics of a system can be inferred from the semantics of its components. In contrast to other component concepts for data type specification techniques, our component framework is based on a generic notion of transformations. In particular, refinements and transformations are used to express intradependencies, between the export interface and the body of a component, and interdependencies, between the import and the export interfaces of different components. The generic component framework generalizes module concepts for different kinds of Petri nets and graph transformation systems proposed in the literature, and seems to be also suitable for visual modeling techniques, including parts of the UML, if these techniques provide a suitable refinement or transformation concept. In this paper the generic approach is instantiated in two steps. First to high-level replacement systems generalizing the transformation concept of graph transformations. In a second step it is further instantiated to low-level and high-level Petri nets. To show applicability we present sample components from a case study in the domain of production automation as proposed in a priority program of the German Research Council (DFG).
15903228
A Component Framework Based on High-Level Replacement Systems
Abstract This paper is based on two general concepts. The first one is a generic component framework for system modeling presented at FASE 2002, which is especially useful for graph- and net-based modeling techniques. The second one is the concept of high-level replacement systems, which has been studied within the last decade as an abstraction of the DPO-approach for graph transformation systems in a categorical framework, with instantiations to a large class of different modeling techniques. In this contribution both concepts are combined in the sense that the generic transformation concept - essentially used in the component framework - is instantiated by high-level replacement systems. As the main result we show how the properties for transformations required in the component framework can be shown in the case of high-level replacement systems. Moreover, some interesting extensions concerning multiple interfaces, union, and operational semantics of components are proposed.
665328
A Knowledge-based Approach to Handling Exceptions in Workflow Systems
This paper describes a novel knowledge-based approachfor helping workflow process designers andparticipants better manage the exceptions (deviationsfrom an ideal collaborative work process caused byerrors, failures, resource or requirements changesetc.) that can occur during the enactment of aworkflow. This approach is based on exploiting ageneric and reusable body of knowledge concerning whatkinds of exceptions can occur in collaborative workprocesses, and how these exceptions can handled(detected, diagnosed and resolved). This work buildsupon previous efforts from the MIT Process Handbookproject and from research on conflict management incollaborative design.