Supporting Reuse in Event B Development: Modularisation Approach (2009)
Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, ...
Fault Tolerant Middleware for Agent Systems: A Refinement Approach (2009)
Laibinis, Linas, Troubitsyna, Elena, Iliasov, Alexei, Romanovsky, Alexander
Methods, Models and Tools for Fault Tolerance (2009)
Butler, Michael, Jones, Cliff B, Romanovsky, Alexander, Troubitsyna, Elena
Fault Tolerant Middleware for Agent Systems: A Refinement Approach (2009)
Laibinis, Linas, Troubitsyna, Elena, Iliasov, Alexei, Romanovsky, Alexander
Agent technology offers a number of advantages over traditional distributed systems, such as asynchronous communication, anonymity of individual agents and ability to change operational context....
Fault Tolerant Middleware for Agent Systems: A Refinement Approach (2009)
Laibinis, Linas, Troubitsyna, Elena, Iliasov, Alexei, Romanovsky, Alexander
Agent technology offers a number of advantages over traditional distributed systems, such as asynchronous communication, anonymity of individual agents and ability to change operational context....
ICSE 2003 Workshop on Software Architectures for Dependable Systems (2008)
Rogério Lemos, Cristina Gacek, Alexander Romanovsky
This workshop summary gives a brief overview of a one-day Workshop on “Software Architectures for Dependable Systems” held in conjunction with ICSE 2003.
Dagstuhl Seminar (Organizer Authors) (2008)
Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-claude Gaudel, ...
Abstract: This paper is a manifesto for future research on “atomicity ” in its many guises and is based on a five-day workshop on “Atomicity in System Design and Execution ” that took place...
ICSE 2002 Workshop on Architecting Dependable Systems (2008)
Rogério Lemos, Cristina Gacek, Alexander Romanovsky
This workshop summary gives a brief overview of a one-day Workshop on “Architecting Dependable Systems ” held in conjunction with ICSE 2002.
Table of Contents Table of Contents iii Preface v (2008)
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky
ii
Except for exception handling (2008)
Alexander Romanovsky, Bo Sandén
Exception handling in Ada has a number of well-known problems. It allows for the propagation of unhandled and anonymous exceptions, it is error-prone and it is inappropriate for some language...
Anatoliy Gorbenko, Vyacheslav Kharchenko, Alexander Romanovsky
Abstract: This paper proposes a novel approach to constructing and modelling Dependable Web Services (DeW) that are built by composing web components that can be undependable. This is achieved by...
page: 1 Exception Handling in Component-Based System Development (2008)
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodating (and adjusting,...
Except for exception handling (2008)
Alexander Romanovsky, Bo Sandén
Exception handling in Ada has a number of well-known problems. It allows for the propagation of unhandled and anonymous exceptions, it is error-prone and it is inappropriate for some language...
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems (2008)
Di Marzo Serugendo, Giovanna, Fitzgerald, John, Romanovsky, Alexander, Guelfi, Nicolas
This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy self-adaptive and...
Designing Fault-Tolerant Mobile Systems (2007)
Giovanna Di, Marzo Serugendo, Alexander Romanovsky
Abstract. The purpose of this paper is to investigate how several innovative techniques, not all initially intended for fault-tolerance, can be applied in providing fault tolerance of complex mobile...
Ferda Tartanoglu, Alexander Romanovsky, Nicole Levy
Abstract. The Web services architecture is expected to play a prominent role in developing next generation distributed systems. This chapter discusses how to build dependable systems based on the Web...
1 On Systematic Design of Protectors for Employing OTS Items (2007)
Peter Popov, Steve Riddle, Alexander Romanovsky, Lorenzo Strigini, London Ecv Hb
Off-the-shelf (OTS) components are increasingly used in application areas with stringent dependability requirements. Component wrapping is a well known structuring technique used in many areas. We...
Giovanna Di, Marzo Serugendo, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this paper are twofold. On the one hand, it aims to show the advantages of Coordinated Atomic actions (CA actions) as a design concept for dependable distributed system development,...
page: 1 Exception Handling in Component-Based System Development (2007)
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodating (and adjusting,...
Alexander Romanovsky, Jrg Kienzle
Abstract. The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...
Anna Mikhailova, Alexander Romanovsky
Abstract. Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of objects....
Newcastle upon Tyne-- United Kingdom (2007)
Modern object-oriented systems have to cope with an increasing number of exceptional conditions and incorporate fault tolerance into systems ' activities in order to meet dependability-related...
Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case (2006)
Karla Damasceno, Nelio Cacho, Alessandro Garcia, Alexander Romanovsky, Carlos Lucena
Handling erroneous conditions in context-aware mobile agent systems is challenging due to their intrinsic characteristics: openness, lack of structuring, mobility, asynchrony and increased...
Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case (2006)
Karla Damasceno, Nelio Cacho, Alessandro Garcia, Alexander Romanovsky, Carlos Lucena
Handling erroneous conditions in context-aware mobile agent systems is challenging due to their intrinsic characteristics: openness, lack of structuring, mobility, asynchrony, and increased...
Section 3.8 written by Divakar Yadav and Michael Butler (2006)
A. Romanovsky, E. Troubitsyna, L. Laibinis, Qaisar A. Malik, Johan Lilius, Section Written Fern, ...
One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the...
06121 Executive Summary -- Atomicity: A Unifying Concept in Computer Science (2006)
Weikum, Gerhard, Jones, Clifford B., Lomet, David, Romanovsky, Alexander
This seminar was based on and continued the interaction of different computer-science communities that was begun in an earlier Dagstuhl seminar in April 2004. Both seminars have aimed at a deeper...
06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science (2006)
Weikum, Gerhard, Jones, Clifford B., Lomet, David, Romanovsky, Alexander
From 19.03.06 to 24.03.06, the Dagstuhl Seminar 06121 ``Atomicity: A Unifying Concept in Computer Science'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl....
A. Gorbenko, V. Kharchenko, P. Popov, A. Romanovsky, Anatoliy Gorbenko, Vyacheslav Kharchenko, ...
Abstract. Achieving high dependability of Web Services (WSs) dynamically composed from component WSs is an open problem. One of the main difficulties here is due to the fact that the component WSs...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004 and was attended by 32 people from different...
The Atomic Manifesto: a Story in Four Quarks (2005)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This paper is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different...
On Dependability of Composite Web Services with Components Upgraded Online (2004)
Vyacheslav Kharchenko, Peter Popov, Alexander Romanovsky
Ensuring dependability of composite Web services, dynamically composed of component Web services, is an open issue. One of the main difficulties here is due to the fact that component Web services...
A. Gorbenko, V. Kharchenko, P. Popov, A. Romanovsky, Newcastle Tyne, Anatoliy Gorbenko, ...
Abstract. Achieving high dependability of Web Services (WSs) dynamically composed from component WSs is an open problem. One of the main difficulties here is due to the fact that the component WSs...
The Atomic Manifesto: a Story in Four Quarks (2004)
Jones, Cliff, Lomet, David, Romanovsky, Alexander, Weikum, Gerhard, Fekete, Alan, Gaudel, Marie-Claude, ...
This report summarizes the viewpoints and insights gathered in the Dagstuhl Seminar on Atomicity in System Design and Execution, which was attended by 32 people from four different scientific...
Integrating COTS Software Components into Dependable Software Architectures (2003)
Paulo Asterio, C. Guerra, Alexander Romanovsky, Rogério Lemos, Cecília Mary, F. Rubira
This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high dependability requirements. These components, by their very nature, are...
Coordinated Forward Error Recovery for Composite Web Services (2003)
Ferda Tartanoglu, Valerie Issarny, Alexander Romanovsky, Nicole Levy, F. Tartanoglu, V. Issarny
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fault tolerance (e.g.,...
Integrating COTS Software Components into Dependable Software Architectures (2003)
C. Guerra, Alexander Romanovsky, Rogério De Lemos, Ceclia Mary, ...
This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high dependability requirements. These components, by their very nature, are...
Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky, Tom Anderson, Mei Feng, ...
This practical experience report summarises the lessons learned during investigation of a case study which focused on engineering protective wrappers as a means of detecting and tolerating errors or...
Integrating COTS Software Components into Dependable Software Architectures (2003)
Paulo Asterio, C. Guerra, Alexander Romanovsky, Rogério Lemos, Cecília Mary, F. Rubira, ...
ic.unicamp.br ncl.ac.uk This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high dependability requirements. These components, by...
Workshop on Architecting Dependable Systems, Orlando, FL, USA May 25, 2002 (2002)
Rogério De Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
This paper has addressed one of the issues raised in this context, which is the dependable composition of Web services, i.e., understanding how fault tolerance should be addressed in the Web service...
Exception Handling in Component-Based System Development (2001)
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodating (and adjusting,...
Looking Ahead in Atomic Actions with Exception Handling (2001)
In this paper a new atomic action scheme is developed that does not impose any participant synchronisation on action exit. In order to use cooperative exception handling at the action level as the...
Looking Ahead in Atomic Actions with Exception Handling (2001)
In this paper a new atomic action scheme is developed that does not impose any participant syn-chronisation on action exit. In order to use cooperative exception handling at the action level as the...
Alexander Romanovsky, Jörg Kienzle
Considerable effort has been devoted to developing exception handling models for sequential object-oriented (OO) systems, so a common understanding exists in many topics in the field. Many practical...
Diversely Designed Classes for use by Multiple Tasks (2000)
This paper proposes a new N-version programming (NVP) scheme which allows several caller tasks to jointly use components which are designed diversely. Diversity is applied here at the level of...
On persistent and reliable streaming in ada (2000)
Jörg Kienzle, Alexander Romanovsky
Abstract. Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active research...
An exception handling framework for N-version programming in object-oriented systems (2000)
A. Romanovsky, Alexander Romanovsky
www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal
Diversely Designed Classes for use by Multiple Tasks (2000)
A. Romanovsky, Alexander Romanovsky
www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal
An exception handling framework for N-version programming in object-oriented systems (2000)
A. Romanovsky, Alexander Romanovsky
Structuring complex systems out of components with both normal and exceptional outcomes and using exception handling for dealing with abnormal events are well-accepted practices. This paper proposes...
Diversely Designed Classes for use by Multiple Tasks (2000)
A. Romanovsky, Alexander Romanovsky
This paper proposes a new N-version programming (NVP) scheme which allows several caller tasks to jointly use components which are designed diversely. Diversity is applied here at the level of...
On Structuring Cooperative and Competitive Concurrent Systems (1999)
Alexander Romanovsky, A. Romanovsky
Developing advanced structuring techniques has always been of great importance for computer science and practice. Many structuring approaches are used to help capture certain characteristics of...
Choosing Effective Methods for Design Diversity – how to progress from intuition to science (1999)
Peter Popov, Lorenzo Strigini, Alexander Romanovsky
Abstract. Design diversity is a popular defence against design faults in safety critical systems. Design diversity is at times pursued by simply isolating the development teams of the different...
Formal Development and Validation of Java Dependable Distributed Systems (1999)
Giovanna Di, Nicolas Guelfi, Alexander Romanovsky, Avelino Francisco Zorzo
The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable...
Choosing Effective Methods for Design Diversity - How to Progress From Intuition to Science (1999)
Er Romanovsky, Peter Popov Alexander, Peter Popov, Alexander Romanovsky, Lorenzo Strigini, Lorenzo Strigini
Design diversity is a popular defence against design faults in safety critical systems. Design diversity is at times pursued by simply isolating the development teams of the different versions, but...
On Structuring Cooperative and Competitive Concurrent Systems (1999)
Alexander Romanovsky, A. Romanovsky
Developing advanced structuring techniques has always been of great importance for computer science and practice. Many structuring approaches are used to help capture certain characteristics of...
On Structuring Cooperative and Competitive Concurrent Systems (1999)
Developing advanced structuring techniques has always been of great importance for computer science and practice. Many structuring approaches are used to help capture certain characteristics of...
CO-OPN/2 Specification of the DSGamma System Designed Using Coordinated Atomic Actions (1998)
Giovanna Di, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this paper are twofold. On the one hand, it aims to show the advantages of Coordinated Atomic actions (CA actions) as a design concept for dependable distributed system development,...
Giovanna Di, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this research are twofold. On the first hand, it aims to show the interest of Coordinated Atomic actions (CA actions) as a design concept and, on the other hand it explains how the...
Approaches to Designing Complex Dependable Systems (1998)
Andrea Clematis, Vittoria Gianuzzi, Alexander Romanovsky, Andy M. Tyrrell, Walter Cazzola
The problem of designing complex dependable systems is addressed in this paper. Due to some peculiarities of their application and behavior these are often referred to as reactive systems. Two main...
Exception handling and resolution in distributed object-oriented systems (1996)
Alexander Romanovsky, Jie Xu, Brian Randell
We address the problem of how to handle exceptions in distributed object-oriented systems. In a distributed computing environment exceptions may be raised simultaneously and thus need to be treated...
Application Specific Conversation Schemes for ADA Programs (1995)
. The paper considers a development of the conversation scheme version proposed by A.Clematis and V.Giannuzzi in Microprocessing and Microprogramming (Vol.32, No.1-5, 1991) [5] and Computer Languages...