Formal Modelling in Electronic Commerce

AvSteven O. Kimbrough,Dongjun Wu

Häftad, Engelska, 2014

Del i serien International Handbooks on Information Systems

2 266 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

2 266 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2014-11-23
Mått:155 x 235 x 31 mm
Vikt:861 g
Format:Häftad
Språk:Engelska
Serie:International Handbooks on Information Systems
Antal sidor:562
Upplaga:2005
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642435614

Utforska kategorier

E-handel inom Ekonomi och Ledarskap
Digital livsstil och datorspel inom Data och IT

Innehållsförteckning

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 Granularityand Payoffs in 2×2 Games under Replicator Dynamics.

Mer från samma författare

Formal Modelling in Electronic Commerce

Dongjun Wu, Steven O. Kimbrough

E-bok

2006

2 948 kr

Mer från samma serie

Handbook on Project Management and Scheduling Vol.1

Christoph Schwindt, Jürgen Zimmermann

Inbunden, 2015

1 701 kr

Handbook on Project Management and Scheduling Vol. 2

Christoph Schwindt, Jürgen Zimmermann

Inbunden, 2015

1 701 kr

Handbook on Project Management and Scheduling Vol.1

Christoph Schwindt, Jürgen Zimmermann

Häftad, 2016

1 701 kr

Handbook on Project Management and Scheduling Vol. 2

Christoph Schwindt, Jürgen Zimmermann

Häftad, 2016

1 701 kr

Handbook on Scheduling

Jacek Blazewicz, Klaus H. Ecker, Erwin Pesch, Günter Schmidt, Malgorzata Sterna, Jan Weglarz

Inbunden, 2019

2 748 kr

Handbook on Enterprise Architecture

Peter Bernus, Laszlo Nemes, Günter Schmidt

Inbunden, 2003

3 395 kr

Del 1

Handbook on Knowledge Management 1

Clyde Holsapple, Clyde Holsapple

Häftad, 2004

1 814 kr

Del 2

Handbook on Knowledge Management 2

Clyde Holsapple, Clyde Holsapple

Häftad, 2004

2 266 kr

Handbook on Architectures of Information Systems

Peter Bernus, Kai Mertins, Günter Schmidt

Inbunden, 2005

2 266 kr

Multiagent Engineering

Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol

Häftad, 2006

2 266 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Formal Modelling in Electronic Commerce

Steven O. Kimbrough, Dongjun Wu

Inbunden, 2004

2 266 kr

Formal Modelling in Electronic Commerce

Dongjun Wu, Steven O. Kimbrough

E-bok

2006

2 948 kr

Handbook on Business Process Management 2

Jan vom Brocke, Michael Rosemann

Häftad, 2016

2 492 kr

10% rabatt på allt

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Handbook on Knowledge Management 2

Clyde Holsapple

Inbunden, 2002

2 266 kr

Handbook on Architectures of Information Systems

Peter Bernus, Kai Mertins, Günter Schmidt

Inbunden, 2005

2 266 kr

Multiagent Engineering

Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol

Häftad, 2006

2 266 kr

Handbook on Business Process Management 2

Jan vom Brocke, Michael Rosemann

Häftad, 2012

2 971 kr

Handbook on Data Management in Information Systems

Jacek Blazewicz, Wieslaw Kubiak, Tadeusz Morzy, Marek Rusinkiewicz

Inbunden, 2003

2 266 kr

Formal Modelling in Electronic Commerce

AvSteven O. Kimbrough,Dongjun Wu

Häftad, Engelska, 2014

Del i serien International Handbooks on Information Systems

2 266 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

2 266 kr

Beskrivning

Produktinformation

Utgivningsdatum:2014-11-23
Mått:155 x 235 x 31 mm
Vikt:861 g
Format:Häftad
Språk:Engelska
Serie:International Handbooks on Information Systems
Antal sidor:562
Upplaga:2005
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642435614

Utforska kategorier

E-handel inom Ekonomi och Ledarskap
Digital livsstil och datorspel inom Data och IT

Innehållsförteckning

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 Granularityand Payoffs in 2×2 Games under Replicator Dynamics.