Process-Oriented Organization Modeling and Analysis Based on Constraints

This paper presents a formal framework for process-oriented modeling and analysis of organizations. The high expressivity of a sorted predicate logic language Lpr used for specification allows representing a wide range of process-related concepts (e.g., tasks, processes, resources), their characteristics and relations over them, which are described in the paper. Furthermore, every organization is characterized by a set of structural and behavioral constraints, which are classified in this paper. In the proposed framework these constraints form a logical theory Tpr in Lpr, i.e. a set of formulae in Lpr. A process-oriented model is correct iff it satisfies Tpr. The techniques for establishing correctness are implemented and described in the paper. The introduced framework is a part of a general framework for organization modeling and analysis

ICT in Czech companies: business efficiency potentials to be achieved.

The paper deals with business potential analysis based on the data published by Czech Statistic Authority (SÚ). It shows that the infrastructure state of the art even in small Czech companies enables to expand ERP and CRM systems, trading over Internet, Supply Chain Management and other new trends. Internet security is here of greatest importance, however it cannot be seen as major obstacle for new trading methods. The greatest challenge identified is the process and workflow optimization. To streamline workflow the document management supporting nearly seamless integration crossover the functional areas is of greatest importance. Moreover, process optimization can run into difficulties due to cross-organization functionalities of new IT architecture concepts like Service Oriented Architecture, WEB2 concepts and other methods and means. In this paper the value flow approach is shortly mentioned as an alternative to process modeling and workflow approach. Value oriented methods can overcome the process oriented approach limitations.ICT infrastructure; Business processes; Process modeling; Document management; Value chains; Business semantics

Designing community care systems with AUML

This paper describes an approach to developing an appropriate agent environment appropriate for use in community care applications. Key to its success is that software designers collaborate with environment builders to provide the levels of cooperation and support required within an integrated agent–oriented community system. Agent-oriented Unified Modeling Language (AUML) is a practical approach to the analysis, design, implementation and management of such an agent-based system, whilst providing the power and expressiveness necessary to support the specification, design and organization of a health care service. The background of an agent-based community care application to support the elderly is described. Our approach to building agent–oriented software development solutions emphasizes the importance of AUML as a fundamental initial step in producing more general agent–based architectures. This approach aims to present an effective methodology for an agent software development process using a service oriented approach, by addressing the agent decomposition, abstraction, and organization characteristics, whilst reducing its complexity by exploiting AUML’s productivity potential. </p

An Object-oriented Workflow Modeling Schema Using Dataflow Analysis for Collaborative E-governance Platform

In the initial stage of transforming from government to governance for developing countries, collaborative e-governance platforms should be urgently established in different contexts. Though some platforms have been previously applied to various fields, researches on common basic functions analysis and across-organization business process modeling based on a suitable workflow modeling method for the platforms design and development are insufficient. Based on an explorative analysis of platform functions and their patterns, we propose a schema for e-governance platforms modeling according to an extended method of object-oriented workflow modeling using dataflow analysis. It covers a two-step process of top-level platform workflow modeling and function objection workflow modeling. In addition, a citizen appeal processing platform is taken as an example to illustrate the utility of the schema. The schema facilitates the contextualized collaborative e-governance platforms development with an operable method and reusable function workflow models

Agent-Based Knowledge Framework of Energy Planning System.

One of the important factors that support human life today is energy, which will ultimately affect the development of social life, economy, and environment. To meet the future energy needs, many countries perform energy system modeling. However, this process is complex and is fraught with difficulties and errors, such as incorrectness, inconsistency, incompleteness, and redundancy. This research aims to reduce those difficulties raising this research question: How can Agent-Oriented Analysis (AOA) alleviate several challenges of energy planning process. This research project will use the Design Science Research (DSR) method and use seven Agent-Based Modellings (ABMs) including agent model, goal model, interaction model, scenario model, organization model, role model, and environment model. The research will provide an agent-based knowledge analysis framework. Practically, it will enable energy planners in many countries to perform more effective and affordable planning

A UML and Petri Nets Integrated Modeling Method for Business Processes in Virtual Enterprises

Abstract Virtual Enterprise is an important organization pattern for future enterprises, one of whose major functions is the distributed and parallel business process execution. This paper aims at the study on business process modeling in virtual enterprises. Based on the object-oriented description of business processes in virtual enterprises, we propose a UML and Petri nets integrated modeling method for business processes in virtual enterprises. The method provides an integrative framework supporting requirement description, model specification and design, model analysis and simulation, and model implementation

A Management Science Approach to Contingency Models of Organizational Structure

This study demonstrates the applicability of a quantitative modeling approach, specifically goal programming, in operationalizing the relationship between environmental variables and specific organizational structural variables for optimal goal attainment. A goal programming model is developed to analyze and determine the optimal relationships for goal attainment. The contingency approach has emerged in recent years as the dominant theoretical framework for viewing organizational structure and design. Although open systems analysis (Katz & Kahn, 1966) emphasized the input of the external environment into organization structuring, the contingency approach attempts to establish functional relationships between environmental variables and organizational variables. Over the past decade and a half, contingency theorists have demonstrated the apparent interaction between the environment and organization variables. For example, more than 15 years ago the pioneering contingency theorist Joan Woodward (1965) found that the environmental variable of technology seemed to have a relationship with structural variables. Although she dealt with relatively narrow production oriented (unit, mass/batch, and process) technology, Perrow (1970) and others have since suggested that other technological classifications such as knowledge based variables are related to organizational structure variables

ICT in Czech companies: business efficiency potentials to be achieved.

The paper deals with business potential analysis based on the data published by Czech Statistic Authority (SÚ). It shows that the infrastructure state of the art even in small Czech companies enables to expand ERP and CRM systems, trading over Internet, Supply Chain Management and other new trends. Internet security is here of greatest importance, however it cannot be seen as major obstacle for new trading methods. The greatest challenge identified is the process and workflow optimization. To streamline workflow the document management supporting nearly seamless integration crossover the functional areas is of greatest importance. Moreover, process optimization can run into difficulties due to cross-organization functionalities of new IT architecture concepts like Service Oriented Architecture, WEB2 concepts and other methods and means. In this paper the value flow approach is shortly mentioned as an alternative to process modeling and workflow approach. Value oriented methods can overcome the process oriented approach limitations