Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)

Formal Modelling in Electronic Commerce (International Handbooks on Information Systems)


Yazar Steven O. Kimbrough Dongjun Wu
Yayınevi Springer
ISBN 9783540214311
Baskı yılı 2004
Sayfa sayısı 576
Ağırlık 0.94 kg
Edisyon 1
Stok durumu Var    Stok detayları
Kargoya teslim Aynı gün kargo

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.
FMEC : overview and interpretation by Steven O. Kimbrough and D. J. Wu 1
Practical contract storage, checking, and enforcement for business process automation by Alan Abrahams and David Eyers and Jean Bacon 33
Legitimacy checking in communicative workflow design by Aldo de Moor and Hans Weigand 79
CANDID specification of commercial and financial contracts, part I : syntax & formal semantics of CANDID by Ronald M. Lee 101
CANDID specification of commercial and financial contracts, part II : formal description of economics actors and objects by Ronald M. Lee 145
CANDID specification of commercial and financial contracts, part III : CANDID specification of financial concepts by Ronald M. Lee 159
Performatives, performatives everywhere but not a drop of ink by Ronald M. Lee 177
EDI, XML, and the transparency problem in electronic commerce by Steven O. Kimbrough 201
Designing control mechanisms for value exchanges in network organisations by Vera Kartseva and Yao-Hua Tan 231
Sim-I-Space : an agent-based modelling approach to knowledge management processes by Max Boisot and Ian MacMillan and Kyeong Seok Han and Casey Tan and Si Hyung Eun 247
On representing special languages with FLBC : message markers and reference fixing in SeaSpeak by Steven O. Kimbrough and Yinghui (Catherine) Yang 297
A note on modelling speech acts as signalling conventions by Andrew J. I. Jones and Steven Orla Kimbrough 325
Dynamic conversation structures : an extended example by Scott A. Moore 343
Investigating the value of information and computational capabilities by applying genetic programming to supply chain management by Scott A. Moore and Kurt Demaagd 363
Multi-agent simulation of financial markets by Olga Streltchenko and Yelena Yesha and Timothy Finin 393
Adaptive agents in coalition formation games by Alex K. Chavez 421
On learning negotiation strategies by artificial adaptive agents in environments of incomplete information by Jim R. Oliver 445
More...

Axess
Axess

Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 7808.04 TL
2 ay 4040.66 TL 8081.32 TL
3 ay 2745.83 TL 8237.48 TL
6 ay 1464.01 TL 8784.04 TL
9 ay 1041.07 TL 9369.65 TL
12 ay 842.62 TL 10111.41 TL

cardFinans
cardFinans

Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 7808.04 TL
2 ay 4040.66 TL 8081.32 TL
3 ay 2745.83 TL 8237.48 TL
6 ay 1464.01 TL 8784.04 TL
9 ay 1041.07 TL 9369.65 TL
12 ay 842.62 TL 10111.41 TL

Bonus
Bonus

Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 7808.04 TL
2 ay 4040.66 TL 8081.32 TL
3 ay 2745.83 TL 8237.48 TL
6 ay 1464.01 TL 8784.04 TL
9 ay 1041.07 TL 9369.65 TL
12 ay 842.62 TL 10111.41 TL

World
World

Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 7808.04 TL
2 ay 4040.66 TL 8081.32 TL
3 ay 2745.83 TL 8237.48 TL
6 ay 1464.01 TL 8784.04 TL
9 ay 1041.07 TL 9369.65 TL
12 ay 842.62 TL 10111.41 TL

Maximum
Maximum

Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 7808.04 TL
2 ay 4040.66 TL 8081.32 TL
3 ay 2745.83 TL 8237.48 TL
6 ay 1464.01 TL 8784.04 TL
9 ay 1041.07 TL 9369.65 TL
12 ay 842.62 TL 10111.41 TL

Paraf
Paraf

Taksit Taksit Tutarı Toplam Tutar
Tek çekim - 7808.04 TL
2 ay 4040.66 TL 8081.32 TL
3 ay 2745.83 TL 8237.48 TL
6 ay 1464.01 TL 8784.04 TL
9 ay 1041.07 TL 9369.65 TL
12 ay 842.62 TL 10111.41 TL

Kredi Kartı (Tek Çekim)
Kredi Kartı (Tek Çekim)

Taksit Taksit Tutar ı Toplam Tutar
Peşin - 7808.04 TL

Bonus, Maximum, Paraf, Cardfinans, Axess ve World özelliği olan tüm kartlar ile ödeme yapılabilir.