Results 1  10
of
58
Kleene Algebra with Domain
, 2003
"... We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augments the expressibility of Kleene algebra, in particular for the specification and analysis of state transition systems. We ..."
Abstract

Cited by 44 (30 self)
 Add to MetaCart
(Show Context)
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augments the expressibility of Kleene algebra, in particular for the specification and analysis of state transition systems. We develop the basic calculus, discuss some related theories and present the most important models of KAD. We demonstrate applicability by two examples: First, an algebraic reconstruction of Noethericity and wellfoundedness. Second, an algebraic reconstruction of propositional Hoare logic.
Applications of Linear Logic to Computation: An Overview
, 1993
"... This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and objectoriented programming and some other applications of LL, li ..."
Abstract

Cited by 42 (3 self)
 Add to MetaCart
This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and objectoriented programming and some other applications of LL, like semantics of negation in LP, nonmonotonic issues in AI planning, etc. Although the overview covers pretty much the stateoftheart in this area, by necessity many of the works are only mentioned and referenced, but not discussed in any considerable detail. The paper does not presuppose any previous exposition to LL, and is addressed more to computer scientists (probably with a theoretical inclination) than to logicians. The paper contains over 140 references, of which some 80 are about applications of LL. 1 Linear Logic Linear Logic (LL) was introduced in 1987 by Girard [62]. From the very beginning it was recognized as relevant to issues of computation (especially concurrency and stat...
Synthesizing Distributed Constrained Events from Transactional Workflow Specifications
 In Proceedings of the 12th International Conference on Data Engineering (ICDE
, 1996
"... Workflows are the semantically appropriate composite activities in heterogeneous computing environments. Such environments typically comprise a great diversity of locally autonomous databases, applications, and interfaces. Much good research has focused on the semantics of workflows, and how to capt ..."
Abstract

Cited by 40 (11 self)
 Add to MetaCart
(Show Context)
Workflows are the semantically appropriate composite activities in heterogeneous computing environments. Such environments typically comprise a great diversity of locally autonomous databases, applications, and interfaces. Much good research has focused on the semantics of workflows, and how to capture them in different extended transaction models. Here we address the complementary issues pertaining to how workflows may be declaratively specified, and how distributed constraints may be derived from those specifications to enable local control, thus obviating a centralized scheduler. Previous approaches to this problem were limited and often lacked a formal semantics. 1 Introduction Workflows are composite, semantically appropriate activities that execute in heterogeneous environments. In such environments, extremely common in practice, the challenge is to interoperate properly without violating the autonomy of the components. Workflows address this challenge [5]. Transactional workfl...
Semantical considerations on workflows: An algebra for intertask dependencies
 In Proceedings of the International Workshop on Database Programming Languages
, 1995
"... Workflows are composite multitransaction activities occurring in heterogeneous environments. They relax the semantic properties of traditional transactions to accommodate the demands of such environments. It is important that workflows be specified declaratively, reasoned about formally, and schedul ..."
Abstract

Cited by 32 (0 self)
 Add to MetaCart
Workflows are composite multitransaction activities occurring in heterogeneous environments. They relax the semantic properties of traditional transactions to accommodate the demands of such environments. It is important that workflows be specified declaratively, reasoned about formally, and scheduled automatically. Declarative approaches based on intertask dependencies are prominent in the literature. However, extant approaches often lack a formal semantics, or fail to meet other important criteria. Also, they do not carefully distinguish event types from instances, a distinction that is crucial when the constraint that tasks are loopfree is relaxed. We propose an approach that gives a rigorous formal semantics for dependencies and meets the above conditions. Our approach uses algebraic expressions to represent dependencies and uses symbolic reasoning to take scheduling decisions. It can form the basis of a programming language for workflows. 1
Merging without mystery, variables in dynamic semantics
, 1993
"... In this paper we discuss the treatment ofvariables in dynamic semantics. Referent systems are introduced as a exible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which wemanipulate themtheir namesand from th ..."
Abstract

Cited by 27 (0 self)
 Add to MetaCart
In this paper we discuss the treatment ofvariables in dynamic semantics. Referent systems are introduced as a exible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which wemanipulate themtheir namesand from the information that we store in themtheir values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with the familiar formalisms in dynamic semantics, DRT and DPL.
Rewriting Extended Regular Expressions
, 1993
"... We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotonic operations; the latter property is crucial for some applications. We give a new complete Horn equational axiomatiztion ..."
Abstract

Cited by 20 (1 self)
 Add to MetaCart
(Show Context)
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotonic operations; the latter property is crucial for some applications. We give a new complete Horn equational axiomatiztion of the algebra and develop some termrewriting techniques for constructing logical inferences of valid equations. A shorter version of this paper is to appear in the proceedings of Developments in Language Theory, Univ. of Turku, July 1993, published by World Scientific. The present version has been submitted for publication elsewhere. 1 Introduction In this paper we consider an extended algebra of regular events (languages) on a given alphabet with intersection besides the usual operations (union, concatenation, Kleene star, empty, and the regular unit). This algebra has the structure of a distributive lattice (join is union, meet is intersection) with only monotonic operations. The latte...
The Duality of Time and Information
 In Proc. of CONCUR'92, LNCS 630
, 1992
"... The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of time and information for rigid local computation, or straightline code, in the absence of choice and concurrency, where time ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
(Show Context)
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of time and information for rigid local computation, or straightline code, in the absence of choice and concurrency, where time and information are linearly ordered. This shows the duality of computation to be more fundamental than the logic of computation for which choice is disjunction and concurrency conjunction. To accommodate flexible distributed computing systems we then bring in choice and concurrency and pass to partially ordered time and information, the formal basis for this extension being BirkhoffStone duality. A degree of freedom in how this is done permits a perfectly symmetric logic of computation amounting to Girard's full linear logic, which we view as the natural logic of computation when equal importance is attached to choice and concurrency. We conclude with an assessment of the prospects for ex...
On Action Algebras
, 1993
"... Action algebras have been proposed by Pratt [22] as an alternative to Kleene algebras [8, 9]. Their chief advantage over Kleene algebras is that they form a finitelybased equational variety, so the essential properties of (iteration) are captured purely equationally. However, unlike Kleene algebras ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
Action algebras have been proposed by Pratt [22] as an alternative to Kleene algebras [8, 9]. Their chief advantage over Kleene algebras is that they form a finitelybased equational variety, so the essential properties of (iteration) are captured purely equationally. However, unlike Kleene algebras, they are not closed under the formation of matrices, which renders them inapplicable in certain constructions in automata theory and the design and analysis of algorithms. In this paper we consider a class of action algebras called action lattices. An action lattice is simply an action algebra that forms a lattice under its natural order. Action lattices combine the best features of Kleene algebras and action algebras: like action algebras, they form a finitelybased equational variety; like Kleene algebras, they are closed under the formation of matrices. Moreover, they form the largest subvariety of action algebras for which this is true. All common examples of Kleene algebras appearing in automata theory, logics of programs, relational algebra, and the design and analysis of algorithms are action lattices.
Towards automatic web service composition using ai planning techniques
 AI Planning Techniques, http://sws.mcm.unisg.ch/docs/wsplanning.pdf – 504083 Deliverable 3.1
, 2003
"... This article discusses how artificial intelligence (AI) planning techniques can be used to enable automatic composition of Web Services. Particulary, the paper discusses how standard Web Service descriptions can be annotated and converted into proper formats like PDDL to enable reasoning with modern ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
(Show Context)
This article discusses how artificial intelligence (AI) planning techniques can be used to enable automatic composition of Web Services. Particulary, the paper discusses how standard Web Service descriptions can be annotated and converted into proper formats like PDDL to enable reasoning with modern AI planning tools. 1