A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related
  • | | |
  • Comments
    Abstract:

    Concurrent object—oriented systems differ from traditional concurrent sys terns(e.g.systems being described by CSP or CCS)in that the process topologies of them are usually dynamic,and the inter—process communication links among processes are cre-ated or withdrawn accordinglywith the change of objects.Graph grammar turns out to be aformal tOOl much more suitable than other formalisms to specify such kink of concurrency and dynamic characteristics.This paper introduces a new graph grammar model for speci-lying concurrent object—oriented systems.System developers can specify both the static and dynamic structures of their concurrent object— oriented systems using the CSDL lan- guage provided by our model.Via a development and supporting environment for concur-rent object—oriented systems(GRADECS),the CSDL specification of concurrent system structure can be transformed to run time process topologies,and the CSDL specification of dependence and communication relations among system components can be dynamically bound to inter—process communication links for message passing.

    Reference
    1 Agha G.Concurrent object—oriented programming.CACM,1990,33(9):125—141. 2 Yonezawa A,Tokoro M.Object—oriented concurrent programming.MIT Press,Cambridge,Mass.,1987. 3 Goering S K,Kaplan SM.Visual concurrent object—based programming in GRAP.LNCS 366.Springer—Ver- lag,1989.165—180. 4 徐建礼.基于图文法的并发系统开发支撑环境[博士论文].中国科学院数学研究所,1991. 5 Ehrig H.Introduction to the algebraic theory of graph grammars.LNCS 73,Springer—Verlag, Heidelberg,1979. 1—69. 6 Ehrig H,Nagl M,Rozenberg G.Graph grammar and their application to computer science.LNCS 153, Springer— Verlag, Heidelberg,1982. 7 Ehrig H, Nagl M,Rozenberg G.Graph Grammhr and their application to computer science. LNCS 291, Springer —Verlag, Heidelberg,1987. 8 KaDlan S M,Kaiser G E.GRAP:graph abstractions for concurrent programming.ESOP,88,Spinger—Verlag, March 1988. 9 Kaplan S M,Goering S K,Campbell R H.Specifying concurrent systems with △一grammars. ACM SIGSOFT Engineering Notes,1989,14(3):20—27. 10 Janssens D,Rozenberg G.On the structure of node—label controlled graph languages. Information Science' 1980,20;191—216. 11 Zhou Longxiang.C—POREL:a distributed relational database management system on microcomputer network. Scientia Sinica, Series A,1986,29(1);78—91.
    Related
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

徐建礼,周龙骧.用于描述面向对象并发系统的实用图文法模型*.软件学报,1995,6(zk):170-181

Copy
Share
Article Metrics
  • Abstract:3171
  • PDF: 4374
  • HTML: 0
  • Cited by: 0
History
  • Received:September 30,1994
  • Revised:September 30,1994
You are the first2034288Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063