This work addresses the Interaction Protocols (IPs) adaptation issue in Opened Multi-Agent Systems (OMAS) that evolve in a changeable and dynamic environment, and can be led to form dynamically partnerships which the agents can enter or leave any time, and in that play variable roles. The IPs based coordination is considered as an interesting solution since they structure and organize the communication between agents. Obviously, to ensure an efficient coordination between agents involved in OMAS, we need to adapt their interaction protocols if these are not perfectly suitable for them. More precisely, the paper defends that versioning technique is a good solution to deal with interaction protocols adaptation in OMAS. First, it presents a meta-model for IPs modeling. Then, it shows how we integrate the version notion in this meta-model in order to support the IPs schemas adaptation. Finally, it gives a motivation example to better illustrate the IPs versions modeling

 This work addresses the Interaction Protocols (IPs) adaptation issue in Opened Multi-Agent Systems (OMAS) that evolve in a changeable and dynamic environment, and can be led to form dynamically partnerships which the agents can enter or leave any time, and in that play variable roles. The IPs based coordination is considered as an interesting solution since they structure and organize the communication between agents. Obviously, to ensure an efficient coordination between agents involved in OMAS, we need to adapt their interaction protocols if these are not perfectly suitable for them. More precisely, the paper defends that versioning technique is a good solution to deal with interaction protocols adaptation in OMAS. First, it presents a meta-model for IPs modeling. Then, it shows how we integrate the version notion in this meta-model in order to support the IPs schemas adaptation. Finally, it gives a motivation example to better illustrate the IPs versions modeling

To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2.0 use cases. This format facilitates consistency verification of the functional requirements with respect to the sequence diagrams included in the analysis model. The consistency verification relies on a set of rules to check the correspondence among the elements of the documented use cases and those of the sequence diagrams; the correspondence exploits the implicit semantic relationship between these diagrams as defined in UP. Furthermore, to provide for a rigorous verification, the authors formalize both types of diagrams and their correspondence rules in the formal notation Z. The formal version of the analysis model is then verified through the theorem prover Z/EVES to ensure its consistency.