Adomas Svirskas, Michael Wilson, Brian Matthews, Alvaro Arenas, Damian Mac R, Julian Gallop, ...
Any protocols for loosely coupled, open web services must support both fast performance and scalability to very large numbers of services and service interactions. Service discovery, composition, and...
Towards a Methodology for Software Preservation. (2009)
Matthews, Brian, Shaon, Arif, Bicarregui, Juan, Jones, Catherine, Woodcock, J, Conway, Esther
Software is a class of electronic object which is by its very nature digital and which is often a vital pre-requisite to the preservation of other electronic objects. However, software has many...
An approach to software preservation (2009)
Matthews, Brian, Shaon, Arif, Bicarregui, Juan, Jones, Catherine, Woodcock, J
Preservation of software components is a key aspect of preservation of data, as processing and analysis software frequently needs to be preserved to maintain the usability of data. However, only a...
Framework for Software Preservation (2009)
Matthews, Brian, Bicarregui, Juan, Shaon, Arif, Jones, Catherine
Software preservation has not had detailed consideration as a research topic or in practical application. In this report, we first discuss some of the motivations and problems of software...
A tool for significant properties editing and querying for software (SPEQS) (2009)
Software preservation has not had detailed consideration as a research topic or in practical application. In this report, we present a tool that was developed to support the systematic collection of...
A Framework for Software Preservation (2009)
Matthews, Brian, Shaon, Arif, Bicarregui, Juan, Jones, Catherine
Software preservation has not had detailed consideration as a research topic or in practical application. In this paper, we present a conceptual framework to capture and organise the main notions of...
ICAT: Integrating data infrastructure for facilities based science (2009)
Flannery, Damian, Matthews, Brian, Griffin, Tom, Bicarregui, Juan, Gleaves, Michael, Lerusse, Laurent, ...
Scientific facilities, in particular large-scale photon and neutron sources, have demanding requirements to manage the increasing quantities of experimental data they generate in a systematic and...
Modelling Security Properties in a Grid-based Operating System with Anti-Goals (2008)
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang
In this paper, we discuss the use of formal requirementsengineering techniques in capturing security requirements for a Grid-based operating system. We use KAOS goal model to represent two security...
Managing Conflicts of Interest in Virtual Organisations (2008)
Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews
In this paper, we present a formal model of virtual organisations that incorporates the concept of conflicts of interest. The model, which follows an incremental development approach using Event-B,...
Towards a Compositional Semantics for Modular VDM Speci cations: Contextual Structuring (2008)
Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Brian Ritchie
Abstract. The complexities and the dynamics of evolving software development today require more than ever the provision of reusable building blocks and structuring methods in order to build larger...
Towards security and trust management policies on the Web (2008)
Theo Dimitrakos, Brian Matthews, Juan Bicarregui
Abstract: The World Wide Web can be considered as the universe of network-accessible information (available through your computer, phone, television, or networked refrigerator...). Today, this...
Building Trust on the GRID (Trust Issues Underpinning Scalable Virtual Organisations (2008)
Brian Matthews, Juan Bicarregui, Theo Dimitrakos
GRID computing has emerged as an important new field, distinguished from conventional distributed computing by its focus on large-scale resource sharing including distributed very large data-stores...
The FMICS View on the Verified Software Repository (2008)
Alvaro Arenas, Juan Bicarregui, Tiziana Margaria
ABSTRACT: An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools...
Making the most of formal specification through animation, testing and proof (2008)
Juan Bicarregui, Jeremy Dick_, Brian Matthews, Eoin Wood
The use of formality in software development enables formal manipulation at the symbolic level and hence can yield new perspectives on the design which can be submitted to inspection and interactive...
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (2007)
Juan Bicarregui, Brian Ritchie
VDM and B are two "model-oriented " formal methods. Each gives a notation for the specification of systems as state machines in terms of a set of states with operations defined as...
Interpolation in Practical Formal Development (2007)
Juan Bicarregui, Theo Dimitrakos, Information Sciences
Interpolation (together with completeness and decidability) has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that...
Supporting Co-use of VDM and B by Translation (2007)
Juan Bicarregui, Matthew Bishop, Theodosis Dimitrakos, Kevin Lano, Tom Maibaum, Brian Matthews, ...
Abstract. VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools...
Integrating Heterogeneous Formalisms: Framework and Application (2007)
Theodosis Dimitrakos, Juan Bicarregui, Tom Maibaum
In this paper we study the problem of integrating heterogeneous formal notations, emphasising the integration of the axiomatic (logical) semantics. We present a general method for integrating the...
Interpolation in Practical Formal Development (2007)
Juan Bicarregui, Theo Dimitrakos, Dov Gabbay, Tom Maibaum
Interpolation (together with completeness and decidability) has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that...
Towards a Knowledge Grid: Requirements for a GridOS to Support the Next Generation Grid (2005)
Brian Matthews, Alvaro Arenas, Michael Wilson, Damian Mac R, Adomas Svirskas, Julian Gallop, ...
CCLRC is a UK civil research laboratory which provides large scale facilities to the international scientific community – mainly university based, although also used by industry. Current and...
The FACS FACTS Team Newsletter Editor Paul Boca [ (2004)
Editorial Team, Jonathan Bowen, Judith Carlton, John Cooke, Kevin Lano, Mike Stannett, ...
FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist
Towards Dynamic Population Management of Abstract Machines in the B Method (2003)
Nazareno Aguirre, Juan Bicarregui, Theo Dimitrakos, Tom Maibaum
Abstract. We study some restrictions associated with the mechanisms for structuring and modularising specifications in the B abstract machine notation. We propose an extension of the language that...
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context (2000)
Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Tom Maibaum
The B-Method provides a collection of structuring mechanisms which support information hiding, modularisation and compositionality of module operations, although, in order to achieve compositionality...
Interpolation in Practical Formal Development (2000)
Juan Bicarregui, Theo Dimitrakos, Dov Gabbay, Tom Maibaum
Interpolation (together with completeness and decidability) has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that...
Software Engineering - Methods Part II. Measurement and Testing (1999)
Introduction -- Measurement -- Measuring software . Week 2 - Unit testing -- Control Flowgraph Based testing -- Data Flow based testing -- (Modularity Measures) . Week 3 - Finding test cases --...
Synthesising Structure From Flat Specifications (1998)
Brian Matthews, Brian Ritchie, Juan Bicarregui
. Within the design process, a high-level specification is subject to two conflicting tensions. It is used as a vehicle for validating the requirements, and also as a first step of the refinement...
Component composition in business and system modeling (1997)
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
Component composition in business and system modeling (1997)
Stuart Kent, Juan Bicarregui, Kevin Lano, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
Component Composition in Business and System Modeling (1997)
Stuart Kent, Kevin Lano, Juan Bicarregui, Ali Hamie, John Howse
Abstract. Bespoke development of large business systems can be couched in terms of the composition of components, which are, put simply, chunks of development work. Design, mapping a specification to...
On the Verification of VDM Specification and Refinement with PVS (1997)
Although the formal method VDM has been in existence since the 1970's, there are still no satisfactory tools to support verification in VDM. This paper deals with one possible means of...
Experiences with Proof in a Formal Development (1996)
Denton Clutterbuck, Juan Bicarregui, Brian Matthews
This paper describes an investigation into the proof facilities within the BToolkit based on a study of the specification and refinement of low level code in the control systems domain. We describe...
Integrating EXPRESS and SGML for Document Modelling in Control Systems Design (1995)
Juan Bicarregui, Brian Matthews
This paper considers the integration of documents written using the Standard Generalized Markup Language (SGML) into an information modelling context using EXPRESS. An architecture is presented which...
Process Modelling in Control Systems Design (1995)
Brian Matthews, Juan Bicarregui
Process modelling is the formal description of the activities undertaken by an organisation. By modelling such processes we can support and improve these activities. Taking a control system...
Algorithm Refinement with Read and Write Frames (1993)
. The read and write frames of reference variables used in the VDM style of operation decomposition serve two purposes. Syntactically, they bind the variables that occur in the predicates of the...