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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:ICSE 97: 19th Annual Conference on Software Engineering s. 34 - 44
Hlavní autoři: Nakajima, Shin, Futatsugi, Kokichi
Médium: Konferenční příspěvek Journal Article
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 01.01.1997
IEEE
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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