462 research outputs found
Knowledge Representation Concepts for Automated SLA Management
Outsourcing of complex IT infrastructure to IT service providers has
increased substantially during the past years. IT service providers must be
able to fulfil their service-quality commitments based upon predefined Service
Level Agreements (SLAs) with the service customer. They need to manage, execute
and maintain thousands of SLAs for different customers and different types of
services, which needs new levels of flexibility and automation not available
with the current technology. The complexity of contractual logic in SLAs
requires new forms of knowledge representation to automatically draw inferences
and execute contractual agreements. A logic-based approach provides several
advantages including automated rule chaining allowing for compact knowledge
representation as well as flexibility to adapt to rapidly changing business
requirements. We suggest adequate logical formalisms for representation and
enforcement of SLA rules and describe a proof-of-concept implementation. The
article describes selected formalisms of the ContractLog KR and their adequacy
for automated SLA management and presents results of experiments to demonstrate
flexibility and scalability of the approach.Comment: Paschke, A. and Bichler, M.: Knowledge Representation Concepts for
Automated SLA Management, Int. Journal of Decision Support Systems (DSS),
submitted 19th March 200
State-of-the-art on evolution and reactivity
This report starts by, in Chapter 1, outlining aspects of querying and updating resources on
the Web and on the Semantic Web, including the development of query and update languages
to be carried out within the Rewerse project.
From this outline, it becomes clear that several existing research areas and topics are of
interest for this work in Rewerse. In the remainder of this report we further present state of
the art surveys in a selection of such areas and topics. More precisely: in Chapter 2 we give
an overview of logics for reasoning about state change and updates; Chapter 3 is devoted to briefly describing existing update languages for the Web, and also for updating logic programs;
in Chapter 4 event-condition-action rules, both in the context of active database systems and
in the context of semistructured data, are surveyed; in Chapter 5 we give an overview of some relevant rule-based agents frameworks
Integrating formal reasoning into component-based approach to reconfigurable distributed systems
Distributed computing is becoming ubiquitous in recent years in many areas, especially the
scientific and industrial ones, where the processing power - even that of supercomputers - never
seems to be enough. Grid systems were born out of necessity, and had to grow quickly to
meet requirements which evolved over time, becoming today’s complex systems. Even the
simplest distributed system nowadays is expected to have some basic functionalities, such as
resources and execution management, security and optimization features, data control, etc. The
complexity of Grid applications is also accentuated by their distributed nature, making them
some of the most elaborate systems to date. It is often too easy that these intricate systems
happen to fall in some kind of failure, it being a software bug, or plain simple human error; and
if such a failure occurs, it is not always the case that the system can recover from it, possibly
meaning hours of wasted computational power.
In this thesis, some of the problems which are at the core of the development and mainte-
nance of Grid software applications are addressed by introducing novel and solid approaches
to their solution. The difficulty of Grid systems to deal with unforeseen and unexpected cir-
cumstances resulting from dynamic reconfiguration can be identified. Such problems are often
related to the fact that Grid applications are large, distributed and prone to resource failures.
This research has produced a methodology for the solution of this problem by analysing the
structure of distributed systems and their reliance on the environment which they sit upon, often
overlooked when dealing with these types of scenarios. It is concluded that the way that Grid applications interact with the infrastructure is not sufficiently addressed and a novel approach
is developed in which formal verification methods are integrated with distributed applications
development and deployment in a way that includes the environment. This approach allows for
reconfiguration scenarios in distributed applications to proceed in a safe and controlled way, as
demonstrated by the development of a prototype application
Extend Commitment Protocols with Temporal Regulations: Why and How
The proposal of Elisa Marengo's thesis is to extend commitment protocols to
explicitly account for temporal regulations. This extension will satisfy two
needs: (1) it will allow representing, in a flexible and modular way, temporal
regulations with a normative force, posed on the interaction, so as to
represent conventions, laws and suchlike; (2) it will allow committing to
complex conditions, which describe not only what will be achieved but to some
extent also how. These two aspects will be deeply investigated in the proposal
of a unified framework, which is part of the ongoing work and will be included
in the thesis.Comment: Proceedings of the Doctoral Consortium and Poster Session of the 5th
International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8
(arXiv:1107.1686
Proceedings of the Workshop on Models and Model-driven Methods for Enterprise Computing (3M4EC 2008)
CHARMS: A Charter Management System. Automating the Integration of Electronic Institutions and Humans
The execution of process models is usually presented through a graphical user interface, especially when users¿ input is required. Existing mechanisms, such as Electronic Institutions (EIs), provide means to easily specify and automatically execute process models. However, every time the specification is modified, the graphical user interface (GUI) needed during the execution stage should be manually modified accordingly. This paper proposes a system that helps maintain such GUIs in an efficient and automated manner. We present and test Charms, a system built on top of EIs that allows the automatic creation and update of GUIs based on the provided process model specification. © 2012 Copyright Taylor and Francis Group, LLC.This work has been supported by: the LiquidPublications project (project.LiquidPub.org), funded by the Seventh Framework Programme for Research of the European Commission under fet-open grant number 213360; the
Agreement Technologies project (www.agreement-technologies.org), funded by consolider csd 2007-0022, ingenio 2010; and the cbit project on community-building information technology, funded by the Spanish Ministry of Science and
Innovation under grant number TIN2010-16306.Peer Reviewe
- …