Sage Journals: Discover world-class research

Abstract

This paper presents a formal methodology and a set of design and programming tools for the development of concurrently communicating systems that execute in distributed computing environments. In order to solve the complex problems of synchronization and communication between dynamically distributed tasks, the distributed programming system uses an internal process-algebra-based mechanism, and provides an algebra term generator that allows the user to define the task architecture through a simple graphical inter face. An example of the design process of a heterogeneous distributed system illustrates the main phases of creating and executing a cbncurrent task system, as well as the architecture of the programming environment presented in the paper.

Keywords

concurrent systems distributed processing formal system specification task synchronization process algebra.

Get full access to this article

View all access options for this article.

References

Eversheim, W. , R. Graessler , W. Koelscheid and I. Schulten. 1998. "Information Management within a Concurrent Engineering Environment ," Production Engineering , 5(1): 111-116.

Debbabi, M. , F. Bouguerch and N. Tawbi. 1997. "Information Control Nets as Processes: Qualitative Analysis," Concurrent Engineering: Research and Applications, 5(1):47-57.

Zaremba, M.B. , K.J. Jedrzejek and Z.A. Banaszak. 1998. " Design of Steady State Behavior of Concurrent Repetitive Processes: An Algebraic Approach," IEEE Trans. on Systems, Man, and Cybernetics , Part A, 28(2):199-212.

MacFarlane, A.G.J. , G. Gruebel and J. Ackermann. 1989. "Future Design Environments for Control Engineering," Automatica, 25:165-176.

Zeigler, B.P. and J.W. Kim. 1996. "A High Performance Modelling and Simulation Environment for Intelligent Systems Design," J. Intelligent Control and Systems. 1:83-100.

Kohn , et al. 1995. "A Hybrid Systems Approach to Computer-Aided Control Engineering ," IEEE Control Systems, 4:14-25.

Albus, J.S. 1994. A Reference Model Architecture for Intelligent Systems Design. National Institute of Standards and Technology , Technical Report 5502, Gaithersburg, MD.

Albus, J.S. , H.G. McCain and R. Lumia. 1989. NASA/NBS Standard Reference Modelfor Telerobot Control System Architecture (NASREM). National Institute of Standards and Technology, Technical Report 1235, Gaithersburg, MD.

Khebbal, S. and C. Sharpington. 1996. Rapid Application Generation of Business and Finance Software, Kluwer Academic Publishers, Dordrecht.

10.

Brooks, S.D. , C.A.R. Hoare and A.W. Roscoe. 1984. "A Theory of Communication of Sequential Processes," Journal of ACM. 31(3):560-599.

11.

Milner, R. 1989. Communication and Concurrency. Prentice Hall.

12.

Prasad, B. 1996. Concurrent Engineering Fundmentals. Vol. 1. Prentice Hall: Upper Saddle River, NJ.

13.

Best, E. , R. Devilliers and J. Hall. 1992. "The Box Calculus; A new causal algebra with multi-label communication," Advances in Petri Nets, LNCS 609, Springer-Verlag, Berlin.

14.

Fraczak, W. 1995. "Multi-action process algebra," In Algorithms, Concurrency and Knowledge. LNCS 1023, Springer-Verlag, Berlin.

15.

Milner, R. 1980. "A calculus of communicating systems," LNCS 92 , Springer-Verlag, Berlin.

16.

van Glabbeek, R.J. 1993. "The linear time-branching time spectrum II; the semantics of sequential systems with silent moves," In: CONCUR'93 ( E. Best , Ed.), Springer-Verlag, Berlin.

17.

Fraczak, W. and M.B. Zaremba. 1998. "A Non-SOS Operational Semantics for a Process Algebra," Information Processing Letters , 68:47-54.

18.

Fanchon, J. 1995. "Algebras of Located and Directed Processes," Research Report No. 987. Laboratoire de Recherche en Informatique , Orsay, France.

19.

Sen, S. and Weiss, G. 1999. "Learning in Multiagent Systems," Multiagent Systems: A ModernApproach to Distributed Artificial Intelligence ( G. Weiss ed.), The MIT Press, Cambridge, Mass.

20.

Wooldridge, M. 1999. "Intelligent Agents," Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence ( G. Weiss ed.), The MIT Press, Cambridge, Mass.

Dynamic Task Communication for Concurrent Processing in Distributed Systems

Abstract

Keywords

Get full access to this article

References