Graphical Specification Language for Distributed Systems

被引：0
|
作者：
Galicia, Jorge Cortes [1 ]
Garcia, Felipe Rolando Menchaca [1 ]
机构：
[1] Inst Politecn Nacl, Ctr Invest & Comput, Av Juan Dios Batiz S-N Esq, Mexico City 07738, DF, Mexico
来源：
CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Graphical Specification Language for Distributed Systems (LeGESD) is a formal language for the specification and analysis of distributed systems including their functional and communication requirements. LeGESD allows a modular, hierarchical and scalable specification of a distributed system. LeGESD supports a graphical notation defining communication and dynamic behavior aspects. The semantics of LeGESD is based on the Analysis and Design, of Distributed Systems (ADSD), an algebraic specification with operational semantic based on process algebra. ADSD provides behavioral equivalence relations which can be used to verify the correctness of the specification built with LeGESD.
引用
收藏
页码：385 / +
页数：2
相关论文
共 50 条
  • [1] Specification of distributed systems with a combination of graphical and formal languages
    Johnsen, EB
    Zhang, WH
    Owe, O
    Aredo, DB
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 105 - 108
  • [2] A graphical property specification language
    Lee, IS
    Sokolsky, O
    [J]. 1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 42 - 47
  • [3] Basic protocols: Specification language for distributed systems
    Letichevsky, Alexander
    [J]. Perspectives of Systems Informatics, 2007, 4378 : 21 - 25
  • [4] AN INTRODUCTION TO ESTELLE - A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    BUDKOWSKI, S
    DEMBINSKI, P
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 3 - 23
  • [5] AN INTERPRETER FOR LOTOS, A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    LOGRIPPO, L
    OBAID, A
    BRIAND, JP
    FEHRI, MC
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (04): : 365 - 385
  • [6] Evaluation of a Graphical Modeling Language for the Specification of Manufacturing Execution Systems
    Weissenberger, Benedikt
    Vogel-Heuser, Birgit
    [J]. 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [7] GRAPHICAL SPECIFICATION OF DISTRIBUTED SIMULATION MODELS
    Penzes, Jiri
    Kavicka, Antonin
    [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2013, 2013, : 128 - 133
  • [8] GSPEC: A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE
    戴敏
    徐家福
    [J]. Science in China,Ser.A, 1989, Ser.A.1989 (10) - 1269
  • [9] GSPEC - A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE
    DAI, M
    XU, JF
    [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1989, 32 (10): : 1260 - 1269
  • [10] GSPEC: A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE
    戴敏
    徐家福
    [J]. Science China Mathematics, 1989, (10) : 1260 - 1269
12345