CIRTA: A FORMAL LANGUAGE FOR MODULAR ECATNETS SPECIFICATION | ASJP

Sciences & technologie. B, Sciences de l’ingénieur
Volume 0, Numéro 24, Pages 47-56
2005-12-31

Cirta: A Formal Language For Modular Ecatnets Specification

Authors : Zeghib N . Bettaz M .

Abstract

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

Keywords

Specification language, Petri nets, ECATNets, algebraic specification.

Formal Specification By Coq Of Date And Darwen’s Object/relational Model

Benabbou El . Nait Bahloul Safia .
pages 14-20.

مصادر التدوين التاريخي لمدينة قسنطينة (cirta – Constantina ) في العصر القديم .sources Of Writing History Of The City Of Constantine(cirta – Constantina) In The Ancient Period

مضوي خالدية .
ص 29-48.

مدينة قسنطينة (cirta - Constantina): قراءة في تاريخها القديم The City Of Constantine (cirta - Constantina): A Reading Of Its Ancient History

مضوي خالدية .
ص 33-66.

Code-switching In The Middle School Ef Classes: The Case Study Of The First Year Learners Must It Be Perceived As An Asset To Ease Or As A Constraint To Obstruct Foreign Language Learning? (1) 1 - Efl: English As A Foreign Language /ell: English Language Learning/ 1fl1: Foreign Language 1/fl2: Foreign Language 2 / L: Learner/ Ls: Learners/ Mt: Mother Tongue/ T: Teacher/ Tie: Technological Institute Of Education/ Tl: Target Language.

Ammar Benabed . Victor Segalen .
pages 13-30.

A Modular Representation Of Interlingual Errors: The Causes Of Crosslinguistic Influence

Mhamedi Nadir . Ibrir Latifa .
pages 01-21.