| Popis: |
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. |
