Abstract
Concurrency management protocols are implemented over collaborative platforms in order to manage the shared object modifications. We have defined the Chameleon protocol which allows us to obtain a dynamic management of collaborative architecture. Now, we want to use this algorthm over a telemedicine platform within a European project on tele-diagnosis for neurology: TeNeCi. In such a domain, a robust (no errors, no losses...) management of interactions between cooperative members is crucial. Indeed, TeNeCi must provide an efficient and infallible tool to doctors in order to establish a collaborative diagnosis. So, we must validate and prove the Chameleon robustness. Coloured Petri Nets allowed us to correct the Chameleon weaknesses we have discovered during this modeling. Indeed, a time-out and an automatic forwarding mechanisms have been implemented in the first version of our communication protocol. In addition, a timestamp has been added to some messages sent to inactive sites. Finally, a lock mechanism during a particular step has been also implemented in the Chameleon. Due to those results, we have proved that our protocol is robust. Thus, it can be used in medicine applications.
Keywords
- Communication Protocol
- Shared Object
- Virtual Topology
- Cooperative Member
- Future Generation Computer System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Garcia, E., Guyennet, H., Lapayre, J.C.: Group partitioning over corba for cooperative work. Journal of Cluster Computing (2005) (to appear)
Garcia, E., Guyennet, H., Lapayre, J.C., Moulin, T.: Adapatative tele-application for remote neurology diagnosis. International Journal of Telemedicine and e-Health (2005) (to appear)
Guan, S.U., Lim, S.S.: Modeling adapatable multimedia and self-modifying protocol execution. Future Generation Computer Systems 720, 123–143 (2004)
Kristensen, L.M., Petrucci, L.: An approach to distributed state space exploration for coloured petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 474–483. Springer, Heidelberg (2004)
Park, G.L.: Performance evaluation of a list scheduling algorithm in distributed memory multiprocessor systems. Future Generation Computer Systems 20, 249–256 (2004)
Schwarz, R., Mattern, F.: Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing 7, 149–174 (1994)
Peterson, J.L.: Petri net theory and the modelling of systems. Prentice Hall PTR, Englewood Cliffs (1981), ISBN: 0136619835
Koriem, S.M., Dabbous, T.E., El-Kilani, W.S.: A new petri net modeling technique for the performance analysis of discrete event dynamic systems. Journal of Systems and Software 72, 335–348 (2004)
Jensen, K.: Colored petri nets and the invariant method. Theorical Computer Science 14, 317–336 (1981)
Jensen, K.: An introduction to the practical use of coloured petri nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 237–292. Springer, Heidelberg (1998)
Garcia, E., Henriet, J., Lapayre, J.C.: Modeling the chameleon using a coloured-petri net: Proof and validation. LIFC Technical Report, num. RT2005-03 (2005), http://lifc.univ-fcomte.fr
Garcia, E., Guyennet, H., Lapayre, J.C.: Study of an optimistic protocol for concurrency management in cscw. In: Shen, W.-m., Chao, K.-M., Lin, Z., Barthès, J.-P.A., James, A. (eds.) CSCWD 2005. LNCS, vol. 3865, Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Garcia, E., Henriet, J., Lapayre, JC. (2005). Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets. In: Luo, Y. (eds) Cooperative Design, Visualization, and Engineering. CDVE 2005. Lecture Notes in Computer Science, vol 3675. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11555223_2
Download citation
DOI: https://doi.org/10.1007/11555223_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28948-7
Online ISBN: 978-3-540-31976-4
eBook Packages: Computer ScienceComputer Science (R0)