Formal specification and modeling of a project-oriented fractal company using situation calculus

Abstract

In response to global competition, small and medium enterprises (SMEs) can gain a competitive edge from virtual networking.  New information and communication technology further extended these opportunities but also raise organizational challenges.  For SMEs integration to be fully realized, an information/management system describing roles, functions, tasks, objectives, goals of all actors and resources involved is required for enterprise networking as a whole.  A novel approach to formal modeling of a fractal management system for an integrated enterprise using projects is proposed.  As a guideline in information system design, an axiomatic, representation of the dynamics of the project-oriented fractal company is given using situation calculus. A prototype of the ProFCo architecture using the Enterprise Project Management Solution of Microsoft Project 2007 will be presented