Agent-Oriented Software Engineering III : Third International Workshop Aose 2002, Bologna, Italy, July 15, 2002 : Revised Papers and Invited Contribut

個数：

Agent-Oriented Software Engineering III : Third International Workshop Aose 2002, Bologna, Italy, July 15, 2002 : Revised Papers and Invited Contribut

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    【重要ご説明事項】
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版／ページ数 229 p.
  • 言語 ENG
  • 商品コード 9783540007135
  • DDC分類 005.1

Full Description

Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software. It is now widely recognised thatinteraction is probably the most important single char- teristic of complex software. Software architectures that contain many dyna- cally interacting components, each with their own thread of control, and eng- ing in complex coordination protocols, are typically orders of magnitude more complex to correctly and e?ciently engineer than those that simply compute a function of some input through a single thread of control. Unfortunately, it turns out that many (if not most) real-world applications have precisely these characteristics. As a consequence, a major research topic in c- puter science over at least the past two decades has been the development of tools and techniques to model, understand, and implement systems in which interaction is the norm. Indeed, many researchers now believe that in future computation itself will be understood as chie?y a process of interaction.

Contents

Modeling, Specification, and Validation.- Specifying Electronic Societies with the Causal Calculator.- Modeling Agents and Their Environment.- Validation of Multiagent Systems by Symbolic Model Checking.- Patterns,Architectures,and Reuse.- Patterns in Agent-Oriented Software Engineering.- Concurrent Architecture for a Multi-agent Platform.- Re-use of Interaction Protocols for Agent-Based Control Applications.- Architecting for Reuse: A Software Framework for Automated Negotiation.- Multi-agent and Software Architectures: A Comparative Case Study.- UML and Agent Systems.- Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors.- Generating Machine Processable Representations of Textual Representations of AUML.- A UML Profile for External Agent-Object-Relationship (AOR) Models.- Extending Agent UML Sequence Diagrams.- Methodologies and Tools.- The Tropos Software Development Methodology: Processes, Models and Diagrams.- Prometheus: A Methodology for Developing Intelligent Agents.- Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems.- Assembling Agent Oriented Software Engineering Methodologies from Features.- Positions and Perspectives.- Agent-Oriented Software Technologies: Flaws and Remedies.