• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

1995 Fiscal Year Final Research Report Summary

A Study on Prototyping Process Model for Distributed Software Systems

Research Project

Project/Area Number 06680299
Research Category

Grant-in-Aid for General Scientific Research (C)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionHOKKAIDO UNIVERSITY

Principal Investigator

MIYAMOTO Eiichi  Hokkaido Univ., Fac. of Eng., Prof., 工学部, 教授 (00001173)

Co-Investigator(Kenkyū-buntansha) MITANI Kazufumi  Otaru Univ. of Commerce, Assoc. Prof., 社会情報学科, 助教授 (70190676)
WATANABE Shin-ya  Hokkaido Univ., Fac. of Eng., Instr., 工学部, 助手 (70210903)
Project Period (FY) 1994 – 1995
KeywordsConcurrent object / Object behavior / Distributed system / Collaboration / Prototyping model / Object design / Object communication / Prototyping language
Research Abstract

In this research, we have deveoped modelling on various process phases and prototyping environments.
・At first, we introduced a structured framework of collaboration by concurrent objects. On the assumption that behaviors of concurrent objects can be represented by path expressions based on regular expressions, we defined primitive collaborations among objects and expressed any collabolation on them structurally.
・Next, we proposed a design policy that we should structurally make clear the functions to be implemented through collaborations and then implement the primitive collaborations by concurrent objects. The aim is to analyze collaborations based on the usual structured analysis and design methodologies as much as possible.
・To represent loose coupling among objects which is suited for prototyping of concurrent objects, we proposed a concurrent computational model which performs interaction among objects on the Generic space, where the rules for matching of tuples and propagation of values are variable.
・We developed a declarative language UL/alpha, on which programrs can introduce data structures for themselves, define unification rules for their data structures, and judge the verifications between data structures and unification rules using the theory based on generalized data structures.
・It is an indispensable for prototyping to enlarge the prototyped system step by step while grasping the overall system adequately. We developed a planning methodology to make a problem abstract guaranteeing self-consistency of the system.

  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] 阿克清: "並行オブジェクト群による協調動作に対する型の定義" 情報処理学会論文誌. 36. 443-452 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 馬淵浩司: "準同型変換による抽象化を用いたプラニング" 人工知能学会誌. 10. 608-618 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 赤間清: "プログラム変換による自然言語の意味解釈" コンピュータソフトウェア. 12. 45-62 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 渡辺慎哉: "Geneticな相互作用を有する並行計算モデルGIM" コンピュータソフトウェア. 12. 67-76 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 繁田良則: "論理オブジェクトに基づく知識表現言語UL/α" 人工知能学会誌. 10. 971-979 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 宮本衛市: "連携動作に基づく並行オブジェクトシステムの設計方略" ソフトウェア工学の基礎II. 15. 141-146 (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.He, S.Watanabe, E.Miyamoto: "Definition of a Type for Cooperative Behaviors Based on Concurrent Objects" Trans. of Information Processing Society of Japan. 36-2. 443-452 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.Mabuchi, K.Akama, E.Miyamoto: "Planning Using Abstraction Based on Homomorphism" Journal of Japanese Society for Artificial Intelligence. 10-4. 608-618 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Akama, Y.Nomura, E.Miyamoto: "Semantic Interpretation of Natural Language Descriptions by Program Transformation" Computer Software. 12-5. 45-62 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S.Watanabe, K.Akama, E.Miyamoto: "GIM--A Concurrent Computation Model Based on Genetic Interaction" Computer Software. 12-6. 67-76 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Y.Shigeta, K.Akama, E.Miyamoto: "UL/alpha : A Knowledge Representation Language Based on Logical Objects" Journal of Japanese Society for Artificial Intelligence. 10-6. 971-979 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] E.Miyamoto: "Design Strategy of Concurrent Object Systems Based on Cooperative Behaviors" Foundation of Software Engineering II. 15. 141-146 (1996)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1997-03-04  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi