Syntax and Semantics of Procol

نویسندگان

  • Roel van der Goot
  • Arie de Bruin
چکیده

A metric semantics of the parallel object-based programming language Procol is introduced. It is divided into three layers 2], a global layer, an object layer, and a statement layer. At the global level, the sequence in the interactions between the objects (represented in the object layer) is described. The object level expresses the abstract behavior of one object, i.e., only those aspects that are relevant for the outside world. It speciies the interactions an object is willing to perform, and also in what sequence it is able to do so. The statement layer is the most concrete one. It gives a direct representation of a Procol program. In this layer all constituent statements of a program are still recognizable. It forms the basis for the two higher layers, containing all possible sequences of communication statements needed at the object and global layer. Two transformation functions between these three levels can be deened, one from the statement layer to the object layer, and one from the object layer to the global layer. In this paper only the latter transformation will be introduced. New in our approach are a new denotation of the global layer, and a more intuitive transformation to this layer.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages

Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...

متن کامل

Influence of Expression Plasmid of Connective Tissue Growth Factor and Tissue Inhibitor of Metalloproteinase-1 shRNA on Hepatic Precancerous Fibrosis in Rats.

BACKGROUND In this study, influence caused by expression plasmids of connective tissue growth factor (CTGF) and tissue inhibitor of metalloproteinase-1 (TIMP-1) short hairpin RNA (shRNA) on mRNA expression of CTGF,TIMP-1,procol-α1 and PCIII in hepatic tissue with hepatic fibrosis, a precancerous condition, in rats is analyzed. MATERIALS AND METHODS To screen and construct shRNA expression pla...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Artistic Expression in the Making of Sa’di’s Sonnet

Is literature aesthetic in its form? If it is, what causes this beauty, creates this appeal and results in this artistic expression? Understanding the aesthetics of literature, poetry in particular, is made possible through the understanding of grammar (morphology, syntax, phonetics and semantics). Consequently, in the literary canon of the world, aesthetics are methodical, systematic and acces...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995