International Journal of Software Innovation, 2022
The Internet of things aims to create a continuity between real and digital worlds, by integratin... more The Internet of things aims to create a continuity between real and digital worlds, by integrating physical objects into the digital universe. This will increase the number of connected machines and generate new applications. When combined according to an appropriate logic, IoT objects can produce value-added services that a single object cannot provide. In order to avoid costly errors, this execution logic has to be modeled and validated, using a formal model, before its effective deployment. To address the lack of special-purpose modeling languages for IoT applications, the authors propose the Things-Net model, designed specifically to meet the needs of IoT-based systems. It allows an easy modeling and verification of IoT time-dependent platforms, to ensure that the designed IoT solution fulfills the application's requirements. In order to illustrate the approach, authors apply the modeling and verification techniques to a prototype of an airport management system based on IoT.
Web service composition is studied by many works and constitutes the heart of a great research ac... more Web service composition is studied by many works and constitutes the heart of a great research activity. However, the majority of this work does not take into account temporal exception handling. Consequently, the results do not answer the needs and the temporal preferences of customers and suppliers. Incorporating temporal constraints in Web service composition results in a more complex model and addresses the crucial need for exception handling. In this paper, we present H-Service-Net model for Web service composition and policies of handling exceptions. We validated our proposed approach in an implementation called H-Service-Editor tool.
— We present in this paper a hierarchical and temporal extension of Petri Nets for the incrementa... more — We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modeling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental ... more We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modeling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations. KeywordsPetri Nets, Modeling, Temporal Verification, SMIL, Multimedia.
2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS), 2019
Web of Things is a new paradigm, it constitutes the heart of a great research activity. However, ... more Web of Things is a new paradigm, it constitutes the heart of a great research activity. However, most of this work does not take into account its temporal aspect, whereas it is a critical dimension directly related to customer satisfaction, optimization and is considered as a very effective strategy for cost reduction. For this matter, we propose a tool to edit and verify the time constraints added to an abstract BPEL specification. Furthermore, the editor allows the user to edit abstract BPEL specification that orchestrates Web services offered by objects connected to the Web of Things. Through the latter, the input specification is enriched with constraints and time attributes. Then, a temporal verification and validation process is applied to detect any temporal errors or conflicts.
we present in this paper a spatiotemporal SMIL editor with incremental verification capabilities.... more we present in this paper a spatiotemporal SMIL editor with incremental verification capabilities. Our authoring tool, named SMIL Builder V2, is the extended version of our temporal editor SMIL Builder, defined in a previous work. The new version SMIL Builder V2 deals with spatial layout as well as spatio-temporal errors, like spatial conflict. The spatial conflict is a major problem that affects the quality of multimedia presentations. It occurs when two visual objects overlap, partially or totally, in space and in time. The editor will have to respond to each operation of modification on the document. In the case of a spatial conflict, the author will be informed of the problem and be assisted by the system that proposes a diagnosis and some possible solutions.
2020 2nd International Workshop on Human-Centric Smart Environments for Health and Well-being (IHSH), 2021
The adoption of the Web of Things (WoT) has revolutionized the medical sector by giving rise to a... more The adoption of the Web of Things (WoT) has revolutionized the medical sector by giving rise to a number of easy-to-use solutions. In this context, improving remote patient health monitoring in a hospital is a recurring consideration, due to various difficulties encountered by medical staff during the performance of their duties, such as heavy workload, manual input of patient data, delays in treatments or interventions, and possible human errors (diagnostic, dosage, etc.). For this matter, we propose a platform that allows to permanently monitor the vital signs of hospitalized patients using sensors. Automatic intervention scenarios are developed to provide the necessary treatment to the patient remotely. In case of life-threatening circumstances, the medical staff is alerted by receiving notifications summarizing the patient's condition. Based on a service-oriented architecture (SOA), the successful sequencing of these functionalities depends on the composition of the differen...
International Journal on Semantic Web and Information Systems
This article describes how incorporating temporal constraints in web service composition results ... more This article describes how incorporating temporal constraints in web service composition results in more complex models and makes the verification of temporal consistency during the modeling and execution crucial. This article proposes a model named H-Service-Net based on the time petri net model to control and manage temporal consistency; the model also supports time constraints and exception handling. First, this approach proposes a modular approach for modeling composition using Extend Time Unit System, Allen's interval algebra, and comparison operators in a time petri net model to consider all types of temporal constraints. Subsequently, this article presents algorithms on checking temporal consistency and mechanism for exception handling and validating the system in an implementation tool (H-Service-Editor) based on the proposed approach that uses BizTalk Server 2013 to evaluate the implementation of temporal constraints and timeout exception handling. Finally, an exhaustiv...
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental ... more We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modeling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.
We present in this article a temporal SMIL editor with incremental verification capabilities, bas... more We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.
ACM Transactions on Multimedia Computing, Communications, and Applications, 2011
We present in this article a temporal SMIL editor with incremental verification capabilities, bas... more We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.
International Journal of Software Innovation, 2022
The Internet of things aims to create a continuity between real and digital worlds, by integratin... more The Internet of things aims to create a continuity between real and digital worlds, by integrating physical objects into the digital universe. This will increase the number of connected machines and generate new applications. When combined according to an appropriate logic, IoT objects can produce value-added services that a single object cannot provide. In order to avoid costly errors, this execution logic has to be modeled and validated, using a formal model, before its effective deployment. To address the lack of special-purpose modeling languages for IoT applications, the authors propose the Things-Net model, designed specifically to meet the needs of IoT-based systems. It allows an easy modeling and verification of IoT time-dependent platforms, to ensure that the designed IoT solution fulfills the application's requirements. In order to illustrate the approach, authors apply the modeling and verification techniques to a prototype of an airport management system based on IoT.
Web service composition is studied by many works and constitutes the heart of a great research ac... more Web service composition is studied by many works and constitutes the heart of a great research activity. However, the majority of this work does not take into account temporal exception handling. Consequently, the results do not answer the needs and the temporal preferences of customers and suppliers. Incorporating temporal constraints in Web service composition results in a more complex model and addresses the crucial need for exception handling. In this paper, we present H-Service-Net model for Web service composition and policies of handling exceptions. We validated our proposed approach in an implementation called H-Service-Editor tool.
— We present in this paper a hierarchical and temporal extension of Petri Nets for the incrementa... more — We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modeling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental ... more We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modeling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations. KeywordsPetri Nets, Modeling, Temporal Verification, SMIL, Multimedia.
2019 International Conference on Theoretical and Applicative Aspects of Computer Science (ICTAACS), 2019
Web of Things is a new paradigm, it constitutes the heart of a great research activity. However, ... more Web of Things is a new paradigm, it constitutes the heart of a great research activity. However, most of this work does not take into account its temporal aspect, whereas it is a critical dimension directly related to customer satisfaction, optimization and is considered as a very effective strategy for cost reduction. For this matter, we propose a tool to edit and verify the time constraints added to an abstract BPEL specification. Furthermore, the editor allows the user to edit abstract BPEL specification that orchestrates Web services offered by objects connected to the Web of Things. Through the latter, the input specification is enriched with constraints and time attributes. Then, a temporal verification and validation process is applied to detect any temporal errors or conflicts.
we present in this paper a spatiotemporal SMIL editor with incremental verification capabilities.... more we present in this paper a spatiotemporal SMIL editor with incremental verification capabilities. Our authoring tool, named SMIL Builder V2, is the extended version of our temporal editor SMIL Builder, defined in a previous work. The new version SMIL Builder V2 deals with spatial layout as well as spatio-temporal errors, like spatial conflict. The spatial conflict is a major problem that affects the quality of multimedia presentations. It occurs when two visual objects overlap, partially or totally, in space and in time. The editor will have to respond to each operation of modification on the document. In the case of a spatial conflict, the author will be informed of the problem and be assisted by the system that proposes a diagnosis and some possible solutions.
2020 2nd International Workshop on Human-Centric Smart Environments for Health and Well-being (IHSH), 2021
The adoption of the Web of Things (WoT) has revolutionized the medical sector by giving rise to a... more The adoption of the Web of Things (WoT) has revolutionized the medical sector by giving rise to a number of easy-to-use solutions. In this context, improving remote patient health monitoring in a hospital is a recurring consideration, due to various difficulties encountered by medical staff during the performance of their duties, such as heavy workload, manual input of patient data, delays in treatments or interventions, and possible human errors (diagnostic, dosage, etc.). For this matter, we propose a platform that allows to permanently monitor the vital signs of hospitalized patients using sensors. Automatic intervention scenarios are developed to provide the necessary treatment to the patient remotely. In case of life-threatening circumstances, the medical staff is alerted by receiving notifications summarizing the patient's condition. Based on a service-oriented architecture (SOA), the successful sequencing of these functionalities depends on the composition of the differen...
International Journal on Semantic Web and Information Systems
This article describes how incorporating temporal constraints in web service composition results ... more This article describes how incorporating temporal constraints in web service composition results in more complex models and makes the verification of temporal consistency during the modeling and execution crucial. This article proposes a model named H-Service-Net based on the time petri net model to control and manage temporal consistency; the model also supports time constraints and exception handling. First, this approach proposes a modular approach for modeling composition using Extend Time Unit System, Allen's interval algebra, and comparison operators in a time petri net model to consider all types of temporal constraints. Subsequently, this article presents algorithms on checking temporal consistency and mechanism for exception handling and validating the system in an implementation tool (H-Service-Editor) based on the proposed approach that uses BizTalk Server 2013 to evaluate the implementation of temporal constraints and timeout exception handling. Finally, an exhaustiv...
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental ... more We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism is then necessary. This model, named H-SMIL-Net (Hierarchical SMIL-Petri Net) proposes a technique for the incremental verification of temporal consistency. The originality of the solution resides in the modular aspect of the modeling, and the local approach of verification, what optimizes the verification time after each editing operation. This formal approach has been integrated in an incremental authoring tool for SMIL presentations.
We present in this article a temporal SMIL editor with incremental verification capabilities, bas... more We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.
ACM Transactions on Multimedia Computing, Communications, and Applications, 2011
We present in this article a temporal SMIL editor with incremental verification capabilities, bas... more We present in this article a temporal SMIL editor with incremental verification capabilities, based on a formal Petri Net--based model. Our authoring tool, named SMIL Builder, allows the author to “build” his document step by step, while insuring at every stage the validity of the current state of the document. These incremental authoring and consistency checking features are based on the H-SMIL-Net model (Hierarchical SMIL Petri Net), a temporal extension of Petri Nets. Our aim is to propose an easy-to-use temporal environment which can satisfy a wide range of users; so we opted for an interface combining simplicity and ergonomics.
Uploads