The Experts below are selected from a list of 187254 Experts worldwide ranked by ideXlab platform

Oortwijn Wytse - One of the best experts on this subject based on the ideXlab platform.

  • Who is to blame? – Runtime verification of distributed Objects with active monitors
    'Open Publishing Association', 2019
    Co-Authors: Ahrendt Wolfgang, Henrio Ludovic, Oortwijn Wytse
    Abstract:

    Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, Object-oriented applications, via a combination of the runtime verification tool LARVA and the active Object Framework PROACTIVE. Even if LARVA supports in itself only the generation of local, sequential monitors, we empower LARVA for distributed monitoring by connecting monitors with active Objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local Object and its environment. While LARVA itself focuses on monitoring of control-oriented properties, we use the LARVA front-end STARVOORS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store

  • Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
    'Open Publishing Association', 2019
    Co-Authors: Ahrendt Wolfgang, Henrio Ludovic, Oortwijn Wytse
    Abstract:

    In Proceedings VORTEX 2018, arXiv:1908.09302International audienceSince distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, Object-oriented applications, via a combination of the runtime verification tool Larva and the active Object Framework ProActive. Even if Larva supports in itself only the generation of local, sequential monitors, we empower Larva for distributed monitoring by connecting monitors with active Objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local Object and its environment. While Larva itself focuses on monitoring of control-oriented properties, we use the Larva front-end StaRVOOrS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store

Ahrendt Wolfgang - One of the best experts on this subject based on the ideXlab platform.

  • Who is to blame? – Runtime verification of distributed Objects with active monitors
    'Open Publishing Association', 2019
    Co-Authors: Ahrendt Wolfgang, Henrio Ludovic, Oortwijn Wytse
    Abstract:

    Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, Object-oriented applications, via a combination of the runtime verification tool LARVA and the active Object Framework PROACTIVE. Even if LARVA supports in itself only the generation of local, sequential monitors, we empower LARVA for distributed monitoring by connecting monitors with active Objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local Object and its environment. While LARVA itself focuses on monitoring of control-oriented properties, we use the LARVA front-end STARVOORS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store

  • Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
    'Open Publishing Association', 2019
    Co-Authors: Ahrendt Wolfgang, Henrio Ludovic, Oortwijn Wytse
    Abstract:

    In Proceedings VORTEX 2018, arXiv:1908.09302International audienceSince distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, Object-oriented applications, via a combination of the runtime verification tool Larva and the active Object Framework ProActive. Even if Larva supports in itself only the generation of local, sequential monitors, we empower Larva for distributed monitoring by connecting monitors with active Objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local Object and its environment. While Larva itself focuses on monitoring of control-oriented properties, we use the Larva front-end StaRVOOrS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store

Kazuhiko Ohe - One of the best experts on this subject based on the ideXlab platform.

  • a corba based Object Framework with patient identification translation and dynamic linking methods for exchanging patient data
    Methods of Information in Medicine, 1999
    Co-Authors: Cun Wang, Kazuhiko Ohe
    Abstract:

    Exchanging and integration of patient data across heterogeneous databases and institutional boundaries offers many problems. We focused on two issues: (1) how to identify identical patients between different systems and institutions while lacking universal patient identifiers; and (2) how to link patient data across heterogeneous databases and institutional boundaries. To solve these problems, we created a patient identification (ID) translation model and a dynamic linking method in the Common Object Request Broker Architecture (CORBA) environment. The algorithm for the patient ID translation is based on patient attribute matching plus computer-based human checking; the method for dynamic linking is temporal mapping. By implementing these methods into computer systems with help of the distributed Object computing technology, we built a prototype of a CORBA-based Object Framework in which the patient ID translation and dynamic linking methods were embedded. Our experiments with a Web-based user interface using the Object Framework and dynamic linking-through the Object Framework were successful. These methods are important for exchanging and integrating patient data across heterogeneous databases and institutional boundaries.

Henrio Ludovic - One of the best experts on this subject based on the ideXlab platform.

  • Who is to blame? – Runtime verification of distributed Objects with active monitors
    'Open Publishing Association', 2019
    Co-Authors: Ahrendt Wolfgang, Henrio Ludovic, Oortwijn Wytse
    Abstract:

    Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, Object-oriented applications, via a combination of the runtime verification tool LARVA and the active Object Framework PROACTIVE. Even if LARVA supports in itself only the generation of local, sequential monitors, we empower LARVA for distributed monitoring by connecting monitors with active Objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local Object and its environment. While LARVA itself focuses on monitoring of control-oriented properties, we use the LARVA front-end STARVOORS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store

  • Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
    'Open Publishing Association', 2019
    Co-Authors: Ahrendt Wolfgang, Henrio Ludovic, Oortwijn Wytse
    Abstract:

    In Proceedings VORTEX 2018, arXiv:1908.09302International audienceSince distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification can serve as a lean alternative, where monitoring mechanisms are automatically generated from property specifications, to check compliance at runtime. This paper contributes a practical solution for powerful and flexible runtime verification of distributed, Object-oriented applications, via a combination of the runtime verification tool Larva and the active Object Framework ProActive. Even if Larva supports in itself only the generation of local, sequential monitors, we empower Larva for distributed monitoring by connecting monitors with active Objects, turning them into active, communicating monitors. We discuss how this allows for a variety of monitoring architectures. Further, we show how property specifications, and thereby the generated monitors, provide a model that splits the blame between the local Object and its environment. While Larva itself focuses on monitoring of control-oriented properties, we use the Larva front-end StaRVOOrS to also capture data-oriented (pre/post) properties in the distributed monitoring. We demonstrate this approach to distributed runtime verification with a case study, a distributed key/value store

Cun Wang - One of the best experts on this subject based on the ideXlab platform.

  • a corba based Object Framework with patient identification translation and dynamic linking methods for exchanging patient data
    Methods of Information in Medicine, 1999
    Co-Authors: Cun Wang, Kazuhiko Ohe
    Abstract:

    Exchanging and integration of patient data across heterogeneous databases and institutional boundaries offers many problems. We focused on two issues: (1) how to identify identical patients between different systems and institutions while lacking universal patient identifiers; and (2) how to link patient data across heterogeneous databases and institutional boundaries. To solve these problems, we created a patient identification (ID) translation model and a dynamic linking method in the Common Object Request Broker Architecture (CORBA) environment. The algorithm for the patient ID translation is based on patient attribute matching plus computer-based human checking; the method for dynamic linking is temporal mapping. By implementing these methods into computer systems with help of the distributed Object computing technology, we built a prototype of a CORBA-based Object Framework in which the patient ID translation and dynamic linking methods were embedded. Our experiments with a Web-based user interface using the Object Framework and dynamic linking-through the Object Framework were successful. These methods are important for exchanging and integrating patient data across heterogeneous databases and institutional boundaries.