Title :
Graphical Specification Language for Distributed Systems
Author :
Galicia, Jorge ; Menchaca Garcia, Felipe
Author_Institution :
Centro de Investigacion en Computacion, Instituto Politecnico Nacional, Mexico
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;
Conference_Titel :
Computing, 2006. CIC '06. 15th International Conference on
Conference_Location :
Mexico City
Print_ISBN :
0-7695-2708-6
DOI :
10.1109/CIC.2006.39
