Concurrency specification using Event-based Specification Chart

Dumitru Ciorba, Victor Besliu
2012 Computer Science Journal of Moldova  
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
more » ... 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.
doaj:4fe7421d1e84446db17192efa811a677 fatcat:iabkg47qfngnlpnyhyjq52m664