The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
pp: 100
ABSTRACT
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.
INDEX TERMS
CITATION

G. G. Lugo, T. Janowski and Z. Hongjun, "Market-Driven Symbolic Execution of Models of Manufacturing Enterprises," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 100.
doi:10.1109/ICFEM.1998.730574
94 ms
(Ver 3.3 (11022016))