Petri net modeling – PART 1
Petri Net Online Course
https://giladjames.com
Section: An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service
Lesson: Petri net modeling – PART 1
Petri Net.
This course is brought to you by Gilad James Mystery School. Learn more at Gilad James.com.
Introduction
The XDM (XML Document Management) (Open Mobile Alliance, 2006a ; Open Mobile Alliance, 2006c; Open Mobile Alliance, 2006h ; Open Mobile Alliance, 2006l) service is more and more attractive in the age of regarding the user as the communication center. XDM which was ever named GM (Group Management) comes out with the Instant Messaging (IM) service, and manages the personal information, such as contact list, which is the necessary information that IM service needs (Rosenberg, 2005). With the development of XDM service, the information which the XDM server stores will be richer and richer, for example, the personal profile and group information are added to the XDM service. Then the XDM service turns into one of the supporting services from a simple service which just provides the contact for the user. As one of the supporting services, the XDM provides the personal information for the other services which need them, for example, providing the user’s personal information for the IM service or Presence service. At present, there are many different appellations of XDM in different standards. Many research institutes and companies have presented their implementations for the XDM service, but the implementations are different and incompatible, so it is hard to inter-work between them. However the inter-working for the services based on XDM service is desired intensively, such as IM, Presence service. There are three main international standards for the XDM service and its relative services: SIMPLE (Session Initiation Protocol for Instant Message and Presence Leveraging Extensions) {1}, IMPS (Instant Messaging and Presence Services) {2} and XMPP (Extensible Messaging and Presence Protocol) (P. Saint-Andre, 2004a; P. Saint-Andre, 2004b). IMPS has been deployed in many systems for its better maturity, but SIMPLE is more suitable for being deployed in IMS (Internet Protocol Multimedia Subsystem) network, so inter-working between them is becoming a research hotspot in the value-added service field, but recently the research on the topic is just in the initial stage. OMA (Open Mobile Alliance) just proposed a simple Architectural Model (Open Mobile Alliance, 2005a; Open Mobile Alliance, 2005b) for the inter-working between SIMPLE and IMPS, but the architecture can not perform the inter-working for the XDM service. Based on the research on the difference between SIMPLE and IMPS and the OMA’s inter-working Architectural Model, we (with the State Key Lab of Networking and Switching Technology of Beijing University of Posts and Telecommunications, and Research Institute of China Mobile) have proposed a bi-directional protocol mapping for use to enable the exchange of XDM information and an Enhanced Architectural Model to perform the inter-working functions which can not be completed by the current OMA Architectural Model. On the other hand, there is no any other research institute studying the XDM inter-working with the Protocol Conversion Methodology (Green, 1988; Zhu, 2006b; Zhu, 2007). In this lecture, according to the method proposed by the Protocol Conversion Methodology, the XDM inter-working model based on Petri Nets {3} is set up to verify the mapping and the Enhanced Architectural Model by a new coupling criteria of Petri net model. After the strict mathematical analysis and verification for the model, which prove that the model meets all properties of a correct Petri net model, the mapping and the Enhanced Architectural Model are proved to be reasonable and viable, and the probable exceptions in the inter-working can be found and excluded. During the modeling experiences of the inter-working with Petri Nets, some methods for solving the conflict of a Petri Net are proposed, which enriches the application of Petri Nets for the protocol conversion. As the concept of XDM is almost same among different standards, the i
#petri #net
by Gilad James Mystery School
simple network management protocol
