Abstract
The objective of this paper is twofold. First we modify and extend the definition of Algebraic Term Nets [2] in order to make them concurrent objects. Then we give them an interpretation in terms of rewrite logic. The proposed logic acts as an axiomatisation allowing us to study the behavior of Algebraic Term Nets by deduction in such a logic. Moreover we present and discuss a general approach allowing us to write the axioms in such a way that our nets are executed coherently and with a maximum of true concurrency.
Preview
Unable to display preview. Download preview PDF.
References
E. Astesiano, G. Reggio: A structural approach to the formal modelization and specification of concurrent systems. Dipartimento di Matematica, Universita di Genova 1990
M. Bettaz: An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. In: H. Ehrig, K.P. Jantke, F. Orejas, H. Reichel (eds.): Recent Trends in Data Type Specification. Lecture Notes in Computer Science 534. Springer-Verlag 1991, pp. 11–30
M. Bettaz: On the Expressiveness of Algebraic Term Nets. 6th International Workshop on Software Specification and Design. Concurrency and Distribution Track. Como 10/1991
M. Bettaz, A. Choutri: Algebraic Term Nets, a Formalism for Specifying Communication Software in the OSI Framework. In: CMI Rattray, RG Clark (eds.): The Unified Computation Laboratory. Oxford University Press 1992, pp. 293–305
M. Bettaz, M. Maouche, M. Soualmi, M. Boukebeche: Using ECATNets for Specifying Communication Software in the OSI Framework. ICCI Conference 5/92, Torento, IEEE
J. Billington et al.: PROTEAN, A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. IEEE Transactions on Software Engineering. Vol.14, 3, 3/1988
J. Billington: Extensions to Coloured Petri Nets. In Proceedings of the Third International Workshop on Petri Nets and Performance Models. Kyoto 12/1989
J. Billington: Many-Sorted High-Level Nets. In Proceedings of the Third International Workshop on Petri Nets and Performance Models. Kyoto 12/1989
O. Bounouioua, M. Bettaz: A Graphical Editor-Simulator for Algebraic Term Nets. In Proceedings of the Second Maghrebin Conference on SE and AI. Tunis 4/1992
H. Ehrig, B. Mahr: Fundamentals of Algebraic Specifications 1. Springer EATCS Monographs on Theoretical Computer Science, 1985
H. Ehrig, M. Grose-Rhode, A. Heise: Specification Techniques for Concurrent and Distributed Systems. In Proceedings of the Second Maghrebin Conference on SE and AI. Tunis 4/1992
J. Meseguer: A Logical Theory of Concurrent Objects. In Proceedings ECOOP/OOPSLA '90. Ottawa 10/1990, ACM.
W. Reizig: Petri Nets and Algebraic Specifications. TCS 80, 1–34, 1991
J. Vautherin: Parallel System Specification with Colored Petri Nets and Algebraic Abstract Data Types. 7th European Workshop on Application and Theory of Petri Nets. Oxford 1986
M. Wilbur-Ham: Numerical Petri Nets a Guide, version 2. Telecom Australia, Research Laboratory 1987
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bettaz, M., Maouche, M. (1993). How to specify non determinism and true concurrency with algebraic term nets. In: Bidoit, M., Choppy, C. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1991 1991. Lecture Notes in Computer Science, vol 655. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56379-2_39
Download citation
DOI: https://doi.org/10.1007/3-540-56379-2_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56379-2
Online ISBN: 978-3-540-47545-3
eBook Packages: Springer Book Archive