References

 [1]

Tomasz Janowski, Rumel V. Atienza, and Gustavo Lugo. Integrating Enterprise Models and Models for Marketing Analysis. Research Report 92, UNU/IIST, P.O.Box 3058, Macau, January 1997. 2nd IFIP Conference Design of Information Infrastructure Systems for Manufacturing, Denver, USA, May 1998. Chapman and Hall.
Abstract: We present an experiment in modelling and analysis of an application domain: competitive manufacturing. The result is a unique formal model which combines previously separate models for marketing (competition) and enterprises (coordination). In particular, we capture formally the marketing mix: product, price, place and promotion, and its effect on the sale of the enterprise. The model is built in stages: market without marketing, marketing without limits and marketing under limited resources. Analysis includes justifying abstraction, down to two enterprises competing for a single consumer.
postscript

 [2]

Tomasz Janowski, Gustavo Giménez Lugo, and Zheng Hongjun. Composing Enterprise Models: The Extended and The Virtual Enterprise. Technical Report 131, UNU/IIST, P.O.Box 3058, Macau, January 1998. 3rd IEEE/IFIP International Conference Information Technology For Balanced Automation Systems in Manufacturing, Prague, Czech Republic, August 1998, Chapman and Hall.
Abstract: This paper is a contribution to the semantic foundations of the emerging discipline of enterprise engineering. We study the composition of models of individual enterprises into the model which represents the behaviour of an extended or a virtual enterprise. The former corresponds intuitively to the union of models: all activities taking place within and between individual enterprises. The latter to intersection: coordinated and shared activities which utilise the resources of all participating enterprises. Modelling adopts a unifying business perspective upon a firm (a discrete parts manufacturer), its structure (available resources) and behaviour (activities which utilise resources). Model composition is based on formal semantics. The result is a precise technical meaning for an extended and a virtual enterprise, suitable for symbolic execution, reasoning and foremost - for understanding the difference between both concepts.
postscript

 [3]

Tomasz Janowski, Zheng Hongjun, and Gustavo Gimenez Lugo. Market-Driven Symbolic Execution of Models of Manufacturing Enterprises. Technical Report 137, UNU/IIST, P.O.Box 3058, Macau, March 1998. 2nd IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, December 1998. IEEE Computer Press.
Abstract: We apply formal description techniques to model, compose and give operational meaning to the class of reactive systems representing manufacturing enterprises. The enterprise is a discrete-parts manufacturer which pursues its business activities to best compete with other such entities, together comprising a market. It does so by means of resources and processes that execute concurrently on them, subject to internal (resource) and external (market) constraints. In some cases the enterprise is a consumer, in others a supplier of products. Some modelling techniques are familiar for reactive systems: shared-memory concurrency, resource-bound synchronous executions, priorities and scheduling, external and internal choice. Other are specific to this domain: undetermined (human) choice, transfer of products during one-to-one (one consumer, one supplier) synchronisation, marketing decisions and how they affect many-to-one (one consumer, many suppliers) synchronisation. It is a relatively new application of FDTs, as well as a contribution to the semantics of the emerging discipline of enterprise engineering.
postscript