<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Contract Modeling Utilizing DEMO Co-creation Co- production Model</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Frantisek Hunka</string-name>
          <email>frantisek.hunka@osu.cz</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Steven J.H. van Kervel</string-name>
          <email>steven.van.kervel@formetis.nl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Introduction - REA Model</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Formetis Consultants BV</institution>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>University of Ostrava</institution>
          ,
          <addr-line>Dvorakova 7, 701 03 Ostrava 1</addr-line>
          ,
          <country country="CZ">Czech Republic</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>DEMO (Design Engineering Methodology for Organization) has its foundation in DEMO Enterprise Ontology (DEO) and provides a strong theoretical foundation for business process modeling with truthful state machine with well-defined states and state transitions. The DEMO co-creation and co-production model, which is in some way an extension of the DEMO generic pattern, enables to capture not only production facts but also semantically related coordination facts. This ability empowers this model to express complex entities such as a contract not only in a descriptive way but in a prescriptive way with precisely defined states and state transitions. The paper deals with possibilities of the DEMO co-creation co-production model to capture contract and its truthful states.</p>
      </abstract>
      <kwd-group>
        <kwd>DEMO</kwd>
        <kwd>CC-CP model</kwd>
        <kwd>REA ontology</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>common features of these phases will be discussed in the contract modeling section.
The REA exchange process including a contract entity is illustrated in Fig. 1. The
REA model is composed of two different kinds of transactions (decrement/
increment) in which one kind of transactions is in consideration of the other kind of
transactions. The contract itself is related to these different kinds of transactions
through the clause and party relationships.</p>
      <p>«party»</p>
      <p>Contract
«clause»
«clause»
«inflow
reservation»</p>
      <p>Increment</p>
      <p>Commitment
«committed value
receive»</p>
      <p>1..*
«fulfilment»
1..*
1..* «exchange 1..*</p>
      <p>reciprocity»
«committed
provide»</p>
      <p>Decrement</p>
      <p>Commitment
value
1..* 1..*
«party»
«committed
receive»
«receive»
«outflow
reservation»
Economic Agent
«receive»
«provide»</p>
      <p>1..*
Increment Event
value
«inflow»</p>
      <p>1..*
Economic
resource
«committed
provide»
«fulfilment»</p>
      <p>Economic Agent
1..*</p>
      <p>1..*
«exchange
duality»
1
Claim</p>
      <p>1
value to decrement
1 value to decrement 1
value to increment
value to increment</p>
      <p>1..*
Decrement Event
value
1..* «outflow»
«provide»
Economic
Resource</p>
      <p>The different kinds of transactions are related to each other by the duality and the
reciprocity relationships. The claim entity is a temporary entity that helps to balance
time discrepancies between different kinds of transactions. Transactions may not be
performed at the same time which calls for this temporary entity.</p>
      <p>The whole REA model provides descriptive knowledge about the enterprise with
the focus on production actions (production facts) brought about by economic events.
</p>
    </sec>
    <sec id="sec-2">
      <title>The DEMO Methodology - Main Features</title>
      <p>
        DEMO is an engineering methodology to derive conceptual models of enterprises,
based on an ontological theory, DEMO enterprise ontology (DEO) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. According to
DEMO (Design &amp; Engineering Methodology for Organizations) methodology [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], an
organization is composed of people (social individuals) that perform two kinds of
acts, production acts and coordination acts. The result of successfully performing a
production act is a production fact. An example of a production fact may be that the
payment has been paid and accepted, or the offered service has been accepted. All
realization-specific details are fully abstracted out. Only the acts and facts as such are
relevant, not how they are achieved. The result of successfully performing a
communication act is a communication fact. Examples of coordination acts are
requesting and promising a production fact, which essentially constitutes a mutually
binding contract. The subsequent communication acts and facts "state" and "accept"
of the production constitute the fulfilment of that contract, agreed by both actors.
      </p>
      <p>A fact is a proposition that can be either false or true, to be validated by empirical
observation. A fact may encompass a single object, or may encompass more objects.
Depending on the number of objects that are involved in a fact, we speak of unary,
binary, ternary, etc., facts. An example of unary fact is that Vendor is a Person.
Another example of binary fact is that a Customer receives a Pizza.</p>
      <p>In DEMO modeling enterprises are represented by discrete deterministic systems
that may exist in a set of precisely defined allowed states. For each state there is a set
of allowed transitions to another state, the so-called state transition space. All other
state transitions are forbidden and cannot occur. In general, a state is determined by
the set of facts that exist at that moment. A state change or state transition consists of
one or more facts starting or ending to exist. The occurrence of a transition at some
moment is called an event.</p>
      <p>Events are widely defined as "things that happen in the real world", and that cause
some effects. In DEMO there exist only i) communication facts, that are brought
about by actor’s communication, following the transaction pattern; ii) production
facts that describe the production of a specific actor; and iii) facts, that are caused by
acts in the real world that may become true or false. Example i): the pizza has been
requested by the customer and promised by the pizza baker, a contract has come into
existence. Example ii): the production fact of the pizza baker is a pizza margarita.
Example iii): the exchange rate between the US dollar and the EURO is 1.234. By
empirical observation of the real world this fact is either true or false.</p>
      <p>
        In order to truly capture the relation between two different kinds of transactions
(the case of the REA model) the DEO was extended by the FAR (Fact, Agenda, Rule)
ontology. In the FAR ontology [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] is specified that a fact is a proposition that may
have a logic relation with other facts in a recursive way. A fact is a proposition that
may have three values; true | false | undefined. The value of “undefined” reflects the
situation that for some unknown reason factual information is not available. In the
FAR ontology [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] there exist four kinds of facts:
1. Communicative facts; as defined by the DEMO transaction axiom.
2. Infologic and datalogic production facts. An example is the text of the contract of
the CC-CP model. It is precisely the ‘ text only’, without any actor commitments.
3. Facts about the world of phenomena not captured by the DEMO ontology, the
kinds 1 and 2. Example: the exchange rate dollar – euro = 0.85. The value of this
proposition can be true | false | undefined.
4. Any logic aggregated facts, or dependent facts, composed of logic relations ( AND
| OR | NOT relations ) of other facts. Evaluation laws for the three-state logic.
The diagram in Fig.2 shows the standard pattern of the DEMO transaction axiom,
which is a hypothesis about phenomena in the real world. It assumes that any
transaction in the real world follows this pattern. It contains interrelated acts and facts
and the transaction is in one of the allowed discrete states. The partition of the
Initiator contains the coordination acts and the decisions, represented by diamonds in
the diagram. The partition of the executor contains the corresponding coordination
acts, the decisions and the production act and production fact. The production act and
the production fact, depicted in grey color, are performed by the Executor. The
coordination facts are situated in the middle of the figure as states in bold format. The
complete transaction pattern can be extended by revokes of communication acts, since
these patterns are also observed in the real world.
      </p>
      <p>
        DEMO modeling has a good body of empirical appropriateness for many different
areas of enterprise modeling in the professional world [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]; "it works well for many
areas and many projects in real life".

      </p>
    </sec>
    <sec id="sec-3">
      <title>DEMO Co-creation and Co-production Model</title>
      <p>Many highly specialized enterprises do not have a well-defined portfolio of products
with fixed prices but offer their capabilities to meet the specific requirements of their
Principals. We define as follows here: co-creation captures the principal and the
contractor(s) working together on the engineering of an acceptable artifact;
coproduction captures the shared production of the engineering artifact by both principal
and contractor(s), including matching financial transactions.</p>
      <p>
        The proposed CC-CP Construction Model is shown in Fig. 3, with two compound
actors, Principal and Contractor [
        <xref ref-type="bibr" rid="ref3 ref4">3, 4</xref>
        ]. The Principal needs products from the
Contractor of which the specifications and price are not yet well-defined. There are
three different phases of this model.
      </p>
      <sec id="sec-3-1">
        <title>The Co-Creation Phase</title>
        <p>Transaction T-1 represents a production fact the definition of what the production to
be delivered by the Contractor must be. Typically production specifications with
quality criteria, materials used, testing procedures to be followed. Usually this
transaction can capsulate other transactions for engineering, product development etc.
If T-1 is Stated and Accepted then there is a shared agreement, without any
ambiguity, between Principal and Contractor about what the co-production must be.</p>
        <p>Transaction T-2 represents as production fact the definition of the price, including
specific payment terms and conditions, etc. precisely applied to the production
defined by the transaction result of T-1. T-2.Accepted means that the two actors agree
that there is a well-defined price for the production. However, price negotiations may
occur here; a T-2.Stated is a quotation that can be accepted or rejected. One option is
that there is no agreement, for example the production in this way is too expensive.
This is a common situation, leading to the possibility to revoke T-1.Accepted and
T-1.Stated and redesign the production in T-1 via a renewed T1.Request and
T-1.Promise.</p>
      </sec>
      <sec id="sec-3-2">
        <title>The Contract Phase</title>
        <p>This phase represents the situation that there is a well-defined but yet unsigned
contract on the table. It is important to realize that a contract is not the delivery of
goods/services itself, a contract is a binding commitment to deliver
goods/services/payments in both directions, depending on certain defined conditions.
The two signatures on the contract are represented by T-3.Promised and
T4.Promised. The act “Promise”, done after a “Request”, is the act of signing a
contract. The resulting fact “Promised” is the factual existence of that signature,
resulting in contract commitments and obligations. There are two parties involved in
signing a contract, so both must perform the act “Promise” for their part of the
contract. Transaction T-3 represents the commitment, an obligation that the
production has to be delivered by the Contractor, executor, to the Principal, initiator.
This obligation is not identical to the actual delivery of productions.</p>
        <p>At some moment one of the actors – contract parties – may claim that his/her part
of the contract obligations has been fulfilled, and communicates the communication
act “State”. The other party may communicate the communication act “Accept”,
which represents a shared agreement that the contract obligations have been fulfilled.
The alternative is a communication act “Reject”, which represents a dispute, the
contract has not (yet) been fulfilled.</p>
        <p>Similarly, transaction T-4 represents the obligation to pay the price to be paid by
the Principal, executor, to the Contractor, initiator. Contract disputes are very
common and may involve either the payment, or the production or both. Parties may
reach agreement that the contract has been fulfilled partially, only correct payment of
the price (T4.Accepted) or correct delivery of the production (T-3.Accepted).</p>
      </sec>
      <sec id="sec-3-3">
        <title>The Co-Production Phase</title>
        <p>The actual co-production is captured by one or more instances of T-5 and T-6
transactions, representing one or more delivered productions and payments. Since the
Contractor signed the contract, he has the obligation to issue T-5.Promise for multiple
deliveries of productions, as long as the T-5.Request fits within the contract. The
coproduction phase encompasses also multiple payments, instances of T-6. Often an
instance of T-6 is directly related to an instance of T5, as stipulated in the contract.
The co-production phase ends when the Principal and the Contractor have fulfilled
their obligations defined in T-3 and T-4. The fulfilment of the obligation of
ProductionAgreement by instances of T-5 will result in T-3 being Stated and
Accepted. Similarly, the fulfilment of the obligation of PriceAgreement delivered by
instances of T-6 will result in T-4 being Stated and Accepted. The contract has been
fulfilled by both parties.
</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Contract Modeling</title>
      <p>The DEMO CC-CP model enables to explicit distinguish between different kinds
of contract’s phases. The most important is the distinction between a contract in
which production and price were defined but not yet signed (co-creation phase) and
signed contract (contract phase). From the REA point of view, this distinction enables
to distinguish between a resource entity (represented by an unsigned contract) and an
information entity (represented by a binding contract). A contract, which is prepared
to be signed (the result of co-creation phase) in a REA terminology represents a
resource entity with all its attributes. The contract, which was signed becomes an
information entity which ‘controls’ others subordinated entities such as commitments.</p>
      <p>The whole model is expressed in six principal DEMO transactions. Coordination
facts, production facts, and aggregated facts enable to precisely describe all contract
states. T-3 and T-4 DEMO transactions play a crucial role in this model because they
capture the states of the contract. The aggregated coordination fact T-3.Promise and
T-4.Promise represent the two events in which the contract is signed and becomes
mutually binding. Finally, the aggregated coordination facts T-3.Accept and
T4.Accept stand for the fulfilment of the contract.</p>
      <p>The co-production phase represents a phase in which all details about
ProductionAgreement and PriceAgreement are carried out in the forms of
ProductionDeliveries (instances of T-5) and Payments (instances of T-6). The
asynchronous execution of DEMO transactions eliminates any need for temporary
claim entities.</p>
      <p>In addition, the DEMO CC-CP Action Model enables to define rules that define the
sequence of transaction execution – business rules. For example, a common situation
such as: “pay first, then receive the goods” can be modeled and executed in
production. It is in production impossible to receive goods before payments have been
made. Much more detailed rules can be devised to capture any imaginable business
model and matching contract.</p>
      <p>The DEMO CC-CP model, as described earlier, distinguishes three phases for
contract modeling whereas the ISO Open-edi Phases of a Business Process standard,
utilized in REA business process modeling, defines five phases. This standard
distinguishes between the following phases: Planning, Identification, Negotiation,
Actualization and Post-Actualization. When semantic comparison between the ISO
standard and the DEMO CC-CP model is performed the following results are
received. The co-creation phase of the DEMO CC-CP model is an equivalent to the
Planning phase, Identification phase and the Negotiation phase of the ISO standard.
The contract phase and the co-creation phase of the DEMO CC-CP model can be
compared to the Actualization phase of the ISO standard. The DEMO CC-CP model
currently does not deal with the Post-Actualization phase of the OSI standard.
Involving the Post-Actualization phase of the OSI standard into the DEMO CC-CP
model would necessitate precise formal description of this phase and this will be one
of the aims of the future research.
</p>
    </sec>
    <sec id="sec-5">
      <title>Discussion and Conclusion</title>
      <p>The paper describes and explains the principal characteristic and capabilities of the
DEMO CC-CP model. The significant feature of the model is that it not only provides
prescriptive control of the process execution but it also delivers descriptive
knowledge (facts) about the modeling domain. In addition, all these facts (production,
coordination) capture the modeling reality with good empirical evidence. These
capabilities can be further utilized in construction of the REA model on the basis of
the DEMO CC-CP model delivered facts. In this way, the REA model could obtain
precise and complete data representation including information and business events.
Delivered facts (factual knowledge) cover events such as: an invoice payment was
requested; an invoice payment was declined (due to some discrepancies); an invoice
payment was accepted. These facts represent coordination facts that constitute the
DEMO complete transaction pattern and the facts declared in the FAR ontology. This
approach would increase considerably REA modeling capabilities because it could
utilize precise, consistent and coherent DEMO ‘infrastructure’. However, complete
validation has to be done.</p>
      <p>In terms of the contract entity itself, the DEMO CC-CP model provides clear and
explicit distinction between contract’s phases in the form of states ad state transitions
which are in compliance with modeling reality.</p>
      <p>When comparing the contract phases of the DEMO CC-CP model with the phases of
the OSI standard it can be concluded that there is mutual compatibility apart from the
Post-Actualization phase which has not been yet included into the DEMO CC-CP
model. This is the task for the future research.</p>
      <p>The DEMO CC-CP model is suitable for execution by a software state machine for
production and has been subjected to early software validation.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Dietz</surname>
            ,
            <given-names>I.L. J.</given-names>
          </string-name>
          (
          <year>2006</year>
          )
          <article-title>Enterprise Ontology Theory</article-title>
          and Methodology. Springer-Verlang Berlin Heidelberg
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Hruby</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          (
          <year>2006</year>
          )
          <article-title>Model-Driven Design Using Business Patterns</article-title>
          . Springer-Verlag Berlin Heidelberg
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Hunka</surname>
          </string-name>
          , F.,
          <string-name>
            <surname>van Kervel</surname>
            ,
            <given-names>S.J.H.</given-names>
          </string-name>
          :
          <article-title>The REA Model Expressed in a Generic DEMO Model for Co-Creation and Co-Production</article-title>
          . In: Pergl R.,
          <string-name>
            <surname>Lekkerkerk</surname>
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Aveiro</surname>
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Guizzardi</surname>
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Almeida</surname>
            <given-names>J.P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Magalhaes</surname>
            <given-names>R</given-names>
          </string-name>
          . (eds.)
          <source>EEWC</source>
          <year>2017</year>
          ,
          <article-title>LNBIP</article-title>
          , vol.
          <volume>284</volume>
          , pp.
          <fpage>151</fpage>
          -
          <lpage>165</lpage>
          . Springer, Heidelberg (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4. van Kervel,
          <string-name>
            <surname>S. J. H. van</surname>
          </string-name>
          (
          <year>2012</year>
          ).
          <source>Ontology driven Enterprise Information Systems Engineering. (Doctoral dissertation) SIKS Dissertation series nr</source>
          .
          <year>2012</year>
          -50 Delft University of Technology.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5. van Kervel,
          <string-name>
            <surname>S. J.H. van</surname>
          </string-name>
          , Dietz,
          <string-name>
            <given-names>J.L.G.</given-names>
            ,
            <surname>Hintzen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Meeuwen</surname>
          </string-name>
          , T. van, Zijijlstra,
          <string-name>
            <surname>B.</surname>
          </string-name>
          (
          <year>2012</year>
          )
          <article-title>Enterprise Ontology driven Software Engineering</article-title>
          .
          <source>Proceedings of ICsoft 2012 - 7th International Conference on Software Paradigm Trends. SciTePress</source>
          . (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Skotnica</surname>
          </string-name>
          , M.,
          <string-name>
            <surname>van Kervel</surname>
            ,
            <given-names>S.J.H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pergl</surname>
          </string-name>
          , R.:
          <article-title>Ontological Foundation for the Software Executable DEMO Action and Fact Models</article-title>
          . In: Aveiro,
          <string-name>
            <given-names>D.</given-names>
            ,
            <surname>Pergl</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            ,
            <surname>Gouveia</surname>
          </string-name>
          ,
          <string-name>
            <surname>D</surname>
          </string-name>
          . (eds.)
          <source>EEWC</source>
          <year>2016</year>
          ,
          <article-title>LNBIP</article-title>
          , vol.
          <volume>252</volume>
          , pp.
          <fpage>151</fpage>
          -
          <lpage>165</lpage>
          . Springer, Heidelberg (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>