THE OBJECT-BASED SPECIFICATION LANGUAGE-II - CONCEPTS, SYNTAX, AND SEMANTICS

被引：0

作者：

GABRIEL, P ^{[1
]}

机构：

[1] FRAUNHOFER GESELL,INST SOFTWARE & SYST TECHNOL,O-1086 BERLIN,GERMANY

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1993年 / 655卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The object-based specification language PI aims at the description of modular, concurrent, and distributed software systems. A PI-specification comprises algebraic specifications, imperative programs, and path expressions. This paper presents new results on the formal semantics for some parts of the language. We introduce the semantics of the algebraic specification and the imperative program parts as well as a computational model. Since these definitions caused slightly modifications of the concepts and the syntax of the language itself, we will give a short survey on PI first.

引用

页码：254 / 270

页数：17

共 50 条

[1] Object-based semantics for natural language engineering in higher education
Johnson, J
[J]. SOFTWARE ENGINEERING IN HIGHER EDUCATION II, 1996, : 381 - 391
[2] Layered and Object-Based Game Semantics
Vale, Arthur Oliveira
Mellies, Paul-Andre
Shao, Zhong
Koenig, Jeremie
Stefanesco, Leo
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
[3] AN OBJECT-BASED TRUTHMAKER SEMANTICS FOR MODALS
Moltmann, Friederike
[J]. PHILOSOPHICAL ISSUES, 2018, 28 (01) : 255 - 288
[4] AN OBJECT-BASED APPROACH TO THE SPECIFICATION OF OFFICE ENTITIES
SAIEDIAN, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 256 - 263
[5] GENERIC CLASSES IN AN OBJECT-BASED LANGUAGE
WAGNER, EG
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 : 330 - 344
[6] DIMENSIONS OF OBJECT-BASED LANGUAGE DESIGN
WEGNER, P
[J]. SIGPLAN NOTICES, 1987, 22 (12): : 168 - 182
[7] Timed rewriting logic with an application to object-based specification
Kosiuczenko, P
Wirsing, M
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1997, 28 (2-3) : 225 - 246
[8] ASDL - AN OBJECT-ORIENTED SPECIFICATION LANGUAGE FOR SYNTAX-DIRECTED ENVIRONMENTS
CHRISTNEUMANN, ML
SCHMIDT, HW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 71 - 79
[9] Specification and analysis of distributed object-based stochastic hybrid systems
Meseguer, Jose
Sharykin, Raman
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 460 - 475
[10] OBJECT-BASED COMPUTING AND THE ADA PROGRAMMING LANGUAGE
BUZZARD, GD
MUDGE, TN
[J]. COMPUTER, 1985, 18 (03) : 11 - 19

← 1 2 3 4 5 →