Misc.

1995

An Executable Specification Language for Structure Oriented Systems

IPSJ Journal
  • IMAIZUMI Takashi
  • ,
  • GONDOW Katsuhiko
  • ,
  • HIGIWARA Takeshi
  • ,
  • MATSUTSUKA Takahide
  • ,
  • KATAYAMA Takuya

Volume
36
Number
5
First page
1126
Last page
1137
Language
Japanese
Publishing type
Publisher
Information Processing Society of Japan (IPSJ)

A specification language is important in rapid prototyping area in software development environment. In this paper, we explain a computational model OOAG. Using this model, we can execute the specification just written in OOAG based language. OOAG is a model based on attribute grammars and extended by object oriented concepts for describing system's dynamic behavior. We show the ability of OOAG for describing structure oriented systems, by describing UNIX file system using OOAG.

Link information
CiNii Articles
http://ci.nii.ac.jp/naid/110002721863
CiNii Books
http://ci.nii.ac.jp/ncid/AN00116647
URL
http://id.nii.ac.jp/1001/00013925/
ID information
  • ISSN : 1882-7764
  • CiNii Articles ID : 110002721863
  • CiNii Books ID : AN00116647

Export
BibTeX RIS