A Formal Treatment of Context-Awareness

Roman, Gruia-Catalin; Julien, Christine; Payton, Jamie

doi:10.1007/978-3-540-24721-0_2

Cited by 33 publications

(19 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Roman et al [50] proposed Context UNITY, derived from Mobile UNITY, which provides constructs that allow the reasoning about the manipulation of context, as well as the interaction of systems with the context. One of the most relevant feature is defining individual contexts; that is, context is defined from the perspective of each component and consequently different components may perceive different contexts.…”

Section: System Planningmentioning

confidence: 99%

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Augusto

Coronato

2015

J Reliable Intell Environ

View full text Add to dashboard Cite

As envisioned by Weiser, computing is in the process of being everywhere and becoming invisible. As Milner noticed, the question now is whether we shall understand this ubiquitous computer we are building. This is especially true as designers are more and more using complex techniques for every component of the system and building systems which are made of increasingly heterogenous parts. With this extended editorial, we embark on an exploration journey into the exciting new area of "reliable intelligent environments" (RIEs). Taking the perspective of an RIE engineer, we present a selection of approaches that have been put forward to design, verify, and operate IEs in a manner so that users can rely on Intelligent Environment systems. We outline crucial challenges: the situatedness which exposes IE to challenges similar to those known from robotics and control systems, the embedding of human users and the safety, privacy, and usability requirements thus entailed, and the amounts of data produced by sensors and actuators, which require advanced reasoning and learning mechanisms to handle them in a reliable way in real-time. We also sketch the opportunities reliable IEs provide to developing new markets and products.

show abstract

Section: System Planningmentioning

confidence: 99%

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Augusto

Coronato

2015

J Reliable Intell Environ

View full text Add to dashboard Cite

show abstract

“…Agent context represents all information from an agent environment which is relevant to its activity [19]. The context of an agent in Cama includes:…”

Section: Camamentioning

confidence: 99%

Formal development of cooperative exception handling for mobile agent systems

Laibinis

Troubitsynå

Iliasov

et al. 2008

Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems

View full text Add to dashboard Cite

Mobile agent systems often require sophisticated cooperation and coordination during error detection and recovery. In this paper we propose novel fault tolerance mechanisms that support co-operative exception handling in such systems. The paper demonstrates how mechanisms like these can be formally developed and analysed. We start with identifying the typical modes of failures in agents and analysing possible failure and recovery scenarios in mobile systems. Stepwise refinement is used as our formal framework for top-down development and verification. Using the framework we formally verify the essential model properties, such as interoperability, local and global state consistency and termination of error recovery. Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. We also demonstrate how the results of our formal development can be instantiated and reused in developing real-world agent software. AbstractMobile agent systems often require sophisticated cooperation and coordination during error detection and recovery. In this paper we propose novel fault tolerance mechanisms that support co-operative exception handling in such systems. The paper demonstrates how mechanisms like these can be formally developed and analysed. We start with identifying the typical modes of failures in agents and analysing possible failure and recovery scenarios in mobile systems. Stepwise refinement is used as our formal framework for top-down development and verification. Using the framework we formally verify the essential model properties, such as interoperability, local and global state consistency and termination of error recovery. Our approach provides developers with formal generic patterns for incorporating fault-tolerance mechanisms into mobile agent systems. We also demonstrate how the results of our formal development can be instantiated and reused in developing real-world agent software. About the authorAlexei Iliasov is a Research Associate within the School of Computing Science, Newcastle University.Alexander Romanovsky is a Research Professor. He has been involved in a number of ESPRIT, FP and EPSRC/UK projects on system dependability within which a wide range of general fault tolerance mechanisms and architectures have been developed (DSoS, PDCS, DeVa, CaberNet, MAFTIA, ReSIST, DISCS, RODIN). He has been a co-investigator of two EPSRC/UK projects (DOTS and TrAmS). Now he is coordinating a major FP7 Integrated Project DEPLOY aiming to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods in 5 sectors of European industry. His main interests are in fault tolerance, rigorous design of resilient systems, software architectures, exception handing, mobile agents and service oriented architectures. Suggested keywords FAULT TOLERANCE, FORMAL METHODS Formal development of cooperative exception handling for mobile agent systems ABSTRACTMobile agent systems often require so...

show abstract

“…Agent context represents the circumstances in which an agent find itself [14]. Generally speaking, a context includes all information from an agent environment which is relevant to its activity.…”

Section: Cama Abstractionsmentioning

confidence: 99%