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

DYNAMIC MODELING OF REALTIME DISTRIBUTED SYSTEMS USING OBJECT ORIENTED TECHNIQUES

Research Project

Project/Area Number 08044168
Research Category

Grant-in-Aid for international Scientific Research

Allocation TypeSingle-year Grants
SectionJoint Research
Research Field Intelligent informatics
Research InstitutionTOUHOKU UNIVERSITY OF ART & DESIGN

Principal Investigator

HAMID Issam A.  TOHOKU UNIVERSITY OF ART AND DESIGN,DEPARTMENT OF INFORMATION DESIGN,PROFESSOR, デザイン工学部, 教授 (30244990)

Co-Investigator(Kenkyū-buntansha) SAQUIーSANNES ピエール.デ  航空機製造高等国立学院, 計算機科学学科, 教授
GOZHEIN Rhei  カイザーローテルン大学, 情報工学学科, 教授
KANGASSALO Hannu  UNIVERSITY OF TAMPERE,DEPARTMENT OF COMPUTER SCIENCE,PROFESSOR,FINALND, コンピュータ学科, 教授
HORIGUCHI Susumu  JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY,PROFESSOR, 情報科学研究科, 教授 (60143012)
SHIRATORI Norio  TOHOKU UNIVERSITY,RESEARCH INSTITUTE OF ELECTRICAL COMMUNICATION,PROFESSOR, 電気通信研究所, 教授 (60111316)
GREGOR Bochmann V.  UNIVERSITY OF MONTREAL,DEPARTMENT OF INFORMATION AND OPERATIONAL RESEARCH,PROFES
GOTZHEIN Reinhard  KAISESLAUTHERN UNIVERSITY,DEPARTMENT OF INFORMATION SCIENCE,PROFESSOR,GERMANY
SANNES Pierre Des  SAQUI ECOLE MNATIONALESUP'RIEURE D'INGE'NIEURS DE CONSTUCTIONS AE ONAUTIQUES,TOU
DE SaquiーSan  航空機製造高等国立学院, 計算機科学学科, 教授
Project Period (FY) 1996 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥5,400,000 (Direct Cost: ¥5,400,000)
Fiscal Year 1997: ¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 1996: ¥2,500,000 (Direct Cost: ¥2,500,000)
KeywordsDistributed Systems / Dynamic Software Architecture / Object-Oriented Design / Evolving Systems / Adaptable Software / Reflection / programming language / Software Development / 型変更
Research Abstract

The recent proliferation of commercial and prototype object-oriented systems reveals the increaseing influence of the object-oriented approach in the area of data modeling. An important reason for this reason is that the object-oriented approach seems to be the most promising approach for integrating the expressive power of object-oriented programming languages and the various abstraction mechanis identified for semantic data models.
The above situation applies to the various proposals of notions and concepts, collectively called dynamic models, proposed for the description of dynamic aspects of distributed systems applications. The majority of existing dynamic models have been designed to be used in conjunction with semantic data models. As a consequence most of the characteristic features of the object-oriented approach have not been taken into account.
The motivation for this projecdt was to design a dynamic model which can reflect the underlying philosophy of the object-oriented appr … More oach. More precisely, the our model emphasizes the following two essential aspects of the object-oriented application design process :
^<**> the description of the temporal evolution of object behavior,
^<**> the temporal composition of object behavior, that is the description of temporal properties and rules concerning the cooperation of a collection of objects.
The main contribution of this research can be summarized as follows :
^<**> The satisfiability algorithm constitutes a new algorithms which take into account past operators,
^<**> A formal basis for the description of the temporal evolution of object behavior is established
^<**> A formal basis for the specificcation of the temporal composition of object behavior is established.
^<**> A rigorous procedure for the verfication of consistency of formal speification is presented
^<**> The proposed dynamic model has been designed to be used in conjuction with object-oriented data models. More precisely, it emphasized the composition of the temporal specification of object behavior, thus fulfillling a critical requirement expressed by object-oriented design methodologies.
In this project we have presented a dynamic model for the description of dynamic aspects of object-oriented applications. The proposed dynamic model emphasizes two essential aspects concerning the development of object-oriented applications. The first aspect is the description of the dynamic evolution of object behavior. The second aspect is the description of the various temporal properties and rules concerning the coordination of a collection of cooperating objects. The relevance of the dynamic model we have proposed is its affinity with the underlying philosophy of the object-oriented approach. Indeed, the various notions integrated in the model have been caompared with the set of notions characterizing a data model as object-oriented, namely the notions of object identity, class, encapsulation, inheritance and overriding. This this comparison has also, served to concolidate our argument concerning the suitability of our model to be used in conjunction with object-oriented data models.
An important features of our model is its formal basis. The choice of propositional temporal logic as the underlying formalism, provided a formal theoretical basis for reasoning about object life cycles and object cooperation and coordination. Although propositional temporal logic has rather steep learning curve, which means taht some training is required before it can be used. Another important positive point concerning the formalism of propositional temporal logic is the satisfiability algorithm which permits us both to verify the consistency of specifications and to monitor adherence to the specification during run time.
Concerning with the dymanic model we have proposed, several extention may be envisaged in future to enhance its modeling power and usability Less

Report

(3 results)
  • 1997 Annual Research Report   Final Research Report Summary
  • 1996 Annual Research Report
  • Research Products

    (50 results)

All Other

All Publications (50 results)

  • [Publications] Issam.A.Hamid: "Dynamic Evolution of Distributed Systems Specifications" International Journal on Software Engineering & Knowledge Engineering,World Scientific Publishing. 5, 3. 511-540 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "Dynamic Modelling of the Behavior of Distributed Systems Specification" Information Modelling and Knowledge Bases VII ISBN-90-5199-258 0,Netherlands,Y.Tanaka,et.al.34. 294-313 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "分散システム仕様のための動的拡張" 情報処理学会ソフトウェア工学研究会資料信技. 96-SE-110, 71. 9-16 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "Modeling constraints specification of object interactions in distributed systems" ソフトウェア開発のためのドメイン分析.モデリング技術シンポジウム. 96, 5. 113-122 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "ATMのマルチメディア.ネットワークで「美しいものづくり」環境" オープンネットワーク、マルチメディア.ネットワーク総合誌、アスキ株式会社. 1, 2. 73-79 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "Dynamic extension for the specification of distributed systems" Asia-Pacific Software Engineering Conference,IEEE Computer Society Press. 256-267 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "Dynamic Modeling for the specification of distributed systems" (著書)Springer-Verlag,Lectuer Notes in Computer Science, Germany. 1179. 287-298 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "A Dynamic Evolution of Distributed Systems" オブジェクト指向最前線、朝倉書、ISBN4-254-12126-1情報処理学会オブジェクト指向'97シンポジウム. 47-56 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "Dynamic Extension of the Specification of Distributed Systems Behavior" 情報処理学会論文誌. 38, 7. 1425-1440 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: "Framework for Dynamic Modeling of Distributed Systems" ソフトウェア工学の基礎IV(日本ソフトウェア科学会FOSE'97),近代科学社. 175-178 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Dynamic Extension of the Specification of Distributed Systems Behavior, "" Journal of Information Processing Society, JAPAN. Vol.38 No.7. 1425-1440 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Dynamic Modeling for the specification of Distributed Systems, "" Springer-Verlag, Lecture Notes in Comnputer Scienc, Germany. Vol.1179. 287-298 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Dynamic Extension for the specification of Distributed Systems, "" Aisa-Pasific Software Engineering Conference, IEEE Computer Society Press. (OF PUBLICATION). 256-267 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Dynamic Evolution of Distributed Systems Specification using Reflective Language, "" Journal of Software Engineering & Knowledge Engineering. Vol.5. 511-540 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language, "" Transaction of IEICE,Information & Systems. Vol.E78-D. 4 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Dynamic Evolution of Distributed Systems Specification using Reflective Language, "" The First Asia-Pacific software Engineering Conference, Tokyo, Japan. 208-219 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Highly Parallel Computation Model for Setting Rearrangeable Type Interconnection Network, "" International Symposium on Parallel Architectures, Algorithms, and Networks, Kanazawa, Japan. 197-204 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Type Evolution in a Reflective Ogject-Oriented Language, "" Journal of Information Processing Society of Japan. 35. 1352-1379 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam A.Hamid: ""Rule Checking Expert System (RCES) using First Order Predicate Logic, "" Proc.of the Third International conference on Software Engineering, Rabat, Morocco. 207-216 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] Issam.A.Hamid: "Dynamic Evolution of Distributed Systems Specifications" International Journal on Software Engineering & Knowledge Engineering,World Scientific Publishing. 5.3. 511-540 (1995)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "Dynamic Modelling of the Behavior of Distributed Systems Specification" Information Modelling and Knowledge Bases VII ISBN-90-5199-258 0,Netherlands,Y.Tanaka,et.al.34. 294-313 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "分散システム仕様のための動的拡張" 情報処理学会ソフトウェア工学研究会資料信技. 96-SE-110,71. 9-16 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "Modeling constraints specification of object interactions in distributed systems" ソフトウェア開発のためのドメイン分析.モデリング技術シンポジウム. 96.5. 113-122 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "ATMのマルチメィディア・ネットワークで「美しいものづくり」環境" オープンネットワーク、マルチメィディア.ネットワーク総合誌、アスキ株式会社. 1;2. 73-79 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "Dynamic extension for the specification of distributed systems" Asia-Pacific Software Engineering Conference,IEEE Computer Society Press. 256-267 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "Dynamic Modeling for the specification of distributed systems" (著書)Springer-Verlag,Lectuer Notes in Computer Science,Germany. 1179. 287-298 (1996)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "A Dyamic Evolution of Distributed Systems" 「オブジェクト指向最前線」、朝倉書,ISBN4-254-12126-1、情報処理学会オブジェクト指向'97シンポジウム. 47-56 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "Dynamic Extension of the Specification of Distributed Systems Behavior" 情報処理学会論文誌. 38.7. 1425-1440 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam.A.Hamid: "Framework for Dynamic Modeling of Distributed Systems" ソフトウェア工学の基礎IV(日本ソフトウェア科学会FOSE'97),近代科学社. 175-178 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Issam A. Hamid: "Dynamic extension for the specification of distributed systems" Asia-Pacific Software Engineering Conference. 256-267 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Dynamic Modeling for the Specification of Distributed Systems" ASIAN-Computing Science Conference.1179. 287-298 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Dynamic Modelling of the Behavior of Distributed Systems Specification" Information Modelling and Knowledge Bases VII. 34. 294-313 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Dynamic Evolution of Distributed Systems Specification using Reflective Language" International Journal on Software Engineering & Knowledge Engineering. 5・3. 511-540 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Parallel Routing algorithm for rearrangeable class of switching interconnection network" 2nd IEEE International Conference on Communication. 13.5.1-13.5.8 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Modeling Methodology for the specification behavior of distributed systems" 2nd IEEE International Conference on Communication. 9.5.1-9.5.8 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language" Transaction of IEICE, Information & Systems. E78-D・4. 363-382 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Dynamic Evolution of Distributed Systems Specification using Reflective Language" The First Asia-Pacific Software Engineering Conference. 208-219 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Highly Parallel Computation Model for Setting Rearrangeable Type Interconnection Network" International Symposium on Parallel Architectures, Algorithms, and Networks. 197-204 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid and 大須賀節雄: "Type Evolution in a Reflective Object-Oriented Language" 情報処理学会論文誌. 35・7. 1352-1379 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Rule Checking Expert System (RCES) using First Order Predicate Logic" Proc. of the Third International conference on Software Engineering. 207-216 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "分散システム仕様のための動的拡張" 情報処理学会ソフトウェア工学研究会資料信技報. 96-SE-110・71. 9-16 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "Modeling constraints specification of object interactions in distributed systems" ソフトウェア開発のためのドメイン分析・モデリング技術シンポジウム. 96・5. 113-122 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "分散システム仕様を検査する意味論的振る舞い" 情報処理学会ソフトウェア工学研究会資料信技報. 95・55. 33-40 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "並列コンピュータのための高速再配置可能結合網" 情報処理学会ハイパォ-マンズコンピューティング研究会資料信技報. 94・21. 25-32 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "再構成可能なペンズINを設定するための高速並列計算モデル" 情報処理学会計算機アーキテクチャ研究会資料信技報. 94・107. 17-24 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "ルールチェッキングエキズパートシステムの検証法" 情報処理学会ソフトウェア工学研究会資料信技報. 94・73. 71-30 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "オブジェクトの振る舞いと要求仕様記述の適合化" 情報処理学会プログラミング言語研究会資料信技報. 94・21. 41-48 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "分散システムの振る舞いの動的拡張に対する形式的枠組" 情報処理学会ソフトウェア工学研究会資料信技報. 94・18. 81-88 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid: "A Formal Framework For Dynamic Extension of Distributed Systems Behaviors" 情報処理学会システムソフトウェアとオペレーティング・システム研究会資料信技報. 94・1・3. 89-96 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Issam A. Hamid,前川道博: "芸術と科学の融合を目指した新しい統合化教育システムの構築" 情報処理学会情報システム研究会資料信技報. 94・4. 1-10 (1994)

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1996-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi