Notes: The 2nd International Conference on Ambient Systems, Networks and Technologies (ANT-2011) / The 8th International Conference on Mobile Web Information Systems (MobiWIS 2011)
Abstract: Dioid algebra associated with Petri Nets are appropriate tools for modeling, analyzing, and evaluating the performance of Discrete Event Systems (DESs). These tools are restricted to model systems characterized by choice phenomena and conflicts. In this paper a routing policy to arbitrate and resolve the conflicts encountered while modeling DESs by dioid algebra, is proposed. This routing policy is illustrated by considering services interaction as a case study. Results are reported to show the eectiveness of the proposed policy.
Abstract: Web services are widely used by organizations to share their knowledge over the network and facilitate business-to-business col- laboration. The emergence of Web services enabled applications to be presented as a set of business services well structured and correctly described. However, combining Web services and making them interoperable, to satisfy user requests taking into account functional and non-functional quality criteria, is a complex process. In this work, we focus specifically on location-based services (LBS) that integrate geographic information and provide information reachable from mobile devices, through wireless network by making use of the geographical positions of the devices.
The aim of this work is to develop a model driven approach to specify, validate and implement service composition process in an automatic fashion for road security. This approach is based on two formal tools namely Petri nets (PN) and (max, +) algebra used to model, to verify and to evaluate the performance of service composition process. Workflow patterns are used to represent service composition processes. The behavior of each pattern is modeled by a PN model and then by a (max,+) state equation. The developed formal models allow the graphical and analytical description of the considered processes. Also, these models enable to evaluate some quantitative and qualitative properties of the considered processes. A platform, called TransportML, has been developed for collaboration and interoperability of different LBS. The obtained simulation results from the formal models are compared, on one hand, to those obtained from trials of the platform, and on the other hand, to those obtained from the real experimentations on the field.
This work is a part of the FP7 European projects ASSET (2008-2011) and TeleFOT (2008-2012).
