Goal-Driven Multi-Process Analysis.

Extant process modeling techniques address different aspects of processes, such as activity sequencing, resource allocation, and organizational responsibilities. These techniques are usually based on graphic notation and are driven by practice rather than by theoretical foundations. The lack of theoretical principles hinders the ability to ascertain the correctness of a process model. A few techniques (notably Petri Nets) are formalized and apply verification mechanisms (mostly for activity sequencing and concurrency). However, these techniques do not deal with important aspects of process design such as process goals. As previously suggested, a formal process modeling framework, termed the Generic Process Model (GPM), has been used to define the notion of process model validity. In GPM, validity is based on the idea that the purpose of process design is to assure that an enacted process can reach its goal. In practice, often several processes work together to accomplish goals in an organizational domain. Accordingly, in this paper we extend the validity analysis of a single process to a cluster of processes related by the exchange of physical entities or information. We develop validity criteria and demonstrate their application to models taken from the Supply Chain Operations Reference-model (SCOR). We also use the formal concepts to analyze the role of an information system in inter-process communication and its possible effects on process cluster validity

Análise dos indicadores de desempenho na gestão estratégica de operações utilizando técnicas formais de modelação de processos

Estágio realizado na Universiade Tecnológica Federal do Paraná - Campus de Curitiba e orientado pelo Prof. Doutor Edson Pinheiro de Lima e Prof. Doutor Marco Busetti de PaulaTese de mestrado integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 200

Goal-Oriented Patterns for Business Processes Goal-Oriented Patterns for Business Processes Position paper for GBPM’02

Abstract: Organizations of today are becoming ever more focused on their business processes. This has resulted in an increasing interest in business process patterns, which can be used in order to understand where from one can adopt best practices, or how to build computer systems supporting business processes. However, to fully exploit patterns, they need to be defined in a structured, and even formal way. This paper proposes to explore the state-oriented approach for defining and formalizing patterns based on the notion of goal rather than the sequence of events/activities. 1

Goal-Oriented Patterns for Business Processes”. position paper

Abstract: Organizations of today are becoming ever more focused on their business processes. This has resulted in an increasing interest in business process patterns, which can be used in order to understand where from one can adopt best practices, or how to build computer systems supporting business processes. However, to fully exploit patterns, they need to be defined in a structured, and even formal way. This paper proposes to explore the state-oriented approach for defining and formalizing patterns based on the notion of goal rather than the sequence of events/activities. 1