One of the issues in development and implementation of Virtual Enterprise (VE) is a formal theory, or formal theories, Of VE. There are serious problems concerning VE, formal theory(ies) development, Besides the ones which are commonly known and easily perceived, one of the biggest problems is a general misunderstanding about formalisms and formal theories (FTs) that occurs too often, substituting the formal theory by the formalism. The paper clarifies in an informal way the differences and some implications between formal theory and formalisms, expecting that it will contribute to a better perception of the problem as well as to the directions and approaches concerning VE formal theory development.

7. References

  1. 1.
    Gruninger, M., and Fox, M.S. (1994), “An Activity Ontology for Enterprise Modelling”, Submitted to: Workshop on Enabling Technologies-Infrastructures for Collaborative Enterprises, West Virginia University (Retrieved from Scholar
  2. 2.
    Janowski T., Ginienez L. Zheng H. (1998) Composing Enterprise Models: The Extended and The Virtual Enterprise, in Caniarinha-Matos L., Afsarmanesh H., Marik V. (Eds.) Intelligent systems for Manufacturing: Multi-Agent Systems and virtual Organizations, Kluwer Academic PublishersGoogle Scholar
  3. 3.
    Mendelson, E. (1987). Introduction to Mathematical Logic, Chapman & Hall.Google Scholar
  4. 4.
    Putnik G. (2001) BM_Vertual Enterprise Architecture Reference Model, in A. Gunasekaran (Ed.) AgileManufacturing Strategy, Elsevier Science Publ., pp 73–93Google Scholar
  5. 5.
    Putnik, G. D., Cunha, M. M., Sousa, R., Avila, P. (2005) BM Virtual Enterprise: A Model for Dynamics and Virtuality, in Putnik G., Cunha M. M. (Eds.) Virtual Enterprise Integration: Technological and Organizational Perspectives, IDEA Group Publishing, Hershey, PA, USA; pp: 124–143Google Scholar
  6. 6.
    Sousa, R. (2003). Contribuição para uma Teoria Formal de Sistemas de Produqio. Tese PhD. Departamento de Produção e Sistemas, Universidade do Minho.Google Scholar
  7. 7.
    Sousa, R. M, and Putnik, G. D. (2004). A Formal Theory of BM Virtual Enterprises Structures, in Canwinha-Matos, L. M.; (Eds.), Emerging Solutions for Future Manufacturing Systems“, Vienna: Springer, 2004. ISBN 0-387-22828-4, p.315–322.Google Scholar
  8. 8.
    Turner, K. J., Ed. (1993). Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL, John Wiley & Sons.Google Scholar
  9. 9.
    Wikipedia (2006) Theory, Retrieved from Scholar

Copyright information

© International Federation for Information Processing 2006

Authors and Affiliations

  • Goran Putnik
    • 1
  • Rui Sousa
    • 1
  1. 1.Production and Systems Engineering DepartmentUniversity of Minho, School of EngineeringGuimarãesPORTUGAL

Personalised recommendations