Formal Modelling in Electronic Commerce

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kimbrough, Steven O. (Editor), Wu, D.J (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: International Handbooks on Information Systems
• Subjects: Business.; Information technology.; Business > Data processing.; Business and Management.; IT in Business.; Information Systems Applications (incl. Internet).

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...