000 04119nam a22003855i 4500
001 293663
003 MX-SnUAN
005 20160429155115.0
007 cr nn 008mamaa
008 150903s2005 gw | o |||| 0|eng d
020 _a9783540269892
_99783540269892
024 7 _a10.1007/b138422
_2doi
035 _avtls000346803
039 9 _a201509030434
_bVLOAD
_c201405070511
_dVLOAD
_y201402070906
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aHF54.5-54.56
100 1 _aKimbrough, Steven O.
_eeditor.
_9326481
245 1 0 _aFormal Modelling in Electronic Commerce /
_cedited by Steven O. Kimbrough, D.J. Wu.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2005.
300 _axii, 562 páginas 83 ilustraciones
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aInternational Handbooks on Information Systems
500 _aSpringer eBooks
505 0 _aFMEC: 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 _aAdvances 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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aWu, D.J.
_eeditor.
_9326482
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540214311
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b138422
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c293663
_d293663