Méthodes Formelles pour les Systèmes Logiciels et Matériels

Friday, January 18, 2013
Speaker(s) : Ding Liu, Xidian, Maryam Eslamichalandar

14h00-15h00: Ding Liu, Xidian University, "Intrinsically live structure and deadlock control in Generalized Petri nets modeling flexible manufacturing systems", joint work with Kamel Barkaoui and Mengchu Zhou (NJIT)
From the perspective of the behavioral logic, our talk focuses on the intrinsically live structures and deadlock control of generalized Petri nets modeling flexible manufacturing systems. Being different from the existing siphon-based methods,the concept of intrinsically live structures becomes the starting point to design, analyze, and optimize a series of novel deadlock control and liveness-enforcing methods in the work. The characteristics and essence of intrinsically live structures are identified and derived from subclasses of generalized Petri nets modeling FMSs with complex resource usage styles. In addition, the numerical relationship between initial markings and weights of connecting arcs is investigated and used to design restrictions that ensure the intrinsical liveness of global or local structures. With the structural theory, graph theory, and number theory, the work achieves the goals of deadlock control and liveness-enforcement. The proposed methods are superior over the traditional siphon-based ones with a lower computational complexity (or a higher computational efficiency), a lower structural complexity, and a better behavioral permissiveness of the controlled system.
15h00-15h30 : Maryam Eslamichalandar, Cedric/Cnam, "Web Service Composition: Compatibility, Adaptation and Evolution"
With the trend of Service Oriented Computing (SOC), Web service composition is emerged to integrate the functionality of heterogeneous and autonomous services. A fundamental challenge of the interoperability of independent services is associated with their compatibility. The typical approach for incompatible service collaboration is service adaptation. Numerous adaptation approaches have been proposed to tackle with service interface and service business protocol (behavior) incompatibilities. The first one refers to the mismatches between service signatures whereas the latter concerns with order constraints that services impose on message exchange sequences. In this talk, we present an overview on proposed adaptation techniques dealing with both levels of mismatches in service interoperability and we discuss the challenge of interaction and adaptation in the context of service evolution.
15h30-16h00: pause café
16h00-16h30: vie du groupe

More details here …
kamel.barkaoui (at)