FOR VIRTUAL ORGANIZATIONS

Emergence of the virtual enterprise / virtual organization paradigm falls within the natural sequence of the restructuring processes in traditional industrial paradigms that is enabled by advances in information and communication technologies. In parallel with the outsourcing tendency, another transformation observed in large companies is their reorganization as a “federation” of relatively autonomous departments. The idea of VE/VO was not “invented” by a single researcher; rather it is a concept that has matured through a long evolution process. The history of industrial enterprise integration, as well as the integration technologies and paradigms in the last three decades are briefly introduced. The position of the VE/VO in the e-movement is identified.

[1]  Thomas Kunz,et al.  Poet: target-system-independent visualizations of complex distributed executions , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[2]  Qiming Chen,et al.  Inter-enterprise collaborative business process management , 2001, Proceedings 17th International Conference on Data Engineering.

[3]  Martin S. Feather,et al.  Requirements monitoring in dynamic environments , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[4]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[5]  Gustavo Alonso,et al.  Just-in-time aspects: efficient dynamic weaving for Java , 2003, AOSD '03.

[6]  Igor Hawryszkiewycz.  Supporting Teams in Virtual Organizations , 1999, DEXA.

[7]  Marc Geilen,et al.  On the Construction of Monitors for Temporal Logic Properties , 2001, RV@CAV.

[8]  M.S. Feather,et al.  Reconciling system requirements and runtime behavior , 1998, Proceedings Ninth International Workshop on Software Specification and Design.

[9]  José Meseguer,et al.  Rewriting logic: roadmap and bibliography , 2002, Theor. Comput. Sci..

[10]  Hamideh Afsarmanesh,et al.  Virtual Enterprise Modeling and Support Infrastructures: Applying Multi-agent System Approaches , 2001, EASSS.

[11]  Murat Karaorman,et al.  jMonitor: Java Runtime Event Specification and Monitoring Library , 2005, Electron. Notes Theor. Comput. Sci..

[12]  Vaughan R. Pratt.  A practical decision method for propositional dynamic logic (Preliminary Report) , 1978, STOC '78.

[13]  Koushik Sen,et al.  Generating Optimal Linear Temporal Logic Monitors by Coinduction , 2003, ASIAN.

[14]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[15]  J. Cole,et al.  On design and implementation of a contract monitoring facility , 2004, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004..

[16]  José Meseguer,et al.  Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools , 2004, IJCAR.

[17]  Doron Drusinsky,et al.  The Temporal Rover and the ATG Rover , 2000, SPIN.

[18]  Zoran Milosevic,et al.  On expressing and monitoring behaviour in contracts , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[19]  Ekkart Kindler,et al.  The Petri Net Kernel An infrastructure for building Petri net tools , 2001, International Journal on Software Tools for Technology Transfer.

[20]  D. Hollingsworth.  The workflow Reference Model , 1994 .

[21]  Paul W. P. J. Grefen,et al.  Contracts for Cross-Organizational Workflow Management , 2000, EC-Web.

[22]  Ann Q. Gates,et al.  Instrumentation of intermediate code for runtime verification , 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..

[23]  Qing Yu,et al.  Oracles for checking temporal properties of concurrent systems , 1994, SIGSOFT '94.

[24]  Dimitra Giannakopoulou,et al.  Automata-based verification of temporal properties on running programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[25]  Hamideh Afsarmanesh,et al.  Tendencies and General Requirements for Virtual Enterprises , 1999, PRO-VE.

[26]  Shigeru Chiba,et al.  A Selective, Just-in-Time Aspect Weaver , 2003, GPCE.

[27]  R. Allen.  Workflow: an Introduction , 2001 .

[28]  George Spanoudakis,et al.  A framework for requirents monitoring of service based systems , 2004, ICSOC '04.

[29]  Pierre Wolper,et al.  Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.

[30]  Debra J. Richardson,et al.  Specification-based test oracles for reactive systems , 1992, International Conference on Software Engineering.

[31]  Debra J. Richardson,et al.  TAOS: Testing with Analysis and Oracle Support , 1994, ISSTA '94.

[32]  Grigore Rosu,et al.  An Overview of the Runtime Verification Tool Java PathExplorer , 2004, Formal Methods Syst. Des..

[33]  William N. Robinson,et al.  Monitoring software requirements using instrumented code , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[34]  Grigore Rosu,et al.  Java PathExplorer: A Runtime Verification Tool , 2001 .

[35]  Bernd Finkbeiner,et al.  Checking Finite Traces Using Alternating Automata , 2004, Formal Methods Syst. Des..

[36]  Luis M. Camarinha-Matos,et al.  Towards an Execution System for Distributed Business Processes in a Virtual Enterprise , 2000, HPCN Europe.

[37]  Gustavo Alonso,et al.  Dynamic weaving for aspect-oriented programming , 2002, AOSD '02.

[38]  Frank M. Shipman,et al.  Agent-based support for communication between developers and users in software design , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.

[39]  Yu Li,et al.  Operation management of virtual enterprises , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[40]  Moshe Y. Vardi.  Alternating Automata: Checking Truth and Validity for Temporal Logics , 1998 .