The Experts below are selected from a list of 49089 Experts worldwide ranked by ideXlab platform
Mariaesther Vidal - One of the best experts on this subject based on the ideXlab platform.
-
EKAW - Alligator: A Deductive Approach for the Integration of Industry 4.0 Standards
Lecture Notes in Computer Science, 2016Co-Authors: Irlán Grangel-gonzález, Mariaesther Vidal, Diego Collarana, Lavdim Halilaj, Steffen Lohmann, Christoph Lange, Sören AuerAbstract:Industry 4.0 standards, such as AutomationML, are used to specify properties of mechatronic elements in terms of views, such as electrical and mechanical views of a motor engine. These views have to be integrated in order to obtain a complete model of the artifact. Currently, the integration requires user knowledge to manually identify elements in the views that refer to the same element in the integrated model. Existing Approaches are not able to scale upi¾?to large models where a potentially large number of conflicts may exist across the different views of an element. To overcome this limitation, we developed Alligator, a Deductive rule-based system able to identify conflicts between AutomationML documents. We define a Datalog-based representation of the AutomationML input documents, and a set of rules for identifying conflicts. A Deductive engine is used to resolve the conflicts, to merge the input documents and produce an integrated AutomationML document. Our empirical evaluation of the quality of Alligator against a benchmark of AutomationML documents suggest that Alligator accurately identifies various types of conflicts between AutomationML documents, and thus helps increasing the scalability, efficiency, and coherence of models for Industry 4.0 manufacturing environments.
-
bionmap a Deductive Approach for resource discovery
Information Integration and Web-based Applications & Services, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a Deductive Approach that supports resource discovery. The BiOnMap Web service is designed to support the selection of resources suitable to implement specific tasks. The BiOnMap service is comprised of a metadata catalog and a reasoning engine. The metadata catalog uses domain ontologies to annotate resources semantically and express domain rules that capture path equivalences at the level of the ontology graph. The BiOnMap reasoning engine is able to infer new properties of services to support service discovery, composition, and mapping. We illustrate our Approach with an application case from the domain of bioinformatics.
-
a Deductive Approach for resource interoperability and well defined workflows
OTM '08 Proceedings of the OTM Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: 2008 Workshops: ADI AWe, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a model that supports Web service description, composition, and workflow design. The model is composed of an ontological layer that represents domain concepts and their relationships, and a resource layer that describes the resources in terms of a domain ontology. With our Approach the design of a workflow is expressed as a conceptual query network while its implementation is computed Deductively from the selected resource descriptions. We illustrate our Approach with an application case from the domain of bioinformatics.
-
iiWAS - BiOnMap: a Deductive Approach for resource discovery
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services - iiWAS '08, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a Deductive Approach that supports resource discovery. The BiOnMap Web service is designed to support the selection of resources suitable to implement specific tasks. The BiOnMap service is comprised of a metadata catalog and a reasoning engine. The metadata catalog uses domain ontologies to annotate resources semantically and express domain rules that capture path equivalences at the level of the ontology graph. The BiOnMap reasoning engine is able to infer new properties of services to support service discovery, composition, and mapping. We illustrate our Approach with an application case from the domain of bioinformatics.
-
OTM Workshops - A Deductive Approach for Resource Interoperability and Well-Defined Workflows
On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a model that supports Web service description, composition, and workflow design. The model is composed of an ontological layer that represents domain concepts and their relationships, and a resource layer that describes the resources in terms of a domain ontology. With our Approach the design of a workflow is expressed as a conceptual query network while its implementation is computed Deductively from the selected resource descriptions. We illustrate our Approach with an application case from the domain of bioinformatics.
Hengjun Zhao - One of the best experts on this subject based on the ideXlab platform.
-
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification Approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based Deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed Approach, or even develop their own formal methods in their future work.
-
formal verification of simulink stateflow diagrams a Deductive Approach
2016Co-Authors: Naijun Zhan, Shuling Wang, Hengjun ZhaoAbstract:This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification Approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based Deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed Approach, or even develop their own formal methods in their future work.
Nadia Yacoubi Ayadi - One of the best experts on this subject based on the ideXlab platform.
-
bionmap a Deductive Approach for resource discovery
Information Integration and Web-based Applications & Services, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a Deductive Approach that supports resource discovery. The BiOnMap Web service is designed to support the selection of resources suitable to implement specific tasks. The BiOnMap service is comprised of a metadata catalog and a reasoning engine. The metadata catalog uses domain ontologies to annotate resources semantically and express domain rules that capture path equivalences at the level of the ontology graph. The BiOnMap reasoning engine is able to infer new properties of services to support service discovery, composition, and mapping. We illustrate our Approach with an application case from the domain of bioinformatics.
-
a Deductive Approach for resource interoperability and well defined workflows
OTM '08 Proceedings of the OTM Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: 2008 Workshops: ADI AWe, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a model that supports Web service description, composition, and workflow design. The model is composed of an ontological layer that represents domain concepts and their relationships, and a resource layer that describes the resources in terms of a domain ontology. With our Approach the design of a workflow is expressed as a conceptual query network while its implementation is computed Deductively from the selected resource descriptions. We illustrate our Approach with an application case from the domain of bioinformatics.
-
iiWAS - BiOnMap: a Deductive Approach for resource discovery
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services - iiWAS '08, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a Deductive Approach that supports resource discovery. The BiOnMap Web service is designed to support the selection of resources suitable to implement specific tasks. The BiOnMap service is comprised of a metadata catalog and a reasoning engine. The metadata catalog uses domain ontologies to annotate resources semantically and express domain rules that capture path equivalences at the level of the ontology graph. The BiOnMap reasoning engine is able to infer new properties of services to support service discovery, composition, and mapping. We illustrate our Approach with an application case from the domain of bioinformatics.
-
OTM Workshops - A Deductive Approach for Resource Interoperability and Well-Defined Workflows
On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008Co-Authors: Nadia Yacoubi Ayadi, Zoe Lacroix, Mariaesther VidalAbstract:We present a model that supports Web service description, composition, and workflow design. The model is composed of an ontological layer that represents domain concepts and their relationships, and a resource layer that describes the resources in terms of a domain ontology. With our Approach the design of a workflow is expressed as a conceptual query network while its implementation is computed Deductively from the selected resource descriptions. We illustrate our Approach with an application case from the domain of bioinformatics.
S Ramesh - One of the best experts on this subject based on the ideXlab platform.
-
detection of runtime errors in misra c programs a Deductive Approach
International Conference on Computer Safety Reliability and Security, 2007Co-Authors: Ajith K John, Babita Sharma, A K Bhattacharjee, S D Dhodapkar, S RameshAbstract:In this paper, we describe a method for detecting runtime errors for programs which are written in an industrially sponsored safe subset of C called MISRA C. The method is based on a novel model of C programs: each C program is modeled as a typed transition system encoded in the specification language accepted by PVS theorem prover. Since the specification is strongly typed, proof obligations are generated, for possible type violations in each statement in C, when loaded in the PVS theorem prover which need to be discharged. The technique does not require execution of the program to be analysed and is capable of detecting runtime errors such as array bound errors, divide by zero, arithmetic overflows and underflows etc. Based upon the method, we have developed a tool, which converts MISRA C programs into PVS specifications automatically. The tool has been used in checking runtime errors in several programs developed for real-time control applications.
-
SAFECOMP - Detection of runtime errors in MISRA C programs: a Deductive Approach
Lecture Notes in Computer Science, 2007Co-Authors: Ajith K John, Babita Sharma, A K Bhattacharjee, S D Dhodapkar, S RameshAbstract:In this paper, we describe a method for detecting runtime errors for programs which are written in an industrially sponsored safe subset of C called MISRA C. The method is based on a novel model of C programs: each C program is modeled as a typed transition system encoded in the specification language accepted by PVS theorem prover. Since the specification is strongly typed, proof obligations are generated, for possible type violations in each statement in C, when loaded in the PVS theorem prover which need to be discharged. The technique does not require execution of the program to be analysed and is capable of detecting runtime errors such as array bound errors, divide by zero, arithmetic overflows and underflows etc. Based upon the method, we have developed a tool, which converts MISRA C programs into PVS specifications automatically. The tool has been used in checking runtime errors in several programs developed for real-time control applications.
Sebastian Schaffert - One of the best experts on this subject based on the ideXlab platform.
-
data retrieval and evolution on the semantic web a Deductive Approach
Lecture Notes in Computer Science, 2004Co-Authors: Francois Bry, Tim Furche, Paulalavinia Pătrânjan, Sebastian SchaffertAbstract:To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and Semantic) Web query language Xcerpt and the event and update language XChange, and shows how their Deductive capabilities make them well suited for querying, changing and reasoning with data on both the conventional and the Semantic Web. To this aim, small application scenarios are introduced.
-
PPSWR - Data retrieval and evolution on the (semantic) Web: A Deductive Approach
Principles and Practice of Semantic Web Reasoning, 2004Co-Authors: Francois Bry, Tim Furche, Paulalavinia Pătrânjan, Sebastian SchaffertAbstract:To make use of data represented on the Semantic Web, it is necessary to provide languages for Web data retrieval and evolution. This article introduces into the (conventional and Semantic) Web query language Xcerpt and the event and update language XChange, and shows how their Deductive capabilities make them well suited for querying, changing and reasoning with data on both the conventional and the Semantic Web. To this aim, small application scenarios are introduced.
