S. Abiteboul, V. Vianu, B.S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. J. Comput. Syst. Sci., 61(2):236--269, 2000.  Home/Search   Document Details and Download   Summary   ACM   TOC   Related Articles   Check

....its relative narrowness the monodic fragment provides a way for quite realistic applications. For example, temporal extensions of the spatial formalism RCC 8 [Wol00] lie within the monodic fragment. Another example is the verification of properties of relational transducers for electronic commerce [AVFY00] which are expressed in the monodic language again. The decidability of T 1 L was proved in [HWZ00] while, in [WZ01] a finite Hilbertstyle axiomatization of the monodic fragment of TL(N) has been constructed. However no deduction based decision procedure for this class has yet been proposed. ....

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proceedings of 17th Symposium on Database Systems (PODS'1998), pages 179--187. ACM Press, 2000.

....ruling for one request does not interleave with those of any other request sent under the same contract. 7 Related Work There has been a growing interest in supporting e commerce contracts, and a variety of di#erent, and quite powerful, enforcement mechanisms have been devised, like for example [8, 15, 1, 12]. However, to the best of our knowledge, none of the frameworks proposed so far, express contracts by means of certificates, nor do they deal with contract annulment or 15 Request, Certificates pass info. give response Server Observer Revocation Server Repository trusted issuers ....

S. Abiteboul, V. Vianu, B. Forham, and Y. Yesha. Relational transducers for electronic commerce. In Symposium on Principles of Database Systems, pages 179--187, June 1998.

....a language in which ECA rules on XML can be defined. ECA rules have been used in many settings, including active databases [26, 29] workflow management, network management, personalisation and publish subscribe technology [3, 13, 14, 17, 27] and specifying and implementing business processes [2, 16, 22]. However, one of the key recurring themes regarding the successful deployment of ECA rules is the need for techniques and tools for analysing their behaviour [15, 23] When multiple ECA rules are defined within a system, their interactions can be 1 difficult to analyse, since the execution of ....

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236--269, 2000.

.... Event condition action rules are used to provide reactive functionality in many settings, including active databases [34, 30] workflow management, network management, personalisation and publish subscribe technology [31, 18, 15, 16, 4, 28] and specifying and implementing business processes [19, 2, 25]. In this paper we propose a simple ECA rule language for providing reactive functionality over corpora of XML documents. The motivation for this work is the increasing use of XML as a mechanism for data warehousing see for example recent extensions of commercial database systems to support ....

S. Abiteboul, V. Vianu, B.S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236--269, 2000.

.... of Relational Transducers for Electronic Commerce Marc Spielmann Mathematische Grundlagen der Informatik RWTH Aachen, D 52056 Aachen, Germany spielmann informatik.rwth aachen.de ABSTRACT Motivated by recent work of Abiteboul, Vianu, Fordham, and Yesha [3] we investigate the veri ability of transaction protocols specifying the interaction of multiple parties via a network, where each party is equipped with an (active) database that participates in the interaction. Such transaction protocols typically occur in the context of electronic commerce ....

....We introduce a class of powerful relational transducers based on Gurevich s abstract state machines and show that several veri cation problems related to electronic commerce applications can be solved for these transducers. Our approach is, in some sense, complementary to the approach in [3]. 1. INTRODUCTION One of the main reasons for the enormous and still accelerating growth of the World Wide Web is the strong interest of commercial enterprises in electronic commerce, i.e. in o ering services on and conducting business via the Web. Electronic commerce o ers challenges to ....

[Article contains additional citation context not shown here]

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational Transducers for Electronic Commerce. In Proceedings of 17th ACM Symposium on Principles of Database Systems (PODS `98), pages 179-187. ACM Press, 1998.

....The protocol is automatically generated using a technique called graph sequencing. This is an e#ective technique, but is limited to individual client vendor situation, in the sense that a particular client (or vendor) is not bound by an enterprise policy. Abiteboul, Vianu, Fordham and Yesha [1] propose that the transactions between a client and a vendor be mediated by relational transducers. Generally, such a transducer implements the vendor policy, but their mechanism allows for the modification of the policy. This suggests, that in principle it should be possible that a client may add ....

S. Abiteboul, V. Vianu, B. Forham, and Y. Yesha. Relational transducers for electronic commerce. In Symposium on Principles of Database Systems, pages 179--187, June 1998.

....API to the ActiveView system for this activity remains fixed. It is however possible to develop a Java applet (or application) that interacts with the ActiveView system via this particular API. Acknowledgments We thank Victor Vianu, Brad Fordham and Yelena Yesha for works with one of the authors [4] that somewhat initiated the present work. The first prototype of the system was implemented by Sacha Arnoud, Mohamed Bani, Rhiad Dhaou and Frederic Hubert. Brendan Hills is thanked for his work on the new interface to ActiveView. We thank Guy Ferran, Sophie Gamerman, Jean Claude Mamou (from ....

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In ACM PODS, 1998.

....domains: constraint programming [15, 14, 3, 4, 23] for the constraint solver and logic programming [22, 20] for the unifier. Relational databases are also used as a foundation for EC. In [11] an active database model is used to capture the semantics of the constantly changing EC environment. In [2], business models are formalized using relational transducers: relational tables model the application state and the system s inputs and outputs; a rule based program translates input sequences to the output relations. In [6] the ideas presented are similar to ours, e.g. class like data ....

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proc. PODS, pages 179--187, 1998.

....state machines or for propositional process models, they are fully undecidable (outside of RE) for many realistic workflows, where the universe of database states is infinite. To deal with this problem, some database researchers have chosen to restrict the process model instead of the data model [4, 30, 66]. Unfortunately, the result, once again, is that many realistic workflows are not considered. In this paper, we take a different approach and address a different set of questions. Our goal is to start with a highly expressive workflow language (like T D) and pinpoint the sources of complexity, ....

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In ACM Symposium on Principles of Database Systems, pages 179--187, Seattle, Washington, June 1998.

....order to integrate the data and workflow aspects. In this light, business models are reminiscent of active databases. They can be programmed in a similar manner, and may be amenable to static analysis. One formal model that captures the interactive Web site scenario is the relational transducer [11]. In this model, the state of the application is described by a relational database. The interaction from the outside world is captured by a sequence of input relations. The application responds by a sequence of output relations. Thus, the model can be viewed as a machine that translates an input ....

....y) and deliver(x) In the process it may consult relation price, and update the state information. A run of a transducer consists of a sequence of inputs and the sequence of outputs generated in response to each of the inputs. The static analysis of relational transducers is studied in [11, 97]. For instance, goal reachability asks if some goal can be achieved by some run of the transducer, possibly with some preconditions. In the example, one might wish to verify that it is possible to achieve the goal deliver(x) as long as 9y price(x; y) holds in the database. In general, however, the ....

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236--269, 2000. Extended abstract in PODS 98.

....the ActiveView system for this activity remains fixed. It is however possible to develop a Java applet (or application) that interacts with the ActiveView system via this particular API. Acknowledgments We thank V. Vianu, B. Fordham and Y. Yesha for works with one of the authors [4] that somewhat initiated the present work. The first prototype of the system was implemented by S. Arnoud, M. Bani, R. Dhaou and F. Hubert. V. Aguilera, S. Ailleret, B. Hills, A. Marian and B. Tessier are thanked for their work on the second prototype. We also thank G. Ferran, S. Gamerman, J.C. ....

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 179-- 187, New York, USA, 1998.

....objects. In particular, we provide the means of logging calls to such objects. This is needed in particular in case of disputes between the participants in the business transaction. Finally, we briefly describe how the Spocus framework, a very controlled model of business transaction introduced in [AVFY98] can be combined here. The idea is to limit dramatically the specification of business transactions so that a number of tasks of program verification nature, in general undecidable, become feasible. These are tasks such as business model customization (to allow the users to adapt the model to ....

....mechanism to O 2 . This is done in a minimal way compared to some more sophisticated active rule mechanisms that have been proposed, e. g, in the context of O 2 , the NAOS system [CC96] Next, we show how a technique for controlling the behavior of the system based on the Spocus transducers of [AVFY98] may be introduced in our system. 6.1 Introducing active features The active rule module of the active view manager controls the execution of some active rules. The active rules we are considering are of the form: on event if predicate query do program Events can be of two kinds: ....

[Article contains additional citation context not shown here]

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In ACM PODS, 1998.

No context found.

S. Abiteboul, V. Vianu, B.S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. J. Comput. Syst. Sci., 61(2):236--269, 2000.

No context found.

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In PODS, 1998.

No context found.

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proc. of PODS, 1998.

No context found.

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proc. ACM Symp. on Principles of Database Systems, 1998.

No context found.

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61( 2000.

No context found.

S. Abiteboul, V. Vianu, B.S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236--269, 2000.

No context found.

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236--269, 2000.

No context found.

Serge Abiteboul, Victor Vianu, Brad Fordham, Yelena Yesha, Relational Transducers for Electronic Commerce, Journal of Computer and System Sciences, Vol. 61, N. 2, 2000, 236-- 269.

No context found.

S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. Journal of Computer and System Sciences, 61(2):236--269, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC