IMI/Publicaţii/CSJM/Ediţii/CSJM v.19, n.3 (57), 2011/

Concurrency specification using Event-based Specification Chart

Authors: Dumitru Ciorbă, Victor Beşliu
Keywords: software architecture, concurrency, formalization, specification, CSP#


Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts. In this article there will be presented an approach based on using formalism. Theoretical advantages of formal specification are well known. However, usage of formal specification in practice ascertains some difficulties, thus their current advantages are not widely explored. The main focus of our research is to improve usage of formal method in verification of concurrency. Our vision consists in adapting the pragmatic approach and relaxing formalism, by creating graphical specification language based on events.

Technical University of Moldova
Automation and Information Technology Department
Str. Studenţilor, 7/3, corp 3, 504 Chişinău, MD-2068
Phone: (+373 22) 509908
E-mail: , , , ,


Adobe PDF document0.35 Mb