Skip to main content
SpringerLink
Log in

FMEC: Overview and Interpretation

  • Chapter
Formal Modelling in Electronic Commerce

Part of the book series: International Handbooks on Information Systems ((INFOSYS))

  • 519 Accesses

Abstract

This paper is an integrative essay on the activities and intellectual concerns of the FMEC community. The paper frames these concerns around three ‘non-standard’ formalisms (logic, graphs, and procedures), three themes or general problems (representation, inference, and learning), and seven more specific topics (electronic data interchange, electronic contracting, speech acts, special logics, system and process modelling, strategy formation, and computational discovery). In addition, the paper introduces each of the chapters in this book and places them within the general FMEC framework. An appendix to the paper records the bibliographic history of the FMEC community.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W.M.P. van der Aalst, Timed coloured Petri nets and their application to logistics, Ph.D. thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 1992.

    Google Scholar 

  2. Alan S. Abrahams and Jean M. Bacon, A software implementation of Kimbrough’s disquotation theory for representing and enforcing electronic commerce contracts, Group Decision and Negotiation 11 (2002), no. 6, 487–524.

    Article  ISI  Google Scholar 

  3. Alan S. Abrahams, Developing and executing electronic commerce applications with occurrences, Ph.D. thesis, University of Cambridge Computer Laboratory, 2002.

    Google Scholar 

  4. K. A. Andersen and J. N. Hooker, Bayesian logic, Decision Support Systems 11 (1994), no. 2, 191–210.

    Article  ISI  Google Scholar 

  5. Hemant K. Bhargava, Vidyanand Choudhary, and Ramayya Krishnan, Pricing and product design: Intermediary strategies in an electronic market, International Journal of Electronic Commerce 5 (2000), no. 1, 37–56.

    ISI  Google Scholar 

  6. Roger W.H. Bons, Frank Dignum, Ronald M. Lee, and Yao-Hua Tan, A formal analysis of auditing principles for electronic trade procedures, International Journal of Electronic Commerce 5 (2000), no. 1, 57–82.

    ISI  Google Scholar 

  7. Hemant Kumar Bhargava, A logic model for model management: An embedded languages approach, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 1990, Available as a technical report from the Department of Operations and Information Management.

    Google Scholar 

  8. Michael Bieber and ThomĂ¡s Isakowitz, Text editing and beyond: A study in logic modeling, Decision Support Systems 11 (1994), no. 2, 219–240.

    Article  ISI  Google Scholar 

  9. Hemant K. Bhargava, Ramayya Krishnan, and Rudolf MĂ¼ller, Electronic commerce in decision technologies: A business cycle analysis, International Journal of Electronic Commerce 1 (1997), no. 4, 109–128.

    Google Scholar 

  10. Marvin Belzer and Barry Loewer, A conditional logic for defeasible beliefs, Decision Support Systems 4 (1988), no. 1, 129–142.

    Article  Google Scholar 

  11. Robert W. Blanning, The sensitivity properties of hierarchical logic-based models, Decision Support Systems 6 (1990), no. 2, 89–97.

    Article  Google Scholar 

  12. —, A relational algebra for propositional logic, Decision Support Systems 11 (1994), no. 2, 211–218.

    Article  ISI  Google Scholar 

  13. Roger W.H. Bons, Designing trustworthy trade procedures for open electronic commerce, Ph.D. thesis, EURIDIS at Erasmus University, Rotterdam, The Netherlands, September 1997.

    Google Scholar 

  14. Robert L. Causey, EVID: A system for interactive defeasible reasoning, Decision Support Systems 11 (1994), no. 2, 103–131.

    Article  ISI  Google Scholar 

  15. K. T. Chen, Schematic evaluation of internal accounting control systems, Ph.D. thesis, University of Texas at Austin, Austin, Texas, 1992.

    Google Scholar 

  16. Ivo Cathomen and Stefan Klein, The development of FEDI in Switzerland: A life-cycle approach, International Journal of Electronic Commerce 1 (1997), no. 4, 129–145.

    Google Scholar 

  17. Michael A. Covington, On designing a language for electronic commerce, International Journal of Electronic Commerce 1 (1997), no. 4, 31–48.

    Google Scholar 

  18. —, Speech acts, electronic commerce, and KQML, Decision Support Systems 22 (1998), no. 3, 203–211.

    Article  ISI  Google Scholar 

  19. Aspassia Daskalopulu, Logic-based tools for the analysis and representation of legal contracts, Ph.D. thesis, Department of Computing, Imperial College, University of London, 1999.

    Google Scholar 

  20. Aspassia Daskalopulu, Theo Dimitrakos, and Tom Maibaum, Evidence-based electronic contract performance monitoring, Group Decision and Negotiation 11 (2002), no. 6, 469–485.

    Article  ISI  Google Scholar 

  21. S. D. Dewitz, Contracting on a performative network: Using information technology as a legal intermediary, Ph.D. thesis, University of Texas at Austin, Austin, TX, 1992.

    Google Scholar 

  22. Frank Dignum and Ruurd Kuiper, Specifying deadlines with continuous time using deontic and temporal logic, International Journal of Electronic Commerce 3 (1998-99), no. 2, 67–86.

    Google Scholar 

  23. Sandra K. Dewitz, Young Ryu, and Ronald M. Lee, Defeasible reasoning in law, Decision Support Systems 11 (1994), no. 2 133–155, Typographical error in publication. The first author is Sandra D. Dewitz.

    Article  ISI  Google Scholar 

  24. Aspassia Daskalopulu and Marek Sergot, Computational aspects of the FLBC framework, Decision Support Systems 33 (2002), no. 3, 267–290.

    Article  ISI  Google Scholar 

  25. Christina Fang, Strategy as valuation, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 2003.

    Google Scholar 

  26. [FKP+02]_Christina Fang, Steven O. Kimbrough, Stefano Pace, Annapurna Valluri, and Zhiqiang Zheng, On adaptive emergence of trust behavior in the game of stag hunt, Group Decision and Negotiation 11 (November 2002), no. 6, 449–467.

    Article  ISI  Google Scholar 

  27. Georg Geyer, Christoph Kuhn, and Beat Schmid, Designing a market for quantitative knowledge, International Journal of Electronic Commerce 1 (1997), no. 4, 89–108.

    Google Scholar 

  28. P. Geerts, D. Vermeir, and D. Nute, Ordered logic: Defeasible reasoning for multiple agents, Decision Support Systems 11 (1994), no. 2, 157–190.

    Article  ISI  Google Scholar 

  29. Henning Herrestad, Formal theories of rights, Ph.D. thesis, University of Oslo, Oslo, Norway, 1996, Available as ISBN 82-7833-015-0, Karnovs Forlag, publisher.

    Google Scholar 

  30. Gary H. Hua and Steven O. Kimbrough, On hypermedia-based argumentation decision support systems, Decision Support Systems 22 (1998), no. 3, 259–275.

    Article  ISI  Google Scholar 

  31. J. N. Hooker, A quantitative approach to logical inference, Decision Support Systems 4 (1988), no. 1, 45–69.

    Article  Google Scholar 

  32. Hua Hua, Theory and applications of argumentation support systems, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 1995, Available as a technical report from the Department of Operations and Information Management.

    Google Scholar 

  33. Robert G. Jeroslow, Spatial imbedding for linear and for logic structures, Decision Support Systems 4 (1988), no. 1, 71–86.

    Article  Google Scholar 

  34. Andrew J.I. Jones, On the concept of trust, Decision Support Systems 33 (2002), no. 3, 225–232.

    Article  ISI  Google Scholar 

  35. Steven O. Kimbrough and Fred Adams, Why nonmonotonic logic?, Decision Support Systems 4 (1988), 111–127.

    Article  Google Scholar 

  36. Steven O. Kimbrough, Formal language for business communication: Sketch of a basic theory, International Journal of Electronic Commerce 3 (Winter 1998-99), no. 2, 23–44.

    Google Scholar 

  37. —, The concepts of fitness and selection in evolutionary biology, Journal of Social and Biological Structures 3 (1980), 149–170.

    Article  ISI  Google Scholar 

  38. —, On representation schemes for promising electronically, Decision Support Systems 6 (1990), no. 2, 99–121.

    Article  Google Scholar 

  39. —, Computational modeling and explanation: Opportunities for the information and management sciences, Computational Modeling and Problem Solving in the Networked World: Interfaces in Computing and Optimization (Hemant K. Bhargava and Nong Ye, eds.), Operations Research/Computer Science Interfaces Series, Kluwer, Boston, MA, 2003, pp. 31–57.

    Google Scholar 

  40. Steven O. Kimbrough and Ronald M. Lee, Logic modeling: A tool for management science, Decision Support Systems 4 (1988), no. 1, 3–16.

    Article  Google Scholar 

  41. —, Formal aspects of electronic commerce: Research issues and challenges, International Journal of Electronic Commerce 1 (1997), no. 4, 11–30.

    Google Scholar 

  42. Steven O. Kimbrough and Scott A. Moore, On obligation, time, and defeasibility in systems for electronic commerce, Proceedings of the Twenty-Sixth Annual Hawaii International Conference on System Sciences, Volume III, Information Systems: DSS/Knowledge-Based Systems (Los Alamitos, California) (Jay F. Nunamaker, Jr. and Ralph H. Sprague, Jr., eds.), IEEE Computer Society Press, 1993, pp. 493–502.

    Google Scholar 

  43. Gary Kleinman, Dan Palmon, and Picheng Lee, The effects of personal and group level factors on the outcomes of simulated auditor and client teams, Group Decision and Negotiation 11 (2003), no. 1, 57–84.

    Article  Google Scholar 

  44. Ramayya Krishnan, A logic modeling language for automated model construction, Decision Support Systems 6 (1990), no. 2, 123–152.

    Article  Google Scholar 

  45. Cristen Krogh, Normative structures in natural and artificial systems, Ph.D. thesis, University of Oslo, Oslo, Norway, 1997, Available at http://www.uio.no/∼krogh/documents/papers/complex97.ps.

    Google Scholar 

  46. Steven O. Kimbrough and Yao-Hua Tan, On lean messaging with unfolding and unwrapping for electronic commerce, International Journal of Electronic Commerce 5 (2000), no. 1, 83–108.

    ISI  Google Scholar 

  47. Steven O. Kimbrough, D. J. Wu, and Fang Zhong, Computers play the beer game: Can artificial agents manage supply chains?, Decision Support Systems 33 (2002), no. 3, 323–333.

    Article  ISI  Google Scholar 

  48. Ronald M. Lee, CANDID: a logical calculus for describing financial contracts, Ph.D. thesis, The Wharton School, University of Pennsylvania, Philadelphia, PA, 1980, Available as WP-80-06-02, Department of Operations and Information Management (née Decision Sciences).

    Google Scholar 

  49. —, A logic model for electronic contracting, Decision Support Systems 4 (1988), no. 1, 27–44.

    Google Scholar 

  50. —, Distributed electronic trade scenarios: Representation, design, prototyping, International Journal of Electronic Commerce 3 (1999), no. 2, 105–136.

    Google Scholar 

  51. —, Automated generation of electronic procedures: Procedure constraint grammars, Decision Support Systems 33 (2002), no. 3, 291–308.

    Google Scholar 

  52. Alessio R. Lomuscio, Information sharing among ideal agents, Ph.D. thesis, School of Computer Science, University of Birmingham, Birmingham, UK, February 1999.

    Google Scholar 

  53. Markus A. Lindemann and Beat F. Schmid, Framework for specifying, building, and operating electronic markets, International Journal of Electronic Commerce 3 (1998-99), no. 2, 7–22.

    Google Scholar 

  54. Alessio R. Lomuscio, Michael Wooldridge, and Nicholas R. Jennings, A classification scheme for negotiation in electronic commerce, Group Decision and Negotiation 11 (2003), no. 1, 31–56.

    Article  Google Scholar 

  55. Scott A. Moore, Saying and doing: Uses of formal languages in the conduct of business, Ph.D. thesis, University of Pennsylvania, The Wharton School, Philadelphia, PA, 19104, USA, December 1993.

    Google Scholar 

  56. —, Categorizing automated messages, Decision Support Systems 22 (1998), no. 3, 213–241.

    Google Scholar 

  57. —, KQML and FLBC: Contrasting agent communication languages, International Journal of Electronic Commerce 5 (2000), no. 1, 109–124.

    Google Scholar 

  58. Donald Nute and Katrin Erk, Defeasible logic graphs: I. theory, Decision Support Systems 22 (1998), no. 3, 277–293.

    Article  ISI  Google Scholar 

  59. Donald Nute, Zachary Hunter, and Christopher Henderson, Defeasible logic graphs: II. implementation, Decision Support Systems 22 (1998), no. 3, 295–306.

    Article  ISI  Google Scholar 

  60. Donald Nute, Robert I. Mann, and Betty F. Brewer, Controlling expert system recommendations with defeasible logic, Decision Support Systems 6 (1990), no. 2, 153–164.

    Article  Google Scholar 

  61. Donald Nute, Defeasible reasoning and decision support systems, Decision Support Systems 4 (1988), no. 1, 97–110.

    Article  ADS  Google Scholar 

  62. Jim R. Oliver, On artificial agents for negotiation in electronic commerce, Ph.D. thesis, University of Pennsylvania, The Wharton School, Department of Operations and Information Management, Philadelphia, PA, April 1996.

    Google Scholar 

  63. —, Artificial agents learn policies for multi-issue negotiation, International Journal of Electronic Commerce 1 (1997), no. 4, 49–88.

    Google Scholar 

  64. Kay Liang Ong, A formal model for maintaining consistency of evolving bureaucratic policies: A logical and abductive approach, Ph.D. thesis, University of Texas at Austin, Austin, TX, 1992.

    Google Scholar 

  65. Balaji Padmanabhan and Alexander Tuzhilin, Knowledge refinement based on the discovery of unexpected patterns in data mining, Decision Support Systems 33 (2002), no. 3, 309–321.

    Article  ISI  Google Scholar 

  66. Stephen F. Roehrig, Probabilistic and defeasible reasoning using extended path analysis, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, 1992, Available as a technical report from the Department of Operations and Information Management.

    Google Scholar 

  67. Young U. Ryu, A formal representation of normative systems: A defeasible deontic reasoning approach, Ph.D. thesis, University of Texas at Austin, Austin, TX, 1992.

    Google Scholar 

  68. —, A logic-based modeling of resource consumption and production, Decision Support Systems 22 (1998), no. 3, 243–257.

    Google Scholar 

  69. Peter C. Scott, Requirements analysis assisted by logic modeling, Decision Support Systems 4 (1988), no. 1, 17–25.

    Article  MATH  Google Scholar 

  70. Shimon Schocken and Tim Finin, Meta-interpreters for rule-based inference under uncertainty, Decision Support Systems 6 (1990), no. 2, 165–181.

    Article  Google Scholar 

  71. Yao-Hua Tan and Walter Thoen, A logical model of directed obligations and permissions to support electronic contracting, International Journal of Electronic Commerce 3 (1998-99), no. 2, 87–104.

    Google Scholar 

  72. —, Formal aspects of a generic model of trust for electronic commerce, Decision Support Systems 33 (2002), no. 3, 233–246.

    Article  ISI  Google Scholar 

  73. Victor Emil van Reijswoud, The structure of business communication: Theory, model and application, Ph.D. thesis, Technische Universiteit Delft, Delft, The Netherlands, June 1996, ISBN: 90-9009439-3. Address: Victor E. van Reijswoud, Juffrouw Idastraat 1, 2513 BE Den Haag, The Netherlands.

    Google Scholar 

  74. George R. Widmeyer, Logic modeling with partially ordered preferences, Decision Support Systems 4 (1988), no. 1, 87–95.

    Article  Google Scholar 

  75. —, Reasoning with preferences and values, Decision Support Systems 6 (1990), no. 2, 183–191.

    Article  Google Scholar 

  76. Hung Wing, Managing complex, open, web-deployable trade objects, Ph.D. thesis, University of Queensland, Department of Computer Science and Electrical Engineering, The University of Queensland, Brisbane Qld 4072, Australia, December 1997.

    Google Scholar 

  77. D. J. Wu and Yanjun Sun, Cooperation in multi-agent bidding, Decision Support Systems 33 (2002), no. 3, 335–347.

    Article  ISI  MathSciNet  Google Scholar 

  78. Hans Weigand, Mareike Schoop, Aldo de Moor, and Frank Dignum, B2b negotiation support: The need for a communication perspective, Group Decision and Negotiation 11 (2003), no. 1, 3–29.

    Article  Google Scholar 

  79. D. J. Wu, Using genetic algorithms to determine near-optimal pricing, investment and operating strategies in the electric power industry, Ph.D. thesis, University of Pennsylvania, Philadelphia, PA, USA, 1997.

    Google Scholar 

  80. —, Artificial agents for discovering business strategies for network industries, International Journal of Electronic Commerce 5 (2000), no. 1, 9–36.

    Google Scholar 

  81. Hans Weigand and Willem-Jan van den Heuvel, Meta-patterns for electronic commerce transactions based on the formal langauge for business communication (FLBC), International Journal of Electronic Commerce 3 (1998-99), no. 2, 45–66.

    Google Scholar 

  82. —, Cross-organizational workflow integration using contracts, Decision Support Systems 33 (2002), no. 3, 247–265.

    Article  ISI  Google Scholar 

  83. Fang Zhong, Steven O. Kimbrough, and D. J. Wu, Cooperative agent systems: Artificial agents play the ultimatum game, Journal of Group Decision and Negotiation 11 (November 2002), no. 6, 433–447.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Pennsylvania, Philadelphia, PA, USA

    Steven O. Kimbrough

  2. Georgia Institute of Technology, Atlanta, GA, USA

    D.J. Wu

Authors
  1. Steven O. Kimbrough
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D.J. Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Operations & Information Management, University of Pennsylvania, 565 Jon M. Huntsman Hall 3730 Walnut Street, Philadelphia, PA, 19104-6340, USA

    Steven O. Kimbrough

  2. College of Management, Georgia Institute of Technology, 800 West Peachtree Street, NW, Atlanta, GA, 30332-0520, USA

    D.J. Wu

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kimbrough, S.O., Wu, D. (2005). FMEC: Overview and Interpretation. In: Kimbrough, S.O., Wu, D. (eds) Formal Modelling in Electronic Commerce. International Handbooks on Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-26989-4_1

Download citation

Publish with us

Policies and ethics

Search

Navigation