Graphical Specification Language for Distributed Systems

Author

Galicia, Jorge ; Menchaca Garcia, Felipe

Author_Institution

Centro de Investigacion en Computacion, Instituto Politecnico Nacional, Mexico

fYear

2006

fDate

Nov. 2006

Firstpage

385

Lastpage

390

Abstract

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

Keywords

algebraic specification; distributed processing; formal languages; process algebra; specification languages; Graphical Specification Language; LeGESD; algebraic specification; distributed system analysis; distributed system specification; formal language; operational semantic; process algebra; Algebra; Automata; Communication system control; Communications technology; Distributed computing; Formal languages; Hardware; Specification languages; Web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Computing, 2006. CIC '06. 15th International Conference on

Conference_Location

Mexico City

Print_ISBN

0-7695-2708-6

Type

conf

DOI

10.1109/CIC.2006.39

Filename

4023837