2024-03-29T04:23:53Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000211872023-04-27T10:00:04Z01164:01384:01395:01397
Momによるアスペクト指向的仕様記述:プロトコルからのモジュラーなDbC記述に向けてAspect-Oriented Specification in Moxa : Toward Modular DbC from Protocol Descriptionsjpnhttp://id.nii.ac.jp/1001/00021187/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=21187&item_no=1&attribute_id=1&file_no=1Copyright (c) 2006 by the Information Processing Society of Japan東京工業大学・大学院`情報理工学研究科東京工業大学・大学院`情報理工学研究科産業技術総合研究所・`情報セキュリティ研究センター橋本, 康範渡部, 卓雄山田, 聖我々は現在までに、Javaのための振舞インターフェース仕様記述言語Moxaを開発してきた。MoxaはJavaModelingLanguage(JML)を拡張したものであり、表明アスペクトと呼ばれる機構を用いて表明間を横断する'性質を分離することで、長大で複雑になりがちな実アプリケーションの仕様のモジュール化を可能にしている。本稿ではまずMoxaの設計について簡単に説明した後、その拡張一プロトコルにもとづくアスペクト記述一について議論する。この拡張は、メソッド呼び出し系列(プロトコル)にもとづいた仕様の記述・テスト・検証を容易にするためのものであるWe have been developing Moxa, a behavioral interface specification language tailord for Java. Moxa provides a new modularization mechanism called assertion aspect that can capture the crosscutting properties among asser tions in a specification. Using this mechanism, we can modularize large and complex specification of real-world applications. In this paper, we briefly explain the design of Moxa and then discuss its extension called protocoloriented aspect description. The extension provides convenient way to describe, test and verify specifications that are described based on method invocation sequence.AN10112981情報処理学会研究報告ソフトウェア工学(SE) 200675(2006-SE-153)15222006-07-102009-06-30