ARTICLE
TITLE

CIRTA: A FORMAL LANGUAGE FOR MODULAR ECATNETS SPECIFICATION

SUMMARY

CIRTA (''Construction Incrémentale des Réseaux de Petri à Termes Algébriques”) is aspecification language endowing ECATNets (''Extended Concurrent Algebraic Terms Nets”) [6][10]with modularity concepts to make them more suitable for real-world applications. This paperaddresses the structuring mechanisms provided by CIRTA, for the design of complex concurrentsystems. Two structuring techniques are presented. The first one relies on the usage of CIRTAmodules which extend ECATNets with the concepts of interface nodes and composed-nodes. Thesecond mechanism concerns with some structuring operations on CIRTA modules namely:importation, composition and renaming. The semantics of each CIRTA specification using theseconstructs is defined by giving the behavioral equivalent ECATNet.

PAGES
pp. 47 - 56

 Articles related

Chandra Fauzi, Basikin    

This study aims to determine the effect of the whole language approach to the ability to read and write in English in early stages of children aged 5-6 years in one of the kindergartens in the Yogyakarta Special Region. The population in this study were ... see more


Amra Latific    

This text presents an analysis of the relationship between Kino-Eye, the Russian montage technique that was most clearly demonstrated by Dziga Vertov in his 1929 film The Man with a Movie Camera, and Russian Formalist theory, which underwent an intensive... see more

Revista: AM: Art + Media

Jhoni Warmansyah, Restu Yuningsih, Evi Selva Nirwana, Ravidah, Rahmanda Putri, Amalina, Masril    

The ability to recognize the concept of early numbers in early childhood is very important to develop so that children are ready to take part in learning mathematics at a higher level. This study aims to determine the effect of mathematics learning appro... see more


Jelena Mišeljic    

In the age of digital re-materialization and the circulation of visual content, the discussion on the nature of the photographic image has its implications on the medium itself. In the context of new and interconnected media, it is somewhat relevant to r... see more

Revista: AM: Art + Media

Nur Hayati, Muthmainah, Rina Wulandari    

Cognitive learning during the COVID-19 pandemic encountered many obstacles, but the use of various gadgets could be an effective solution in early childhood learning, especially to prepare them to enter the elementary school level. This study aims to des... see more