Specification and prototyping of reactive distributed systems with algebraic term nets
Joint Authors
Bouchoul, Fayizah
Mustafa, Muhammad
Source
The International Arab Journal of Information Technology
Issue
Vol. 7, Issue 1 (31 Jan. 2010), pp.86-95, 10 p.
Publisher
Publication Date
2010-01-31
Country of Publication
Jordan
No. of Pages
10
Main Subjects
Information Technology and Computer Science
Abstract EN
The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribution, such as the concurrency, the reactivity and the interaction between the entities.
Among the most common reactive distributed systems we can cite industrial ones; distributed networks occur for example in telecommunications, Internet, power and energy, transportation and manufacturing.
Distributed computing will play an increasingly critical role in the global industrial-infrastructure.
The need for trustworthy systems has received tremendous researchers’ attention.
The usage of formal tools for simulation and prototyping designed to facilitate the modelling of such systems is of great interest.
Improved methods are needed to insure reliability, security and robustness of industrial distributed systems.
This paper proposes the fundamentals of a formal approach for the specification of reactive distributed systems based on object-oriented paradigm.
Object’s behaviour is modelled as REACTNets.
The REACTNets enhance the ECATNets that are a kind of high level algebraic Petri nets with explicit distribution and reactivity.
We associate to the classic ECATNets MAUDE rules to handle interactions between objects.
The two formalisms have a common semantics in term of rewriting logic so that interesting prospects are opened for their integration.
American Psychological Association (APA)
Bouchoul, Fayizah& Mustafa, Muhammad. 2010. Specification and prototyping of reactive distributed systems with algebraic term nets. The International Arab Journal of Information Technology،Vol. 7, no. 1, pp.86-95.
https://search.emarefa.net/detail/BIM-15931
Modern Language Association (MLA)
Bouchoul, Fayizah& Mustafa, Muhammad. Specification and prototyping of reactive distributed systems with algebraic term nets. The International Arab Journal of Information Technology Vol. 7, no. 1 (Jan. 2010), pp.86-95.
https://search.emarefa.net/detail/BIM-15931
American Medical Association (AMA)
Bouchoul, Fayizah& Mustafa, Muhammad. Specification and prototyping of reactive distributed systems with algebraic term nets. The International Arab Journal of Information Technology. 2010. Vol. 7, no. 1, pp.86-95.
https://search.emarefa.net/detail/BIM-15931
Data Type
Journal Articles
Language
English
Notes
includes bibliographical references : p. 93-94
Record ID
BIM-15931