An object-oriented modeling method for algebraic specifications in CafeOBJ

A scenario-based object-oriented modeling method for algebraic specifications is proposed. The method is based on the integration of a new algebraic specification language, CafeOBJ, and a multiparadigm design notation, GILO-2 (Generic Interaction Language for Objects). CafeOBJ is a successor of the...

Full description

Saved in:
Bibliographic Details
Published in:ICSE 97: 19th Annual Conference on Software Engineering pp. 34 - 44
Main Authors: Nakajima, Shin, Futatsugi, Kokichi
Format: Conference Proceeding Journal Article
Language:English
Published: New York, NY, USA ACM 01.01.1997
IEEE
Series:ACM Conferences
Subjects:
Collaboration
Computing methodologies > Symbolic and algebraic manipulation > Computer algebra systems
Design engineering
Guidelines
Information systems > Data management systems
Laboratories
Logic functions
National electric code
Object oriented modeling
Permission
Software quality
Specification languages
Theory of computation > Models of computation > Concurrency
Theory of computation > Models of computation > Concurrency > Parallel computing models
OBJ
formal methods
algebraic specifications
concurrent rewriting
excutable specifications
CafeOBJ
object-oriented modelinng
ISBN:9780897919142, 0897919149
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A scenario-based object-oriented modeling method for algebraic specifications is proposed. The method is based on the integration of a new algebraic specification language, CafeOBJ, and a multiparadigm design notation, GILO-2 (Generic Interaction Language for Objects). CafeOBJ is a successor of the algebraic specification language OBJ and supports object-oriented formal specifications based on hidden order sorted rewriting logic. GILO-2 provides collaborations as well as classes of objects to capture behavioral aspects of scenarios in object-oriented modeling. Given a problem description of the system to develop, the proposed method provides guidelines for decomposing the problem into executable CafeOBJ specification modules through scenario-based object-oriented design in GILO-2; the decomposition reflects the structure of the problem domain. The proposal also indicates how formal executable specification in CafeOBJ can be systematically obtained from the design in GILO-2.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
content type line 25
ISBN:9780897919142
0897919149
ISSN:0270-5257
DOI:10.1145/253228.253238