https://popups.uliege.be/3041-539x/index.php?id=1996 Publications of Auteurs Nikitas A. Assimakopoulos fr 0 https://popups.uliege.be/3041-539x/index.php?id=2098 There are plenty of virtual enterprises, which use the classical organization design as a fundamental task for their operation. This paper examines how traditional structural design processes are constructed and points out their weaknesses. The indication of the bounds of action within the virtual infrastructures is examined. The details of the struçture of the virtual enterprise are responsibility of the knowledge specialists. The paper describes an environment to design the organizational structure of virtual enterprises as consisting more of knowledge nodes and inter-organizational networks than physical spaces. Systemic methodologies are used to achieve this goal. The methodologies of this analysis concentrate on the human factor that is evolving in those systems. They are valuable tools for understanding and defining the system functions. Tue, 30 Jul 2024 09:04:10 +0200 Tue, 30 Jul 2024 09:04:17 +0200 https://popups.uliege.be/3041-539x/index.php?id=2098 https://popups.uliege.be/3041-539x/index.php?id=1995 It has been over ten years since the first workflow product was introduced. Despite the large number of workflow vendors and various research efforts all over the world, as well as the hype about the workflow market, workflow technology is still far pervasive. This paper approaches workflow systsms and assesses the situation from the technical point of view, focusing on the development and enactment aspects of workflow processes. We discuss the current capabilities of workflow products, major issues that need to be addressed before workflow can be pervasive, as well as possible future trends and research that will help workflow succeed. Fri, 19 Jul 2024 13:44:53 +0200 Fri, 19 Jul 2024 13:45:00 +0200 https://popups.uliege.be/3041-539x/index.php?id=1995 https://popups.uliege.be/3041-539x/index.php?id=1569 This paper presents a systemic approach methodology called STIMEVIS for Structured Viable Systems and Metasystems towards the specification, verification, and distributed execution of workflows based on state and activily charts. The formal foundation of state and activity charts is exploited at three levels. At the specification level, the formalism enforces precise descriptions of business processes while also allowing subsequent refinements. In addition, precise specifications based on other methods can be automatically converted into state and activity charts. At the level of verification, state charts are amenable to the efficient method of model checking, in order to verify particularly critical workflow properties. Finally, at the execution level, a state chart specification forms the basis for the automatic generation of modules that can be directly executed in a distributed manner. Mon, 15 Jul 2024 14:58:41 +0200 Tue, 08 Oct 2024 17:31:17 +0200 https://popups.uliege.be/3041-539x/index.php?id=1569