Improving Dependability in Service Oriented Architectures using Ontologies and Fault Injection Binka Gwynne Jie Xu School of Computing University of Leeds.

Slides:



Advertisements
Similar presentations
© Telelogic AB Modeling DoDAF Compliant Architectures Operational Systems Technical.
Advertisements

Dependability analysis and evolutionary design optimisation with HiP-HOPS Dr Yiannis Papadopoulos Department of Computer Science University of Hull, U.K.
Configuration management
Software Tools Lecture 10: Software Tools Dr Valentina Plekhanova University of Sunderland, UK.
Formal Modelling of Reactive Agents as an aggregation of Simple Behaviours P.Kefalas Dept. of Computer Science 13 Tsimiski Str Thessaloniki Greece.
Object-Oriented Software Development CS 3331 Fall 2009.
Multimedia Specification Design and Production 2013 / Semester 1 / week 7 Lecturer: Dr. Nikos Gazepidis
Online accounts management for small businesses By Wagner Silva – – Abstract: This project demonstrates the steps taken.
Alternative Software Life Cycle Models By Edward R. Corner vol. 2, chapter 8, pp Presented by: Gleyner Garden EEL6883 Software Engineering II.
Learning Objectives LO5 Document an accounting system to identify key controls and weaknesses in order to assess control risk. LO6 Write key control tests.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
May 14, May 14, 2015May 14, 2015May 14, 2015 Azusa, CA Sheldon X. Liang Ph. D. Software Engineering in CS at APU Azusa Pacific University, Azusa,
Requirements Engineering n Elicit requirements from customer  Information and control needs, product function and behavior, overall product performance,
1 Richard White Design decisions: architecture 1 July 2005 BiodiversityWorld Grid Workshop NeSC, Edinburgh, 30 June - 1 July 2005 Design decisions: architecture.
On management aspects of future ICT systems Associate Professor Evgeny Osipov Head of Dependable Communication and Computation group Luleå University of.
Software Engineering COMP 201
School of Computer ScienceG53FSP Formal Specification1 Dr. Rong Qu Introduction to Formal Specification
Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process Márcio de Oliveira Barros Cláudia Maria Lima Werner Guilherme Horta.
Semantic Mediation & OWS 8 Glenn Guempel
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
A university for the world real R © 2009, Chapter 23 Epilogue Wil van der Aalst Michael Adams Arthur ter Hofstede Nick Russell.
On Roles of Models in Information Systems (Arne Sølvberg) Gustavo Carvalho 26 de Agosto de 2010.
Foundation Degree IT Project Methodologies (for reference)
Evidence based research in education Cathy Gunn University of Auckland.
CSI315 Web Applications and Technology Overview of Systems Development (342)
Using MDA in Web Software Architectures Santiago Meliá Cristina Cachero Jaime Gómez Universidad de Alicante Spain.
Chapter 2 The process Process, Methods, and Tools
Requirements Analysis
Ontology Development in the Sciences Some Fundamental Considerations Ontolytics LLC Topics:  Possible uses of ontologies  Ontologies vs. terminologies.
Towards an activity-oriented and context-aware collaborative working environments Presented by: Ince T Wangsa Supervised by:
Design Science Method By Temtim Assefa.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 1 Slide 1 An Introduction to Software Engineering.
Introduction to MDA (Model Driven Architecture) CYT.
HCI in Software Process Material from Authors of Human Computer Interaction Alan Dix, et al.
OBJECT ORIENTED SYSTEM ANALYSIS AND DESIGN. COURSE OUTLINE The world of the Information Systems Analyst Approaches to System Development The Analyst as.
Programming in Java Unit 3. Learning outcome:  LO2:Be able to design Java solutions  LO3:Be able to implement Java solutions Assessment criteria: 
Scientific Workflow Interchanging Through Patterns: Reversals and Lessons Learned Bruno Fernandes Bastos Regina Maria Maciel Braga Antônio Tadeu Azevedo.
Workflow Early Start Pattern and Future's Update Strategies in ProActive Environment E. Zimeo, N. Ranaldo, G. Tretola University of Sannio - Italy.
A Context Model based on Ontological Languages: a Proposal for Information Visualization School of Informatics Castilla-La Mancha University Ramón Hervás.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
Open Platform for EvolutioNary Certification Of Safety-critical Systems Large-scale integrating project (IP) Nuanced Term-Matching to Assist in Compositional.
Creating a European entity Management Architecture for eGovernment CUB - corvinus.hu Id Réka Vas
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Class Scheduler Team Members Bernard Battle Jerad Blake James Knoch Chris Louallen Lenora Pride.
MODEL-BASED SOFTWARE ARCHITECTURES.  Models of software are used in an increasing number of projects to handle the complexity of application domains.
Part Three Using Technology and Information to Build Customer Relationships 7 Marketing Research and Information Systems.
WERST – Methodology Group
June 13-15, 2007Policy 2007 Infrastructure-aware Autonomic Manager for Change Management H. Abdel SalamK. Maly R. MukkamalaM. Zubair Department of Computer.
RE-ENGINEERING AND DOMAIN ANALYSIS BY- NISHANTH TIRUVAIPATI.
CS223: Software Engineering Lecture 2: Introduction to Software Engineering.
Application of Fault Injection to Globus Grid Middleware Nik Looker & Jie Xu University of Leeds, Leeds. LS2 9JT, UK Tianyu Wo & Jinpeng Huai Beihang University,
Quality Assurance in the Presence of Variability Kim Lauenroth, Andreas Metzger, Klaus Pohl Institute for Computer Science and Business Information Systems.
Doing Applied Science. Why the Poor Link to the Applied Environment? When you understand what is real, how to apply it is a relatively minor matter In.
Whole Test Suite Generation. Abstract Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of.
Methodology Review Chapter 7 Part 2: Design Methodology Object-Oriented Modeling and Design Byung-Hyun Ha
CMMI Certification - By Global Certification Consultancy.
LIGHTWEIGHT CLOUD COMPUTING FOR FAULT-TOLERANT DATA STORAGE MANAGEMENT
The Development Process of Web Applications
Object-Oriented Software Engineering Using UML, Patterns, and Java,
Differents between Structured Analysis and UML
Green IT CHAPTER 3: PROGRAMMATIC AND INSTITUTIONAL OPPORTUNITIES TO ENHANCE COMPUTER SCIENCE RESEARCH FOR SUSTAINABILITY.
HCI in the software process
The design process Software engineering and the design process for interactive systems Standards and guidelines as design rules Usability engineering.
The design process Software engineering and the design process for interactive systems Standards and guidelines as design rules Usability engineering.
Foundation Degree IT Project
Introduction To System Analysis and Design PART 2
HCI in the software process
HCI in the software process
Human Computer Interaction Lecture 14 HCI in Software Process
Scientific Workflows Lecture 15
Presentation transcript:

Improving Dependability in Service Oriented Architectures using Ontologies and Fault Injection Binka Gwynne Jie Xu School of Computing University of Leeds UK

2 Introduction and Objectives Web services are the currently favoured middleware for Service Oriented Architectures This middleware is continuously evolving due to increasing demands in requirements It has yet to demonstrate capability of providing high levels of dependability This dependability should be evident in order for Web services to become widely adopted in the real world

3 Introduction and Objectives Existing fault injection tests are limited to manual comparisons We aim for evolutionary automated testing techniques that provide Automated determination of dependability levels Comparability metrics and novel evaluation techniques Our objective is to propose these innovative methods of testing Service Oriented Architecture middleware through the use of ontologically supported software fault injection

4 3 Elements of Research We combine 3 elements into our research study Ontology Experimental Provenance Enhanced Fault Injection Testing

5 3 Elements of Research FAULT INJECTION TESTING TOOL EXPERIMENTAL PROVENANCE DATA ONTOLOGY TOOL These elements will be combined so that our ontology environment is able to cyclically evolve in complexity using information gleaned through fault injection testing

6 Ontologies An ontology is an abstract, formal and explicit description Ontologies are abstractions that can be used to model the essence of complex phenomena They can vary from flat lexicons with few relationships to very large, expressive ontologies attempting to capture every possible aspect of a domain Languages and tools have been designed that assist in their development Ontologies have been traditionally used in philosophy and science for a considerable time and their benefits are well proven

7 Ontologically Supported Fault Injection Testing We aim to discover how faults affect systems by injecting specifically designed faults recording any resultant errors and if they propagate through to failures There are two main concerns with fault injection Fault representativeness The possibility of spawned faults

8 Ontologically Supported Fault Injection Testing Using ontologically supported fault injection we aim to Improve fault representativeness and avoid spurious testing Lessen the chances of producing undetected spawned faults Address problems associated with some traditional testing methods such as state and timing

9 Experimental Data Experimental results and provenance data are used to develop ontologies This should allow every experiment to be replicable and tests to be made generally available to different systems Information gathered should allow us to bring about improvements in further testing and evaluation procedures Initial data is processed as XML documents More detailed ontologies will require richer languages

10 Example Experimental Data Param0013 BG001 null Multi6Service parameter test started at Fri Aug 19 15:36: using ex Service6 parameter [2005, 8, 19, 3, 36, 14, ] parameter error in main line

11 Conclusion Our ontology development is seen as a cyclic process where experimental results and provenance data are used in the design of new test and evaluation techniques This should mean that our experiments can be replicable and available to heterogeneous systems Our main objective is to make new methods available for the testing and evaluation of Service Oriented Architectures and Grid Systems

12 For The Future Our plans are to continue in developing novel methods for determining the dependability of Service Oriented Architectures and Grid systems by providing new criteria and metrics with the capability of evaluating dependability We will refine the ontology engine so that it can become a valuable tool for the design and implementation of further test and evaluation methods