laws, and dependency laws; the other ones are specified textually. Regarding the transition space, the FM contains the production event kinds (results of transactions) as well as the applicable occurrence laws. The transition space of the production world is completely determined by the transition space of its coordination world. Yet it may be illustrative to show the implied occurrence laws in an OFD. The FM is represented in an Object Fact Diagram (OFD), possibly complemented by Derived Fact Specifications and Existence Law Specifications. Operation principle Somebody starts a communication with a request to ensure that someone else creates a desired result. The person responsible for the results, can respond with a promise, and, when work was done (the execution has taken place), can state that the desired result is achieved. If this result is accepted by the person who had asked for the result then this is a fact. The pattern described in the communication between two people is called a DEMO transaction. A chain of transactions is called in DEMO a business process. The result of a transaction can be specified in DEMO as a facttype, using object-role modeling ( ORM ). Support tools The Dutch company Essmod the "Essential Business Modeler" tool developed based on DEMO, which was acquired in 2008 by Mprise after which it renamed to Xemod. DEMO is also supported in the open source world with the architecture tool Open Modeling. There is also a free online modeling tool Model for World DEMO which can be in an online repository. Multiuser worked This tool is platform-independent in a web browser without downloading or installing software. See also Business process modeling Enterprise engineering Ontology (information science) Software engineering References Further reading Jan L.G. Dietz (1999). DEMO : towards a discipline of Organisation Engineering In: European Journal of Operational Research, 1999. Jan L.G. Dietz (2006). Enterprise Ontology - Theory and Methodology, Springer-Verlag Berlin Heidelberg. Mulder, J.B.F. (2006). Rapid Enterprise Design. PhD Thesis, Delft University of Technology. VIAgroep Rijswijk. Op 't Land, M. (2008). Applying Architecture and Ontology to the Splitting and Allying of Enterprises. PhD Thesis, Delft University of Technology. Oren, E. (2003). Van DEMO naar workflow management. Delft University of Technology. External links Enterprise Engineering Institute website Enterprise modelling