Results 1 -
7 of
7
Personalisation Services for Self e-Learning Networks
- IN 1 HTTP://WWW.ACTIVEMATH.ORG 2 HTTP://WWW.LEACTIVEMATH.ORG
, 2004
"... This paper describes the personalisation services designed for self e-learning networks in the SeLeNe project. These include personalised search results, view definition over learning object metadata, metadata generation for composite learning objects and personalised event and change notificati ..."
Abstract
-
Cited by 12 (0 self)
- Add to MetaCart
(Show Context)
This paper describes the personalisation services designed for self e-learning networks in the SeLeNe project. These include personalised search results, view definition over learning object metadata, metadata generation for composite learning objects and personalised event and change notification services.
r 3 – A Foundational Ontology for Reactive Rules ⋆
"... Abstract. In this paper we present the r 3 ontology, a foundational ontology for reactive rules, aiming at coping with language heterogeneity at the rule (component) level. This (OWL-DL) ontology is at a low (structural) abstraction level thus fostering its extension. Although focusing on reactive r ..."
Abstract
-
Cited by 7 (4 self)
- Add to MetaCart
Abstract. In this paper we present the r 3 ontology, a foundational ontology for reactive rules, aiming at coping with language heterogeneity at the rule (component) level. This (OWL-DL) ontology is at a low (structural) abstraction level thus fostering its extension. Although focusing on reactive rules (reactive derivation rules not excluded), the r 3 ontology defines a vocabulary that allows also for the definition of rule (component) languages to model other types of rules like production, integrity, or logical derivation rules. 1
Extending WS-Notification with an Expressive Event Notification Broker
- in 2008 IEEE International Conference on Web Services
, 2008
"... Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invoca-tions because the notification message is not in itself a busi-ness interaction. Rather, it is used to implicitly trigger such ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
(Show Context)
Web service applications integrate explicit client-service interactions with notification-style programming. Such event-driven interactions are often called implicit invoca-tions because the notification message is not in itself a busi-ness interaction. Rather, it is used to implicitly trigger such interactions as a means for reacting to events. Web Services specifications such as WS-Notification have been developed in order to standardize the way notifications are sent, but they only support the most basic form of event notification. In this paper, we discuss the architecture and the imple-mentation of an expressive notification broker based on ex-tension mechanisms presented by the WS-Notification spec-ification. This broker improves the standard WSN bro-ker in three ways. First, it supports event correlation and hence allows for composite event detection. Second, it in-tegrates events and reactions into Event-Condition-Action (ECA) rules that can be registered directly at the broker. Third, it introduces event-driven lifecycle management for ECA rules, thus allowing to dynamically adapt these ECA rules to changing situations. 1.
A Logical View of Choreography
"... Abstract. We present a model for choreography à la WS-CDL and formalize it in ∆DSTL(x), a spatio–temporal logic for the specification and verification of global computing systems. The approach builds on the formalization of an atomic interaction and defines composition rules to describe complex chor ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
(Show Context)
Abstract. We present a model for choreography à la WS-CDL and formalize it in ∆DSTL(x), a spatio–temporal logic for the specification and verification of global computing systems. The approach builds on the formalization of an atomic interaction and defines composition rules to describe complex choreographies. The logic permits to reason on the choreography formalization and to derive the properties of interest. A pleasant characteristics of the proposed approach is that the composition of formulae, corresponding to a choreography, results in a formula shaping as an atomic interaction formula. Therefore, the properties of complex choreographies can be uniformly described as interactions. We demonstrate the approach using a business scenario already tackled in the literature. 1
A Rule-Based Language for Integrating Business Processes and Business Rules
"... Abstract. Business process modeling has become a popular method for improv-ing organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness ..."
Abstract
- Add to MetaCart
Abstract. Business process modeling has become a popular method for improv-ing organizational efficiency and quality. Automatic validation of process models is one of the most valuable features of modeling tools, in face of the increasing complexity of enterprise business processes and the richness of modeling lan-guages. This paper proposes a formal language, Event-Condition-Action-Event (ECAE), for integrating Colored Petri Nets (CPN)-based business process with a set of business rules. We automate the integration process for validating the busi-ness process model. The ECAE language has several important features: its rea-soning capabilities, its ability to express complex actions and events, and its de-clarative semantics. By enabling simulation of business process behavior, the rea-soning capabilities facilitate the early detection of flaws
I5-D7 Completion of the prototype scenario Project title: Reasoning on the Web with Rules and Semantics
, 2007
"... This report presents the refinements made in the prototypes described in the previous deliverable (deliverable I5-D5 – “A first prototype on evolution and behaviour at the XML level”), and their usage in use-case scenarios. In particular, the use-case scenarios have been chosen according to the sket ..."
Abstract
- Add to MetaCart
(Show Context)
This report presents the refinements made in the prototypes described in the previous deliverable (deliverable I5-D5 – “A first prototype on evolution and behaviour at the XML level”), and their usage in use-case scenarios. In particular, the use-case scenarios have been chosen according to the sketch of use-cases designed in the deliverable I5-D2&3 – “Use-cases on evolution and reactivity”. Besides this report, the deliverable consists also of the prototypes themselves, which are all freely available online from
IOS Press External Transaction Logic: reasoning and
"... Abstract. In this work we present External Transaction Logic, a logic that extends Transaction logic with the ability to model and execute transactions requiring interactions with external entities, as e.g. external web-source, web-services or agents. Transactions are defined in a logic programming ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. In this work we present External Transaction Logic, a logic that extends Transaction logic with the ability to model and execute transactions requiring interactions with external entities, as e.g. external web-source, web-services or agents. Transactions are defined in a logic programming style by the composition of internal and external primitives. These primitives are incorporated in a quite general manner, as a parameter of the External Transaction Logic theory, allowing the specification of transactions integrating knowledge and actions from multiple sources and semantics. Since one has different control over internal and external domains, different transaction properties are ensured depending on where actions are executed. Namely, internal actions executed in a knowledge base that we fully control, follow the standard model of transactions, where the failure of the transaction leaves the knowledge unaffected. On the other hand, transactional properties over actions executed externally need to be relaxed, as it is impossible to roll back actions executed in a domain that is external. To deal with this, external actions can be defined along with compensating operations. If a transaction fails after executing some external action, then these compensations are executed in a backward order to achieve a relaxed model of atomicity. We provide a model theory for External Transaction Logic, that can be used to reason about the conditions of execution of transactions that require the issuing of both internal and external actions on abstract knowledge bases with potentially different state semantics. We also present here a corresponding proof theory (sound and complete w.r.t. the model theory) that provides means to execute such transactions in a top-down manner.
