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

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.