An Approach to Dynamic Reconfiguration of Distributed Systems Based on Object-middleware PDF Download

Author: João Paulo Andrade Almeida
Publisher:
ISBN:
Category :
Languages : en
Pages : 16

View

Book Description

Author: Etienne Schneider
Publisher:
ISBN:
Category :
Languages : en
Pages : 108

View

Book Description
Dynamic software reconfiguration is a useful tool to adapt and maintain software systems. In most approaches, the system has to be stopped while the reconfiguration is in progress. This is not suitable for real-time systems. Timing constraints must be met even while the system is reconfiguring.Our approach is based on the real-time middleware OSA+. Our main objective is to be able to reconfigure one (or more) service during the run-time, with a predictable and predefined blackout time (the time the systems does not react due to the reconfiguration). Three different approaches concerning the blocking or non-blocking state of a service are presented. These approaches can be used to realize a tradeoff between the reconfiguration time and the blackout time.

Author: Joao Leite
Publisher: Springer
ISBN: 3540259325
Category : Computers
Languages : en
Pages : 291

View

Book Description
Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday'ssystems.Asaconsequence,thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and declarative technologies have recently attracted a growing interest as a means to address such issues. The aim of the DALT 2003 workshop was two-fold. On the one hand, we wanted to foster a discussion forum to export such techniques into the broader communityofagentresearchersandpractitioners.Ontheotherhand,wewanted to bring in the issues of real-world, complex, and possibly large-scale agent s- tem design in the perspective of formal methods and declarative technologies. Thanks to the very high quality of our program committee, we managed to put together a rich program, including three technical sessions and two panel sessions:TheUseofDeclarativeProgrammingforAgent-OrientedSoftwareEn- neering, moderated by Leon Sterling and Andrea Omicini, and Declarative and Logic-Based Technology for Agent Reasoning and Interactions, organized and moderated by Rafael Bordini and Wiebe van der Hoek, with the participation of ?ve invited panelists. This bookcontainstherevisedandextendedversionsofthe paperspresented at the workshop, as well as three invited contributions by leading researchers of the ?eld. It is composed of three parts: (i) software engineering and multi-agent system prototyping, (ii) agent reasoning, BDI logics and extensions, and (iii) social aspects of multi-agent systems.

Author: Gordon Blair
Publisher: I E E E
ISBN: 9780769513003
Category : Computers
Languages : en
Pages : 382

View

Book Description
Fundamentals of distributed object systems and their use to solve problems in industrial applications are the focus of these papers from a September 2001 symposium. Contributors include researchers who provide technical and theoretical solutions, practitioners who show how distributed object systems are used to solve real world problems, and users who are interested in understanding how distributed object technology can be exploited in their application domains. Themes are support for mobility, monitoring, and management, meta-data services, enterprise architectures/workflow, reflection and reconfiguration, multimedia, and fault-tolerance. Some subjects include transparent dissemination of adaptors in Jini, a collaborative word processing system using a CORBA-based workflow framework, and developing mobile agent organizations. Lacks a subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com).

Author: Howard Bowman
Publisher: Cambridge University Press
ISBN: 9780521771849
Category : Computers
Languages : en
Pages : 494

View

Book Description
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining fresh notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.

Author: Wolfgang Emmerich
Publisher: Springer
ISBN: 3540452540
Category : Computers
Languages : en
Pages : 280

View

Book Description
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Engineering Distributed Objects, EDO 2000, held in November 2000 in Davis, California, USA.The 15 revised full papers presented together with session surveys were carefully reviewed and selected from 30 submissions. The book presents topical sections on middleware selection, resource management, architectural reasoning, distributed communication, advanced transactions, and service integration.

Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 620

View

Book Description

Author: Zielinski
Publisher: Springer
ISBN: 0306470055
Category : Computers
Languages : en
Pages : 319

View

Book Description
Distributed applications are a necessity in most central application sectors of the contemporary information society, including e-commerce, e-banking, e-learning, e-health, telecommunication and transportation. This results from a tremendous growth of the role that the Internet plays in business, administration and our everyday activities. This trend is going to be even further expanded in the context of advances in broadband wireless communication. New Developments in Distributed Applications and Interoperable Systems focuses on the techniques available or under development with the goal to ease the burden of constructing reliable and maintainable interoperable information systems providing services in the global communicating environment. The topics covered in this book include: Context-aware applications; Integration and interoperability of distributed systems; Software architectures and services for open distributed systems; Management, security and quality of service issues in distributed systems; Software agents and mobility; Internet and other related problem areas. The book contains the proceedings of the Third International Working Conference on Distributed Applications and Interoperable Systems (DAIS'2001), which was held in September 2001 in Kraków, Poland, and sponsored by the International Federation on Information Processing (IFIP). The conference program presents the state of the art in research concerning distributed and interoperable systems. This is a topical research area where much activity is currently in progress. Interesting new aspects and innovative contributions are still arising regularly. The DAIS series of conferences is one of the main international forums where these important findings are reported.

Author: Kaveh Moazami-Goudarzi
Publisher:
ISBN:
Category :
Languages : en
Pages :

View

Book Description

Author: IEEE Computer Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Computers
Languages : en
Pages : 246

View

Book Description