๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Verification of relational transducers for electronic commerce

โœ Scribed by Marc Spielmann

Book ID
104147644
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
275 KB
Volume
66
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

โœฆ Synopsis

Motivated by recent work of Abiteboul, Vianu, Fordham, and Yesha, we investigate the verifiability of transaction protocols specifying the interaction of multiple parties via a network. The protocols which we are concerned with typically occur in the context of electronic commerce applications and can be formalized as relational transducers. We introduce a class of powerful relational transducers based on Gurevich's abstract state machines and show that several verification problems related to electronic commerce applications are decidable for these transducers.

๐Ÿ“œ SIMILAR VOLUMES

Relational Transducers for Electronic Co
Relational Transducers for Electronic Commerce
โœ Serge Abiteboul; Victor Vianu; Brad Fordham; Yelena Yesha ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 322 KB

Electronic commerce is emerging as one of the major Web-supported applications requiring database support. We introduce and study high-level declarative specifications of business models, using an approach in the spirit of active databases. More precisely, business models are specified as relational