Abstract
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.
Chapter PDF
7. References
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 http://www.ei1.utoronto.ca/enterprisemoodelling/papers/gruninger-wetice94-act.pdf).
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 Publishers
Mendelson, E. (1987). Introduction to Mathematical Logic, Chapman & Hall.
Putnik G. (2001) BM_Vertual Enterprise Architecture Reference Model, in A. Gunasekaran (Ed.) AgileManufacturing Strategy, Elsevier Science Publ., pp 73–93
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–143
Sousa, R. (2003). Contribuição para uma Teoria Formal de Sistemas de Produqio. Tese PhD. Departamento de Produção e Sistemas, Universidade do Minho.
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.
Turner, K. J., Ed. (1993). Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL, John Wiley & Sons.
Wikipedia (2006) Theory, Retrieved from http://en.wikipedia.org/wiki/Theory
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Putnik, G., Sousa, R. (2006). On Formal Theories - And Formalisms for Virtual Enterprises. In: Information Technology For Balanced Manufacturing Systems. BASYS 2006. IFIP International Federation for Information Processing, vol 220. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-36594-7_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-36594-7_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-36590-9
Online ISBN: 978-0-387-36594-7
eBook Packages: Computer ScienceComputer Science (R0)