Cargando…

Formal Modelling in Electronic Commerce

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering su...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kimbrough, Steven O. (Editor ), Wu, Dongjun (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:International Handbooks on Information Systems,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-540-26989-2
003 DE-He213
005 20220223184131.0
007 cr nn 008mamaa
008 100301s2005 gw | s |||| 0|eng d
020 |a 9783540269892  |9 978-3-540-26989-2 
024 7 |a 10.1007/b138422  |2 doi 
050 4 |a HF54.5-54.56 
072 7 |a KJQ  |2 bicssc 
072 7 |a UF  |2 bicssc 
072 7 |a BUS083000  |2 bisacsh 
072 7 |a KJQ  |2 thema 
072 7 |a UF  |2 thema 
082 0 4 |a 658.05  |2 23 
245 1 0 |a Formal Modelling in Electronic Commerce  |h [electronic resource] /  |c edited by Steven O. Kimbrough, Dongjun Wu. 
250 |a 1st ed. 2005. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2005. 
300 |a XII, 562 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a International Handbooks on Information Systems,  |x 2627-8529 
505 0 |a FMEC: Overview and Interpretation -- Policies -- Practical Contract Storage, Checking, and Enforcement for Business Process Automation -- Legitimacy Checking in Communicative Workflow Design -- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part I: Syntax & Formal Semantics of CANDID -- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part II: Formal Description of Economics Actors and Objects -- CANDID Specification of Commercial and Financial Contracts: A Formal Semantics Approach to Knowledge Representation, Part III: CANDID Specification of Financial Concepts -- Performatives, Performatives Everywhere but Not a Drop of Ink -- EDI, XML, and the Transparency Problem in Electronic Commerce -- Applications -- Designing Control Mechanisms for Value Exchanges in Network Organisations -- Sim-I-Space: An Agent-Based Modelling Approach to Knowledge Management Processes -- Communication -- On Representing Special Languages with FLBC: Message Markers and Reference Fixing in SeaSpeak -- A Note on Modelling Speech Acts as Signalling Conventions -- Dynamic Conversation Structures: An Extended Example -- Agents and Strategic Interactions -- Investigating the Value of Information and Computational Capabilities by Applying Genetic Programming to Supply Chain Management -- Multi-Agent Simulation of Financial Markets -- Adaptive Agents in Coalition Formation Games -- On Learning Negotiation Strategies by Artificial Adaptive Agents in Environments of Incomplete Information -- A Note on Strategic Learning in Policy Space -- Learning and Tacit Collusion by Artificial Agents in Cournot Duopoly Games -- A Note on Working Memory in Agent Learning -- Investigations of Granularity and Payoffs in 2×2 Games under Replicator Dynamics. 
520 |a Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided. 
650 0 |a Business information services. 
650 0 |a Application software. 
650 1 4 |a IT in Business. 
650 2 4 |a Computer and Information Systems Applications. 
700 1 |a Kimbrough, Steven O.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Wu, Dongjun.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783540801504 
776 0 8 |i Printed edition:  |z 9783540214311 
776 0 8 |i Printed edition:  |z 9783642435614 
830 0 |a International Handbooks on Information Systems,  |x 2627-8529 
856 4 0 |u https://doi.uam.elogim.com/10.1007/b138422  |z Texto Completo 
912 |a ZDB-2-SBE 
912 |a ZDB-2-SXBM 
950 |a Business and Economics (SpringerNature-11643) 
950 |a Business and Management (R0) (SpringerNature-43719)