Formal framework for a generic combination of a process algebra with an algebraic specification language:: An overview

被引：2

作者：

Salaün, G ^{[1
]}

Allemand, M ^{[1
]}

Attiogbé, C ^{[1
]}

机构：

[1] Univ Nantes, IRIN, F-44035 Nantes, France

来源：

APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2001年

关键词：

multi-formalism specifications; generic combination; process algebra; algebraic specification language; operational semantics;

D O I：

10.1109/APSEC.2001.991491

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we suggest a formal framework as a basis for a generic combination of formal languages. It makes it possible the developer to specify the dynamic part of a system with a process algebra, and the static part with an algebraic specification language. The framework is based on a formal kernel composed of an abstract grammar describing the general form of the combination, and a global operational semantics giving the meaning of each language which can be built with our framework.

引用

页码：299 / 302

页数：4