1 |
Specification and Implementation of Workflow Control Patterns in ReoMousavi Bafrooi, Seyedeh Elham January 2006 (has links)
Abstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their computation aspect, and hence enable the modeling of concurrent, distributed, and heterogeneous systems. In this thesis, our goal is to show that Reo, a channel-based exogenous coordination language, is powerful enough to be used in the area of workflow management. In order to achieve this goal, we consider a set of workflow control patterns. We implement each of these patterns in terms of a Reo circuit and show that these Reo circuits capture the behavior of the corresponding workflow control patterns. We believe that the patterns we choose in this thesis are enough to show the strength of Reo as a workflow language. <br /><br /> We explain our approach in four steps. In the first step, we specify the general definition of workflow control patterns in terms of some Point Interval Temporal Logic formulas. In the second step, we convert each PITL formula to a constraint automaton. In the third step, we implement each workflow control pattern by a Reo circuit; each Reo circuit consists of a set of <em>components</em> and a set of <em>connectors</em> that connect and coordinate those components and provide its behavior as a relation on <em>timed data streams</em>; a timed data stream is a twin pair of a data stream and a time stream. In the forth step, we compositionally derive the constraint automata of that Reo circuit and finally, in the fifth step, we show the equivalence of the two constraint automata.
|
2 |
Specification and Implementation of Workflow Control Patterns in ReoMousavi Bafrooi, Seyedeh Elham January 2006 (has links)
Abstract <br /><br /> Coordination models and languages are relatively new methods in modeling component-based software systems. These models and languages separate the communication aspect of systems from their computation aspect, and hence enable the modeling of concurrent, distributed, and heterogeneous systems. In this thesis, our goal is to show that Reo, a channel-based exogenous coordination language, is powerful enough to be used in the area of workflow management. In order to achieve this goal, we consider a set of workflow control patterns. We implement each of these patterns in terms of a Reo circuit and show that these Reo circuits capture the behavior of the corresponding workflow control patterns. We believe that the patterns we choose in this thesis are enough to show the strength of Reo as a workflow language. <br /><br /> We explain our approach in four steps. In the first step, we specify the general definition of workflow control patterns in terms of some Point Interval Temporal Logic formulas. In the second step, we convert each PITL formula to a constraint automaton. In the third step, we implement each workflow control pattern by a Reo circuit; each Reo circuit consists of a set of <em>components</em> and a set of <em>connectors</em> that connect and coordinate those components and provide its behavior as a relation on <em>timed data streams</em>; a timed data stream is a twin pair of a data stream and a time stream. In the forth step, we compositionally derive the constraint automata of that Reo circuit and finally, in the fifth step, we show the equivalence of the two constraint automata.
|
3 |
ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo / ACP and LOTOS: a comparative study based on BPEL concepts and control-flow patternsTakecian, Pedro Losco 03 June 2008 (has links)
Recentemente, várias abordagens estão sendo propostas na área de modelagem de processos de negócio. Dentre elas estão as linguagens BPEL e NPDL. BPEL é uma linguagem de representação e execução de processos de negócio que se mostrou bastante expressiva e uma forte candidata a padrão de mercado. NPDL é uma linguagem de definição de processos de negócio baseada em uma extensão de álgebra de processos chamada ACP. NPDL possui uma ferramenta capaz de interpretar e controlar a execução de processos de negócio chamada de NavigationPlanTool. A tradução de processos BPEL para expressões NPDL tem como objetivo fornecer aos processos descritos em BPEL um ambiente de controle e execução baseado em um formalismo algébrico. Entretanto, isso não é uma tarefa fácil. A presença de conceitos em BPEL que não são mapeáveis para NPDL faz com que grande parte da expressividade de BPEL se perca na tradução. Essa perda se dá pela limitação da própria ACP, na qual NPDL se baseia. Para sanar essa dificuldade, surgiu a idéia de estender ou trocar a base algébrica da NPDL. Substituindo a ACP por outro arcabouço algébrico ou incorporando idéias de outras álgebras, seria possível tornar a NPDL mais próxima de BPEL, facilitando, assim, o trabalho de mapeamento. Dentre os arcabouços formais disponíveis, LOTOS tem se mostrado uma interessante alternativa à ACP como base para a NPDL. Para comprovar os benefícios da utilização de conceitos de LOTOS na NPDL ou, até mesmo, de uma troca da base algébrica da NPDL de ACP para LOTOS, este trabalho faz um estudo comparativo entre esses dois formalismos algébricos, buscando encontrar a álgebra com maior expressividade e que represente melhor os conceitos presentes em BPEL. Para essa comparação, serão utilizados os principais conceitos existentes na linguagem BPEL, bem como os Padrões de Controle de Fluxo de Workflow. Não pertence ao escopo deste trabalho a implementação da NPDL usando LOTOS como base formal. / Recently, several approaches are being proposed in the business process modeling area. Among them are BPEL and NPDL languages. BPEL is a business process representation and execution language that has showed itself to be very expressive and a strong candidate to market reference. NPDL is a business process definition language based on a process algebra extension called ACP. NPDL has a tool called NavigationPlanTool that is able to interpret and control the business processes execution. The translation from BPEL processes to NPDL expressions aims to provide to BPEL processes a control and execution environment based on an algebraic foundation. However, this is not an easy task. Due to the translation, the presence of BPEL concepts that can´t be mapped to NPDL results in a heavy BPEL expressiveness loss. This loss occurs by the limitation of ACP, in which NPDL is based on. To solve this problem, the idea of extending or replacing the NPDL algebraic base has appeared. Replacing ACP with other algebraic framework or incorporating ideas from other algebras, could make NPDL closer to BPEL, turning the mapping work easier. Among the formal frameworks available, LOTOS has showed itself an interesting alternative to ACP as an NPDL basis. To prove the benefits of using LOTOS concepts in NPDL, or even exchanging the NPDL algebraic base from ACP to LOTOS, this work presents a comparative study between these two algebraic foundations, trying to find the most expressive algebra and the one that best represents the BPEL concepts. For this comparison, the BPEL main concepts and the Workflow Control-Flow Patterns will be used. The NPDL implementation using LOTOS as formal foundation is out of the scope of this work.
|
4 |
Descoberta e análise de co-ocorrências entre padrões de atividade de workflow : um estudo empírico / Discovery and analysis of co-occurences between workflow activity patterns – an empirical studyChiao, Carolina Ming January 2010 (has links)
O trabalho de qualquer organização pode ser representado e analisado através dos processos de negócio que desenvolve. O relacionamento da organização com clientes e fornecedores é implementado por processos de negócio, assim como a interface interna entre o nível estratégico e operacional da organização. Também o trabalho das áreas de engenharia, produção, financeira e gestão pode ser representado na forma de processos de negócio. O projeto ProWAP (Process Modelling based on Workflow Activity Patterns), desenvolvido em conjunto com o grupo de pesquisa em workflow da Universidade Federal do Rio Grande do Sul e o grupo de pesquisa em Banco de Dados e Sistemas de Informação da Universidade de Ulm, na Alemanha, tem como objetivo criar uma abordagem de reuso de funções de negócio recorrentes. Estes fragmentos, ou funções de negócio recorrentes, são representados através de padrões de atividade de bloco para modelagem de processos e possuem uma semântica bem definida e auto-contida (THOM, 2006b). A modelagem de processos é baseada, hoje em dia, somente em elementos sintáticos, além de os modelos serem geralmente modelados desde o início, o que significa altos custos, tanto de tempo quanto financeiros. Uma ferramenta que ofereça suporte ao (re- )uso de estruturas recorrentes pode reduzir estes custos, uma vez que estas estruturas representam soluções a problemas semelhantes e podem, eventualmente, ser aplicadas a determinados problemas no contexto da modelagem do processo. De modo a prover ao usuário suporte ao reuso, pretende-se construir uma ferramenta de modelagem que tenha como base os padrões de atividade. Esta ferramenta, além de oferecer suporte ao reuso, pretende auxiliar o usuário, de maneira inteligente, sugerindo a ele diferentes padrões subsequentes aos padrões já modelados em seu processo. Para tal, este trabalho apresenta um conjunto de informações acerca de co-ocorrências entre padrões de atividade. Estas foram obtidas a partir de um estudo empírico sobre uma amostra de processos de negócio reais modeladas no Brasil e na Alemanha. A partir deste estudo, foram obtidos conhecimentos a respeito da co-ocorrência de pares de padrões de atividade. Além de obter um ranking de co-ocorrências, o estudo permitiu evidenciar que contextos de aplicação influenciam diretamente nos relacionamentos e associações entre padrões de atividade. / The work of any organization can be represented and analyzed through its business processes, which are performed inside the organization. The relationship between the organization and its clients and suppliers is implemented by business processes, as well as the intern interface between the strategical and operational layers. The work of engineering, production, financial and management areas can also be represented by business processes. The ProWAP project (Process Modelling based on Workflow Activity Patterns), developed in partnership between the workflow research group from Federal University of Rio Grande do Sul and databases and information systems research group from Ulm University in Germany, aims to create an approach based on the reuse of recurrent business functions. Those fragments, or recurrent business functions, are represented by blockactivity patterns that have a well-defined and self-contained semantics. Nowadays the process modeling is based only in syntatical elements. Moreover, the processes are usually modeled from scratch, which means high costs of time and money. A tool that offers a support to (re-)use of recurrent structures can lower those costs, once the utilized structures represent solutions to similar problems and can, eventually, be reapplied to particular problems in the context of process modeling. In order to provide support reuse to the user, it is intended to build a process modeling tool based on the workflow activity patterns. This tool, besides providing reuse support, aims to help the user, in an intelligent way, suggesting to him many subsequent patterns that follow the ones already modeled in his process. To this end, this work presents a set of informations about co-occurences between activity patterns. Those informations were obtained from an empirical study on a sample real business processes models which were modeled in Brazil and in Germany. From this study, knowledge about co-occurence between pairs of activity patterns was obtained. Besides obtaining a co-occurence ranking, this study allowed to evidence that application contexts influence directly on the relationships and associations between activity patterns.
|
5 |
Descoberta e análise de co-ocorrências entre padrões de atividade de workflow : um estudo empírico / Discovery and analysis of co-occurences between workflow activity patterns – an empirical studyChiao, Carolina Ming January 2010 (has links)
O trabalho de qualquer organização pode ser representado e analisado através dos processos de negócio que desenvolve. O relacionamento da organização com clientes e fornecedores é implementado por processos de negócio, assim como a interface interna entre o nível estratégico e operacional da organização. Também o trabalho das áreas de engenharia, produção, financeira e gestão pode ser representado na forma de processos de negócio. O projeto ProWAP (Process Modelling based on Workflow Activity Patterns), desenvolvido em conjunto com o grupo de pesquisa em workflow da Universidade Federal do Rio Grande do Sul e o grupo de pesquisa em Banco de Dados e Sistemas de Informação da Universidade de Ulm, na Alemanha, tem como objetivo criar uma abordagem de reuso de funções de negócio recorrentes. Estes fragmentos, ou funções de negócio recorrentes, são representados através de padrões de atividade de bloco para modelagem de processos e possuem uma semântica bem definida e auto-contida (THOM, 2006b). A modelagem de processos é baseada, hoje em dia, somente em elementos sintáticos, além de os modelos serem geralmente modelados desde o início, o que significa altos custos, tanto de tempo quanto financeiros. Uma ferramenta que ofereça suporte ao (re- )uso de estruturas recorrentes pode reduzir estes custos, uma vez que estas estruturas representam soluções a problemas semelhantes e podem, eventualmente, ser aplicadas a determinados problemas no contexto da modelagem do processo. De modo a prover ao usuário suporte ao reuso, pretende-se construir uma ferramenta de modelagem que tenha como base os padrões de atividade. Esta ferramenta, além de oferecer suporte ao reuso, pretende auxiliar o usuário, de maneira inteligente, sugerindo a ele diferentes padrões subsequentes aos padrões já modelados em seu processo. Para tal, este trabalho apresenta um conjunto de informações acerca de co-ocorrências entre padrões de atividade. Estas foram obtidas a partir de um estudo empírico sobre uma amostra de processos de negócio reais modeladas no Brasil e na Alemanha. A partir deste estudo, foram obtidos conhecimentos a respeito da co-ocorrência de pares de padrões de atividade. Além de obter um ranking de co-ocorrências, o estudo permitiu evidenciar que contextos de aplicação influenciam diretamente nos relacionamentos e associações entre padrões de atividade. / The work of any organization can be represented and analyzed through its business processes, which are performed inside the organization. The relationship between the organization and its clients and suppliers is implemented by business processes, as well as the intern interface between the strategical and operational layers. The work of engineering, production, financial and management areas can also be represented by business processes. The ProWAP project (Process Modelling based on Workflow Activity Patterns), developed in partnership between the workflow research group from Federal University of Rio Grande do Sul and databases and information systems research group from Ulm University in Germany, aims to create an approach based on the reuse of recurrent business functions. Those fragments, or recurrent business functions, are represented by blockactivity patterns that have a well-defined and self-contained semantics. Nowadays the process modeling is based only in syntatical elements. Moreover, the processes are usually modeled from scratch, which means high costs of time and money. A tool that offers a support to (re-)use of recurrent structures can lower those costs, once the utilized structures represent solutions to similar problems and can, eventually, be reapplied to particular problems in the context of process modeling. In order to provide support reuse to the user, it is intended to build a process modeling tool based on the workflow activity patterns. This tool, besides providing reuse support, aims to help the user, in an intelligent way, suggesting to him many subsequent patterns that follow the ones already modeled in his process. To this end, this work presents a set of informations about co-occurences between activity patterns. Those informations were obtained from an empirical study on a sample real business processes models which were modeled in Brazil and in Germany. From this study, knowledge about co-occurence between pairs of activity patterns was obtained. Besides obtaining a co-occurence ranking, this study allowed to evidence that application contexts influence directly on the relationships and associations between activity patterns.
|
6 |
Descoberta e análise de co-ocorrências entre padrões de atividade de workflow : um estudo empírico / Discovery and analysis of co-occurences between workflow activity patterns – an empirical studyChiao, Carolina Ming January 2010 (has links)
O trabalho de qualquer organização pode ser representado e analisado através dos processos de negócio que desenvolve. O relacionamento da organização com clientes e fornecedores é implementado por processos de negócio, assim como a interface interna entre o nível estratégico e operacional da organização. Também o trabalho das áreas de engenharia, produção, financeira e gestão pode ser representado na forma de processos de negócio. O projeto ProWAP (Process Modelling based on Workflow Activity Patterns), desenvolvido em conjunto com o grupo de pesquisa em workflow da Universidade Federal do Rio Grande do Sul e o grupo de pesquisa em Banco de Dados e Sistemas de Informação da Universidade de Ulm, na Alemanha, tem como objetivo criar uma abordagem de reuso de funções de negócio recorrentes. Estes fragmentos, ou funções de negócio recorrentes, são representados através de padrões de atividade de bloco para modelagem de processos e possuem uma semântica bem definida e auto-contida (THOM, 2006b). A modelagem de processos é baseada, hoje em dia, somente em elementos sintáticos, além de os modelos serem geralmente modelados desde o início, o que significa altos custos, tanto de tempo quanto financeiros. Uma ferramenta que ofereça suporte ao (re- )uso de estruturas recorrentes pode reduzir estes custos, uma vez que estas estruturas representam soluções a problemas semelhantes e podem, eventualmente, ser aplicadas a determinados problemas no contexto da modelagem do processo. De modo a prover ao usuário suporte ao reuso, pretende-se construir uma ferramenta de modelagem que tenha como base os padrões de atividade. Esta ferramenta, além de oferecer suporte ao reuso, pretende auxiliar o usuário, de maneira inteligente, sugerindo a ele diferentes padrões subsequentes aos padrões já modelados em seu processo. Para tal, este trabalho apresenta um conjunto de informações acerca de co-ocorrências entre padrões de atividade. Estas foram obtidas a partir de um estudo empírico sobre uma amostra de processos de negócio reais modeladas no Brasil e na Alemanha. A partir deste estudo, foram obtidos conhecimentos a respeito da co-ocorrência de pares de padrões de atividade. Além de obter um ranking de co-ocorrências, o estudo permitiu evidenciar que contextos de aplicação influenciam diretamente nos relacionamentos e associações entre padrões de atividade. / The work of any organization can be represented and analyzed through its business processes, which are performed inside the organization. The relationship between the organization and its clients and suppliers is implemented by business processes, as well as the intern interface between the strategical and operational layers. The work of engineering, production, financial and management areas can also be represented by business processes. The ProWAP project (Process Modelling based on Workflow Activity Patterns), developed in partnership between the workflow research group from Federal University of Rio Grande do Sul and databases and information systems research group from Ulm University in Germany, aims to create an approach based on the reuse of recurrent business functions. Those fragments, or recurrent business functions, are represented by blockactivity patterns that have a well-defined and self-contained semantics. Nowadays the process modeling is based only in syntatical elements. Moreover, the processes are usually modeled from scratch, which means high costs of time and money. A tool that offers a support to (re-)use of recurrent structures can lower those costs, once the utilized structures represent solutions to similar problems and can, eventually, be reapplied to particular problems in the context of process modeling. In order to provide support reuse to the user, it is intended to build a process modeling tool based on the workflow activity patterns. This tool, besides providing reuse support, aims to help the user, in an intelligent way, suggesting to him many subsequent patterns that follow the ones already modeled in his process. To this end, this work presents a set of informations about co-occurences between activity patterns. Those informations were obtained from an empirical study on a sample real business processes models which were modeled in Brazil and in Germany. From this study, knowledge about co-occurence between pairs of activity patterns was obtained. Besides obtaining a co-occurence ranking, this study allowed to evidence that application contexts influence directly on the relationships and associations between activity patterns.
|
7 |
ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo / ACP and LOTOS: a comparative study based on BPEL concepts and control-flow patternsPedro Losco Takecian 03 June 2008 (has links)
Recentemente, várias abordagens estão sendo propostas na área de modelagem de processos de negócio. Dentre elas estão as linguagens BPEL e NPDL. BPEL é uma linguagem de representação e execução de processos de negócio que se mostrou bastante expressiva e uma forte candidata a padrão de mercado. NPDL é uma linguagem de definição de processos de negócio baseada em uma extensão de álgebra de processos chamada ACP. NPDL possui uma ferramenta capaz de interpretar e controlar a execução de processos de negócio chamada de NavigationPlanTool. A tradução de processos BPEL para expressões NPDL tem como objetivo fornecer aos processos descritos em BPEL um ambiente de controle e execução baseado em um formalismo algébrico. Entretanto, isso não é uma tarefa fácil. A presença de conceitos em BPEL que não são mapeáveis para NPDL faz com que grande parte da expressividade de BPEL se perca na tradução. Essa perda se dá pela limitação da própria ACP, na qual NPDL se baseia. Para sanar essa dificuldade, surgiu a idéia de estender ou trocar a base algébrica da NPDL. Substituindo a ACP por outro arcabouço algébrico ou incorporando idéias de outras álgebras, seria possível tornar a NPDL mais próxima de BPEL, facilitando, assim, o trabalho de mapeamento. Dentre os arcabouços formais disponíveis, LOTOS tem se mostrado uma interessante alternativa à ACP como base para a NPDL. Para comprovar os benefícios da utilização de conceitos de LOTOS na NPDL ou, até mesmo, de uma troca da base algébrica da NPDL de ACP para LOTOS, este trabalho faz um estudo comparativo entre esses dois formalismos algébricos, buscando encontrar a álgebra com maior expressividade e que represente melhor os conceitos presentes em BPEL. Para essa comparação, serão utilizados os principais conceitos existentes na linguagem BPEL, bem como os Padrões de Controle de Fluxo de Workflow. Não pertence ao escopo deste trabalho a implementação da NPDL usando LOTOS como base formal. / Recently, several approaches are being proposed in the business process modeling area. Among them are BPEL and NPDL languages. BPEL is a business process representation and execution language that has showed itself to be very expressive and a strong candidate to market reference. NPDL is a business process definition language based on a process algebra extension called ACP. NPDL has a tool called NavigationPlanTool that is able to interpret and control the business processes execution. The translation from BPEL processes to NPDL expressions aims to provide to BPEL processes a control and execution environment based on an algebraic foundation. However, this is not an easy task. Due to the translation, the presence of BPEL concepts that can´t be mapped to NPDL results in a heavy BPEL expressiveness loss. This loss occurs by the limitation of ACP, in which NPDL is based on. To solve this problem, the idea of extending or replacing the NPDL algebraic base has appeared. Replacing ACP with other algebraic framework or incorporating ideas from other algebras, could make NPDL closer to BPEL, turning the mapping work easier. Among the formal frameworks available, LOTOS has showed itself an interesting alternative to ACP as an NPDL basis. To prove the benefits of using LOTOS concepts in NPDL, or even exchanging the NPDL algebraic base from ACP to LOTOS, this work presents a comparative study between these two algebraic foundations, trying to find the most expressive algebra and the one that best represents the BPEL concepts. For this comparison, the BPEL main concepts and the Workflow Control-Flow Patterns will be used. The NPDL implementation using LOTOS as formal foundation is out of the scope of this work.
|
8 |
Standardy modelování podnikových procesů / Business Process Modeling StandardsMezera, Jiří January 2010 (has links)
Today, business process modelling is important part of analysis and design of the information systems. There is number of standards, which is concerned with process modelling, whereas each of them represents a little different approach. The project Opensoul created general metamodel, which defines basic elements and their mutual associations, which all standards should meet. In other words, it defines basic rules for process modelling. The goal of this thesis is to compare chosen standards of process modelling with Business process metamodel of Opensoul initiative. The results of this comparison would have provide basis to answer the question, which standard supports in the best way the rules of process modelling defined by metamodel through the system of elements and their associations. This goal requires specifying the method, on which basis the comparison will be made. This method comprises the extension of metamodel with new elements and their relations to other elements, and the extension of some elements with some workflow patterns defined by Workflow Patterns initiative. That is the main benefit of this thesis.
|
9 |
Model workflow a jeho grafické rozhraní / Workflow Model and Its Graphic InterfaceJadrný, Miroslav January 2010 (has links)
Business process management is important topic in business information systems. Workflow systems are taking the top places in company information system architecture due to aspiration to make business process more and more optimized. This project is about parallel processing and implementation of business processes parallel processing in complex information systems. Content of this project is o function and object library for modeling business process in Vema, a. s. Workflow system. Important part of this project is parallel processing solution and its implementation.
|
10 |
The Use of Patterns in Information System EngineeringBacklund, Per January 2001 (has links)
<p>The aims of this dissertation are to investigate the use and usefulness of patterns in Information Systems Engineering and to identify future areas of research. In order to do this there is a need to survey different types of patterns and find a common concept of patterns. A pattern is based on experience found in the real world. A text or a model or a combination of the both can describe the pattern. A pattern is typically described in terms of context, forces, problem, and solution. These can be explicitly expressed or implicitly found in the description of the pattern.</p><p>The types of patterns dealt with are: object-oriented patterns; design patterns, analysis patterns; data model patterns; domain patterns; business patterns; workflow patterns and the deontic pattern. The different types of patterns are presented using the authors' own terminology.</p><p>The patterns described in the survey are classified with respect to different aspects. The intention of this analysis is to form a taxonomy for patterns and to bring order into the vast amount of patterns. This is an important step in order to find out how patterns are used and can be used in Information Systems Engineering. The aspects used in the classification are: level of abstraction; text or model emphasis; product or process emphasis; life cycle stage usage and combinations of these aspects.</p><p>Finally an outline for future areas of research is presented. The areas that have been considered of interest are: patterns and Information Systems Engineering methods; patterns and tools (tool support for patterns); patterns as a pedagogical aid; the extraction and documentation of patterns and patterns and novel applications of information technology. Each future area of research is sketched out.</p>
|
Page generated in 0.0644 seconds