In the master's thesis we are concerned with the logical perspective on business process model-ing. The logical perspective on business process modeling has several advantages. First, being a formal logical system, first-order logic let us thoroughly understand the foundations of process modeling. Second, after we understand the logical foundations of business process modeling, we are free to build a BPM language based entirely on logic, or map an existing language onto logic, which may be useful for artificial reasoning. Third, if the business process model is mapped to logic (or another declarative language) it can be easily stored in a declarative knowledge base. Forth, logic based process models can be used in companies as a basis for knowledge manage-ment. And fifth, the science of logic offers a number of various semantic enhancements, which can be used in favor of better business process modeling expressiveness. The first objective of the thesis is to perform a thorough review of the literature of both our fields -- the business process modeling and temporal logic. The related second objective is to study the ability of logic to represent processes and the notion of time in general, and to offer techniques for logical process representation. Subsequently, the examples should be provided in order to present that the selected techniques are capable of performing what is sketched in the first paragraph. The third objective is to propose improvements of the current business process modeling approach and provide relevant examples. Eventually, means of extending the tech-niques presented can be proposed, too. The major contribution of the thesis is that it constitutes a reasonable basis for further research in the chosen field. For novices or even experienced in the subject it represents a good stepping stone.

The successful development and implementation of business information systems requires an integrated approach which includes the seamless design of both the business processes and the information systems supporting the business processes. Therefore, several frameworks and modeling methods have been developed for an integrated modeling of the entire enterprise with respect to both organizational and information systems aspects. Due to the architecture of most existing business information systems, these approaches were usually based on traditional software development paradigms rather than on object-orientation. On the other hand, object-oriented modeling methods used to cover only aspects which are close to implementation, but not the business processes. Currently, however, these two worlds are mov-ing closer together because there are several benefits using business process models during object-oriented software development. This paper describes an approach for integrating business process and object-oriented modeling methods. With this approach, it is possible to model the relevant aspects of a company’s business processes and its object-oriented information systems without the need for switching between different modeling paradigms or for trans-lating between different modeling languages.

<p>In electronic commerce, systems development is based on two fundamental types of models, business models and process models. A business model is concerned with value exchanges among business partners, while a process model focuses on operational and procedural aspects of business communication. Thus, a business model defines the what in an e-commerce system, while a process model defines the <i>how</i>. Business process design can be facilitated and improved by a method for systematically moving from a business model to a process model. Such a method would provide support for traceability, evaluation of design alternatives, and seamless transition from analysis to realization. This work proposes a unified framework that can be used as a basis to analyze, to interpret and to understand different concepts associated at different stages in e-Commerce system development. In this thesis, we illustrate how UN/CEFACT’s recommended metamodels for business and process design can be analyzed, extended and then integrated for the final solutions based on the proposed unified framework. Also, as an application of the framework, we demonstrate how process-modeling tasks can be facilitated in e-Commerce system design. The proposed methodology, called BP³ stands for Business Process Patterns Perspective. The BP³ methodology uses a question-answer interface to capture different business requirements from the designers. It is based on pre-defined process patterns, and the final solution is generated by applying the captured business requirements by means of a set of production rules to complete the inter-process communication among these patterns.</p>

O alinhamento estratégico entre as áreas de Tecnologia da Informação (TI) e de negócio é motivado pela necessidade das grandes organizações em aproveitar a capacidade da TI em transformar processos de negócio e disponibilizar bons produtos e serviços, destacando-se em um cenário competitivo. Nesse contexto, a Gestão de Processos de Negócio (BPM Business Process Management) e a Orientação a Serviços ganham espaço nas organizações por serem capazes de automatizar e aperfeiçoar os processos e os serviços necessários ao Negócio. No tratamento de processos e serviços, é importante atentar-se não apenas a propriedades funcionais (ou seja, as atividades que devem ser realizadas), mas também a propriedades não funcionais, tais como restrições de operação e de qualidade; dessa forma, é possível minimizar o desperdício de investimentos em TI com ineficiência e retrabalho. As linguagens mais conceituadas para modelagem de processos de negócio, incluindo BPMN, carecem da representação dessas propriedades não funcionais, criando uma lacuna entre a identificação de propriedades funcionais e não funcionais e também entre a modelagem do processo e sua implementação. Este projeto de mestrado teve como objetivo contribuir para o preenchimento dessa lacuna, propondo a abordagem StrAli-BPM (Strategic Alignment with BPM), que se subdivide nas partes BLA@BPMN e BLA2SLA: a primeira para estender a linguagem BPMN visando incorporar propriedades não funcionais, na forma de BLAs (Business Level Agreements) enriquecidos com KPIs (Key Performance Indicators), em sua estrutura de modelagem de processos; e a segunda para derivar semiautomaticamente um conjunto de SLAs (Service Level Agreements), associados a serviços web, a partir de um BLA pré-definido. Com isso, as áreas de TI e de negócio compartilham uma linguagem comum, facilitando o diálogo e o alinhamento entre os objetivos organizacionais e as obrigações da TI. / The strategic alignment between the Information Technology (IT) and the Business areas is motivated by the need of large organizations to exploit IT\'s ability to transform business processes and deliver good products and services to stand out in a competitive scenario. In this context, Business Process Management (BPM) and Service Orientation gain space in organizations, since they are able to automate and optimize the needed processes and services for the business. In the process and services treatment, it is important to attend not only functional properties (i.e., activities that must be executed), but also non-functional properties, such as operating and quality constraints; thereby, it is possible to minimize waste of IT investments due to inefficiency and rework. The most prestigious languages for business process modeling, including BPMN, lack representation of these non-functional properties, which creates a gap between the identification of functional and non-functional properties as well as between the process modeling and its implementation. This masters project aimed to contribute to filling this gap by proposing the StrAli-BPM (Strategic Alignment with BPM) approach, which is divided in two parts BLA@BPMN and BLA2SLA: the former to extend the BPMN language aiming to embody non-functional properties, in the form of BLAs (Business Level Agreements) enriched with KPIs (Key Performance Indicators); and the latter to semi-automatically derive a set of SLAs (Service Level Agreements), associated with web services, from a pre-defined BLA. In doing so, IT and Business areas share a common language, simplifying dialogue and alignment between organizational objectives and IT obligations.

Made available in DSpace on 2016-12-23T14:33:33Z (GMT). No. of bitstreams: 1 Romulo Arpini - Parte 1.pdf: 1684521 bytes, checksum: 258db1cddcd5120d8961c4a55aa1c741 (MD5) Previous issue date: 2012-08-31 / The need to relate the various architectural domains captured in partial descriptions of an enterprise is addressed in virtually all enterprise modeling approaches. One of these domains, namely that of organizational behavior, has received significant attention in recent years in the context of business process modeling and management. Another important domain, that of organizational structure is strongly inter-related with the process domain. While the process domain focuses on how the business process activities are structured and performed, the organizational structure domain focuses on who performs these activities, i.e., which kinds of entities in an organization are capable of performing work. Given the strong connection between the organizational behavior and organizational resources, we argue that any comprehensive enterprise modeling technique should explicitly establish the relations between the modeling elements that represent organizational behavior, called here behavioral elements, and those used to represent the organizational resources (organizational actors) involved in these activities, called here active structure elements. Despite the importance of the relations between these architectural domains, many of the current enterprise architecture and business process modeling approaches lack support for the expressiveness of a number of important active structure allocation scenarios. This work aims to overcome these limitations by proposing a framework for active structure assignment that can be applied to enterprise architecture and business process modeling approaches. This framework enriches the expressiveness of existing techniques and supports the definition of precise active structure assignments. It is designed such that it should be applicable to a number of enterprise architecture and business process modeling languages, i.e., one should be able to use and apply different (enterprise and business process) modeling languages to the framework with minor changes / A necessidade de se relacionar os vários domínios arquiteturais capturados em descrições parciais de uma organização é, virtualmente, tratado em todas as abordagens de modelagem de arquiteturas organizacionais. Um destes domínios, particularmente chamado de comportamento organizacional, tem recebido atenção significativa nos últimos anos no contexto de modelagem e gerenciamento de processos de negócio. Outro domínio importante, chamado de estrutura organizacional, é fortemente inter-relacionado com o domínio de processo. Enquanto o domínio de processo foca em "como" as atividades de processos de negócio são estruturadas e executadas, o domínio de estrutura organizacional foca em "quem" executa essas atividades, i.e., quais tipos de entidades em uma organização são capazes de executar trabalho. Dada a forte conexão entre o comportamento organizacional e os recursos organizacionais, nós argumentamos que qualquer técnica de modelagem de arquitetura organizacional deve explicitamente estabelecer relações entre os elementos de modelagem que representam o comportamento organizacional, chamado aqui de elementos comportamentais e aqueles suados para representar recursos organizacionais (atores organizacionais) envolvidos nestas atividades, chamados aqui de elementos da estrutura ativa. Apesar da importância das relações entre esses domínios arquiteturais, muitas das abordagens de modelagem de processo de negócio e modelagem de arquiteturas organizacionais tem um suporte insuficiente para expressar uma quantidade importante de cenários de alocação da estrutura ativa. Este trabalho visa superar essas limitações propondo um framework para a atribuição da estrutura ativa que pode ser aplicado a abordagens de modelagem de processo de negócio e modelagem de arquitetura organizacionais. Esse framework enriquece a expressividade das técnicas existentes e dá suporte à definição de atribuições precisas da estrutura ativa. Ele é desenvolvido tal que pode ser aplicável a linguagens de modelagem de processo de negócio e linguagens de modelagem de arquiteturas organizacionais, i.e., é possível utilizar e aplicar diferentes linguagens de modelagem ao framework com mudanças mínimas

O alinhamento estratégico entre as áreas de Tecnologia da Informação (TI) e de negócio é motivado pela necessidade das grandes organizações em aproveitar a capacidade da TI em transformar processos de negócio e disponibilizar bons produtos e serviços, destacando-se em um cenário competitivo. Nesse contexto, a Gestão de Processos de Negócio (BPM Business Process Management) e a Orientação a Serviços ganham espaço nas organizações por serem capazes de automatizar e aperfeiçoar os processos e os serviços necessários ao Negócio. No tratamento de processos e serviços, é importante atentar-se não apenas a propriedades funcionais (ou seja, as atividades que devem ser realizadas), mas também a propriedades não funcionais, tais como restrições de operação e de qualidade; dessa forma, é possível minimizar o desperdício de investimentos em TI com ineficiência e retrabalho. As linguagens mais conceituadas para modelagem de processos de negócio, incluindo BPMN, carecem da representação dessas propriedades não funcionais, criando uma lacuna entre a identificação de propriedades funcionais e não funcionais e também entre a modelagem do processo e sua implementação. Este projeto de mestrado teve como objetivo contribuir para o preenchimento dessa lacuna, propondo a abordagem StrAli-BPM (Strategic Alignment with BPM), que se subdivide nas partes BLA@BPMN e BLA2SLA: a primeira para estender a linguagem BPMN visando incorporar propriedades não funcionais, na forma de BLAs (Business Level Agreements) enriquecidos com KPIs (Key Performance Indicators), em sua estrutura de modelagem de processos; e a segunda para derivar semiautomaticamente um conjunto de SLAs (Service Level Agreements), associados a serviços web, a partir de um BLA pré-definido. Com isso, as áreas de TI e de negócio compartilham uma linguagem comum, facilitando o diálogo e o alinhamento entre os objetivos organizacionais e as obrigações da TI. / The strategic alignment between the Information Technology (IT) and the Business areas is motivated by the need of large organizations to exploit IT\'s ability to transform business processes and deliver good products and services to stand out in a competitive scenario. In this context, Business Process Management (BPM) and Service Orientation gain space in organizations, since they are able to automate and optimize the needed processes and services for the business. In the process and services treatment, it is important to attend not only functional properties (i.e., activities that must be executed), but also non-functional properties, such as operating and quality constraints; thereby, it is possible to minimize waste of IT investments due to inefficiency and rework. The most prestigious languages for business process modeling, including BPMN, lack representation of these non-functional properties, which creates a gap between the identification of functional and non-functional properties as well as between the process modeling and its implementation. This masters project aimed to contribute to filling this gap by proposing the StrAli-BPM (Strategic Alignment with BPM) approach, which is divided in two parts BLA@BPMN and BLA2SLA: the former to extend the BPMN language aiming to embody non-functional properties, in the form of BLAs (Business Level Agreements) enriched with KPIs (Key Performance Indicators); and the latter to semi-automatically derive a set of SLAs (Service Level Agreements), associated with web services, from a pre-defined BLA. In doing so, IT and Business areas share a common language, simplifying dialogue and alignment between organizational objectives and IT obligations.

In electronic commerce, systems development is based on two fundamental types of models, business models and process models. A business model is concerned with value exchanges among business partners, while a process model focuses on operational and procedural aspects of business communication. Thus, a business model defines the what in an e-commerce system, while a process model defines the how. Business process design can be facilitated and improved by a method for systematically moving from a business model to a process model. Such a method would provide support for traceability, evaluation of design alternatives, and seamless transition from analysis to realization. This work proposes a unified framework that can be used as a basis to analyze, to interpret and to understand different concepts associated at different stages in e-Commerce system development. In this thesis, we illustrate how UN/CEFACT’s recommended metamodels for business and process design can be analyzed, extended and then integrated for the final solutions based on the proposed unified framework. Also, as an application of the framework, we demonstrate how process-modeling tasks can be facilitated in e-Commerce system design. The proposed methodology, called BP3 stands for Business Process Patterns Perspective. The BP3 methodology uses a question-answer interface to capture different business requirements from the designers. It is based on pre-defined process patterns, and the final solution is generated by applying the captured business requirements by means of a set of production rules to complete the inter-process communication among these patterns.

The first steps in the software development life cycle are crucial for a successful software product. In this scenario, modeling activities play an important role in the requirements specification and other activities throughout the Project. Although the modeling activities of business processes and activities related to Requirements Engineering are recognized as important individually, some approaches have considered the integration of these activities. In this context, this master thesis proposes an approach and corresponding guidelines for integration of modeling software requirements with SysML and modeling of business processes and workflows with the support of BPMN. This relationship is represented with both graphical models and tabular format. Therefore, software developers can track business processes and software requirements already during the initial activities of the software development process. The proposed approach has been presented to a group of systems analysts, university professors and master students. These participants answered to a questionnaire based on TAM theory mostly agreeing that integrating BPMN and SysML will contribute positively for documentation , validation and tracking requirements. Despite their interest in learning more about the two languages, they declared di culty in performing integration and the cost to use this proposal in projects in industry. This work has also presented a report of the experience in HU / UFS and a guide to integration of BPMN and SysML to assist the development of a patient’s Electronic Health Record in a public hospital. / Os primeiros passos no ciclo de vida de desenvolvimento de software são cruciais para um produto de software bem sucedido. Neste cenário, as atividades de modelagem desempenham um papel importante na especificação de requisitos e demais atividades em todo o projeto. Embora as atividades de modelagem de processos de negócio e as atividades relacionadas com a Engenharia de Requisitos sejam reconhecidas como importantes individualmente, algumas abordagens têm considerado a integração destas atividades. Neste contexto, este trabalho propõe uma abordagem e orientações correspondentes à integração dos modelos de processos de negócio elaborados com BPMN e modelos de requisitos de software com SysML. Essa relação é representada tanto com modelos gráficos como em formato tabular. Portanto, os desenvolvedores de software podem rastrear os processos de negócio e requisitos de software já durante as atividades iniciais do processo de desenvolvimento de software. A abordagem proposta foi apresentada a um grupo de analistas de sistemas, professores universitários que lecionam a disciplina Engenharia de Software e estudantes de mestrado do curso de Ciência da Computação da Universidade Federal de Sergipe, e respondendo a um questionário baseado na teoria TAM afirmaram que a integração BPMN e SysML irá contribuir positivamente nas atividades de documentação, validação e rastreamento de requisitos. Apesar do interesse em aprender mais sobre as duas linguagens, os participantes na pesquisa declararam a dificuldade em realizar a integração e o custo em utilizar esta proposta em projetos reais. Neste trabalho foi ainda apresentado um relato da experiência no Hospital Universitário da Universidade Federal de Sergipe (HU/UFS) e um guia para integração de modelos elaborados com BPMN e SysML, para auxiliar o desenvolvimento de um prontuário eletrônico do paciente em um hospital público.

The scope of this thesis is the field of business process modeling and additionally the usability of business process models in areas like conceptual analysis of IS/ICT, business process reengineering and business process management. For the purpose of evaluation of the usability of current standards for business process modeling, an framework for comparison of various characteristics of these standards is proposed. This thesis has two aims. Primarily, to develop an approach for evaluation of business process modeling standards, and as a secondary aim, to apply this evaluation model onto a set of selected standards for business process modeling and thus perform a comparison of these standards. The evaluation model has two main components. The first part is to create a set of characteristics which represent two existing points of view onto the exploitability business process modeling (e.g. during the development of IS/ICT and during BPR/BPM1). During the identification of particular characteristics, a research into the related literature and other sources has been performed to provide a sufficient basis for this activity. The second part of the developed approach is to the application of PEMM (Process & Enterprise Maturity Model), which was developed by Dr. M. Hammer for the purpose os auditing the maturity of business processes. Both of these parts are then put together into one evaluation framework. Based on information gathered from the respective specifications of particular standards, related literature and articles, we've performed an application of this evaluation framework on three standards for business process modeling: EPC, BPMN and IDEF3. The benefits of this thesis could be seen as a creation of a very own approach for evaluation of business process modeling standards. Additionally by performing the comparison of these three standards for business process modeling we've created a guideline which could be there fore applied by the potential reader during the decision making of what standard to use for business process modeling (in the context of expected purpose of this modeling).

This thesis deals with process modeling respectively application specific modeling methodology developed by prof. Ing. Václav Řepa Csc. for the selected company active in manufacturing. The main objective and part of the thesis forms creation of process model. It's preceded by introductory description of the selected company and its global long-term goals set by management, SWOT analysis revealing strengths, weaknesses, opportunities and threats, on the basis of which is elaborated a strategy to exploit opportunities for the development of strengths. Before analyzing the processes and the design of process model Balanced Scorecard analysis is realized. Within its four perspectives, I propose and summarize the identified targets, along with their metrics, current and desired state. Further it's followed by process analysis and elaboration of process models to global (Eriksson-Penker model) and detailed (BPMN notation) level. Models have added the descriptive tables and description and main points of the design are summarized in the end. The main objective of work is followed by others, represented by the comparison of designed model and current situation in company, where is implemented quality management system ISO 9001:2000 (comparing similarities and differences, problems of quality system, etc.) and assessment of enviromental maturity of the company and its functioning from process perspective, using the knowledge model Michael Hammer PEMM (Process & Enterprise Maturity Model). Information obtained from the analysis and designs are put into context with each other to ensure consistency of whole design and my thesis and summarized in Chapter Conclusion.