Abstract
LOTOS is known not to address elegantly some of the modelling problems raised by modern distributed systems. Mobility and dynamic reconfiguration are among the essential features of these systems that are not properly addressed by this language. The present document is an attempt to solve this problem. We present M-LOTOS a mobile enhancement of LOTOS which preserves its other specification styles. M-LOTOS draws upon research in the area of mobile process algebras in general and upon Milner’s & all n-calculus in particular.
Chapter PDF
Similar content being viewed by others
Keywords
References
Astesioano 84]Astesioano E. and Zucca, E., Parametric Channels via Label expressions in CCS, Journal of Theor. Comp. Sciuence, Vol 33, pp 45–64, 1984.
G. Berry, G. Boudol: “The chemical abstract machine ” — Theoretical Computer Science. vol. 96, 1992.
T. Bolognesi, E. Brinksma, “Introduction to the ISO Specification Language LOTOS”, Computer Networks and ISDN Systems. 14 (1987), pp 25–29.
G. Boudol: “Asynchrony and the it-calculus” — Research Report no 1702, INRIA, SophiaAntipolis, France, May 1992.
H. Brinksma: “On the design of Extended LOTOS”–PhD thesis, University of Twente, The Netherlands, November 1988.
U. Engberg, M. Nielsen: “ A calculus of communicating systems with label-passing”–Report DAIMI PB-208, Computer Science Department, University of Aarhus, 1986.
K. Honda, M. Tokoro: “An object calculus for asynchronous communication”, in Proceedings ECOOP 81, Lecture Notes in Computer Science no 512, Springer Verlag 1991.
International Standard 8807 — “LOTOS : A Formal Description Technique Based on the Temporal Ordering of Observational Behavior” — 1988
M. Abadi, L. Cardelli, P.L. Curien, J.J. Levy: “Explicit substitutions” — in Proceedings 17th BACM Conf. on Princ. of Prog. Languages (POPL), San Francisco, January 1990.
R. Milner, J. Parrow, D. Walker: “A Calculus of Mobile Processes: Parts I & II” — LFCS Report ECS-LFCS-89–85, University of Edinburgh, June 1989 & Journal of Information and Computation 100, p 1–77, 1992.
R. Milner, J. Parrow, D. Walker: “Modal Logics for Mobile Processes” — CONCUR’91, LNCS 527, pp 45–60, 1991.
R. Milner : “Functions as Processes” — INRIA Research Report n 1124, February 1990 — INRIA, Rocquencourt, France & ICALP’90 — International Colloquium on Automata Languages and Programming — July 1990, Warwick (GB).
E. Najm, J.B. Stefani: “An Early Instantiation Semantics for the n-calculus” Internal Report — CNET Issy-lesMoulineaux- Paris.
E. Najm, J.B. Stefani: “Object-based concurrency: a process-calculus analysis” — In Proceedings TAPSOFT-CAAP 81, Lecture Notes in Computer Science no 494, Springer Verlag, April 1991.
E. Najm, J.B. Stefani: “Dynamic Configuration in LOTOS”. Proceedings of Forte’91–4th International Conference on Formal Description Techniques. Sydney, Autralia. November 1991. North Holland.
D. Sangiorgi: “Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms.” Phd thesis, Department of Computer Science, University of Edimburg, 1992.
J.B. Stefani: “Open Distributed Processing: The Next Target for the Application Of Formal Description Techniques” in the 3rd International Conference On Formal Description Techgniques FORTE 90–Madrid, Spain (1990).
B. Thomsen: “A Calculus of Higher Order Communicating Systems” in Proceedings of th Anual Symposium on Principles of Programming Languages, pp 143–154, 1989.
C.A. Vissers: “FDTs for Open Distributed Systems, a Prospective View” in Proceedings 10th IFIP WG6. 1 Workshop on Protocol Specification, Testing and Verification, Ottawa, Canada (1990).
ISO/IEC JTC1/SC2 Working Draft on E-LOTOS. Enhancements to LOTOS. July 94.
A. Yonezawa, M. Tokoro, eds: “Object-Oriented Concurrent Systems” — MIT Press 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Najm, E., Stefani, J.B., Février, A. (1996). Towards a mobile LOTOS. In: Bochmann, G.v., Dssouli, R., Rafiq, O. (eds) Formal Description Techniques VIII. FORTE 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34945-9_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-34945-9_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2958-9
Online ISBN: 978-0-387-34945-9
eBook Packages: Springer Book Archive