Concurrency specification using Event-based Specification Chart

CIORBĂ, Dumitru; BEŞLIU, Victor

dc.contributor.author	CIORBĂ, Dumitru
dc.contributor.author	BEŞLIU, Victor
dc.date.accessioned	2020-09-29T10:16:39Z
dc.date.available	2020-09-29T10:16:39Z
dc.date.issued	2011
dc.identifier.citation	CIORBĂ, Dumitru, BEŞLIU, Victor. Concurrency specification using Event-based Specification Chart. In: Computer Science Journal of Moldova. 2011, nr. 3(57), pp. 231-253. ISSN 1561-4042.	en_US
dc.identifier.issn	1561-4042
dc.identifier.uri	http://repository.utm.md/handle/5014/10079
dc.description.abstract	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 dificulties, 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.	en_US
dc.language.iso	en	en_US
dc.publisher	Institutul de Matematică şi Informatică al AŞM	en_US
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 United States	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/us/	*
dc.subject	software architecture	en_US
dc.title	Concurrency specification using Event-based Specification Chart	en_US
dc.type	Article	en_US