Abstract
Formalisms are a tool commonly used in many engineering areas and, as expected, are also being used on virtual enterprises research. However the use of formalisms is not enough to ensure correctness and ambiguities absence on the developed projects. Only with a background formal theory is possible to achieve that goal. This paper presents a formal theory of the structural aspect of virtual enterprises according to the BM_Virtual Enterprise Architecture Reference Model (BM_VEARM) developed at University of Minho — Portugal. The theory is generated and represented by an attributed context-free formal grammar accepting some pre-requisites as input and producing as output canonical structures of virtual enterprises compliant to those pre-requisites. The formal theory of BM_VEARM virtual enterprises structures is in fact the formal language generated by the defined grammar.
Chapter PDF
Similar content being viewed by others
6. References
Chomsky, N. (1959). “On Certain Properties of Grammars.” Information and control 2: 137–167.
Denning, P. J., Dennis, J. B. and Qualitz, J. E. (1978). Machines, Languages and Computation, Prentice-Hall, Inc.
Ebbinghaus, H. D., Flum, J. and Thomas, W. (1996). Mathematical Logic, Springer.
Hopcroft, J. E. and Ullman, J. D. (1979). Introduction to Automata Theory, Languages and Computation, Addison-Wesley Publishing Company.
Keisler, H. J. (1996) Mathematical Logic and Computability, McGraw-Hill International Editions.
Knuth, D. E. (1968). “Semantics of Context-free Languages.” Mathematical Systems Theory 2: 127–145.
Lewis, H. R. and Papadimitriou, C. H. (1981). Elements of the Theory of Computation, Prentice-Hall International Editions.
Mendelson, E. (1987). Introduction to Mathematical Logic, Chapman & Hall.
Mesarovic, M. D., Macko, D. and Takahara, Y. (1970). Theory of Hierarchical, Multilevel, Systems, Academic.
Mikolajczak, B., Ed. (1991). Algebraic and Structural Automata Theory, North-Holland.
Pittman, T. and Peters, J. (1992). The Art of Compiler Design — Theory and Practice, Prentice-Hall International, Inc.
Putnik, G. (2000). BM_Virtual Enterprise Architecture Reference Model, in Agile Manufacturing: 21st Century Manufacturing Strategy (A. Gunasekaran), Elsevier science Publ: 73–93.
Révész, G. E. (1991). Introduction to Formal Languages, Dover Publications, Inc.
Salomaa, A. (1973). Formal Languages, Academic Press, Inc.
Sousa, R. (2003). Contribuição para uma Teoria Formal de Sistemas de Produção. Tese PhD. Departamento de Produção e Sistemas, Universidade do Minho.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 International Federation for Information Processing
About this paper
Cite this paper
Sousa, R., Putnik, G. (2005). A Formal Theory of BM Virtual Enterprises Structures. In: Camarinha-Matos, L.M. (eds) Emerging Solutions for Future Manufacturing Systems. BASYS 2004. IFIP International Federation for Information Processing, vol 159. Springer, Boston, MA. https://doi.org/10.1007/0-387-22829-2_33
Download citation
DOI: https://doi.org/10.1007/0-387-22829-2_33
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-22828-0
Online ISBN: 978-0-387-22829-7
eBook Packages: Computer ScienceComputer Science (R0)