Formal Engineering Methods, International Conference on (1998)
Dec. 9, 1998 to Dec. 11, 1998
We apply formal description techniques (FDT) to model, compose and give operational meaning to the class of reactive systems representing manufacturing enterprises. The enterprise pursues its activities by means of resources and processes that execute concurrently on the resources, subject to internal (resource) and external (market) constraints. Some modelling techniques are familiar for reactive systems, other are specific to this domain: modelling management decisions, product transfer during one-to-one (one supplier one consumer) synchronisation, marketing and many-to-one (many suppliers one consumer) synchronisation. The paper is a novel application of FDTs, also a contribution to the semantics of enterprise engineering.
Tomasz Janowski, Zheng Hongjun, Gustavo Gimenez Lugo, "Market-Driven Symbolic Execution of Models of Manufacturing Enterprises", Formal Engineering Methods, International Conference on, vol. 00, no. , pp. 100, 1998, doi:10.1109/ICFEM.1998.730574