O gerenciamento de processos de negócio (BPM) objetiva a melhor documentação e padronização dos processos de negócio, além do aumento da eficiência e qualidade na execução dos processos. Um processo de negócio pode ser representado graficamente, através da Notação e Modelo de Processo de Negócio – BPMN (Business Process Model and Notation), a qual é um padrão da OMG (Object Management Group) para modelagem de processos. A BPMN provê um extenso conjunto de elementos de modelagem, tais como atividades, eventos e desvios, que possibilitam a representação de uma grande variedade de processos de negócio. É uma notação com alto poder de expressão que permite capturar a relação lógica e temporal entre atividades, objeto de dados e recursos. Contudo, considerando a especificação da BPMN, existem limitações entre a definição dos elementos notacionais e sua respectiva codificação (no formato XML). Por exemplo, não está expresso no XML do elemento fluxo de mensagem alguma definição que permita conectar apenas elementos posicionados em piscinas distintas, tal como descrito na definição conceitual da notação O principal enfoque deste trabalho é o desenvolvimento de uma lógica que permita expressar a definição textual para cada elemento notacional. Tal lógica foi chamada neste trabalho de meta-algoritmo. Para verificar a expressividade dos metaalgoritmos propostos, foi utilizado técnicas de Teste de Software, baseado em tabelas de decisão e grafos de fluxo de controle. Além disso, foi aplicado um questionário com o objetivo de verificar a aceitação perante os usuários. Como resultado, destaca-se que os meta-algoritmos tiveram aceitação de 73,33% dos participantes do questionário. A principal contribuição deste trabalho é prover uma lógica mais aderente às definições textuais dos elementos notacionais, além de evidenciar que os usuários podem ter um maior entendimento, conforme verificado no questionário aplicado. / Business process management (BPM) enables the documentation and standardization of business processes, increasing efficiency and quality in their execution. A business process can be represented graphically by Business Process Model and Notation – BPMN, which is an OMG (Object Management Group) standard for process modeling. BPMN provides an extensive set of modeling elements, such as activities, events and gateways, which enables the representation of a wide variety of business processes. It presents high expression power that captures both temporal and logical relations between activities, data object and resources. However, considering the BPMN specification, there exists a lack of conformity between the conceptual BPMN elements definition and their respective codification (in XML format). For example, it is not expressed in the XML Message Flow element any definition to connect only elements from different pools, as described in the conceptual element definition The main goal of this work is to develop a logic that enables to express the rules described in the conceptual element definition, for each notational element. In this work, meta-algorithm is the term used to refer to this logic. Techniques of Software Testing, such as decision tables and graph coverage were used to check expressiveness of the proposed meta-algorithms. In order to verify the acceptance of users, a survey was applied, to verify the acceptance with users. As result, meta-algorithms had accepted by 73.33% participants. As main contribution this work provides a more adherent logic, compared to conceptual element definition, as well an evidence that users can have an increasing of understanding, like verified in the survey.

Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-09T17:53:10Z No. of bitstreams: 2 DISSERTAÇÃO Jesse James Matos Soares.pdf: 4718950 bytes, checksum: 36756badbb43c11e14f0f31fc74d81da (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T17:53:10Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Jesse James Matos Soares.pdf: 4718950 bytes, checksum: 36756badbb43c11e14f0f31fc74d81da (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-04-25 / A adoção da Gestão de Processos de Negócios vem crescendo nos mais diversos tipos de instituições em geral, nos últimos anos, principalmente a partir da criação da BPMN como ferramenta gráfica para o desenho dos processos. A BPMN (Business Process Model and Notation) se destaca dentre várias notações pela sua simplicidade e facilidade de entendimento. Apesar da sua força como notação gráfica, a BPMN carece de um formalismo matemático que possa avaliar a eficiência de um determinado fluxo de processo. Por outro lado as redes de Petri como uma notação madura, com forte formalismo matemático, de larga aceitação na descrição de sistemas discretos e bastante popular no meio acadêmico mas pouco conhecida e utilizada entre as pessoas de negócios, não só tem uma notação gráfica eficiente como possui várias formas de avaliação formal de desempenho dos grafos criados. O presente trabalho vem juntar-se a várias iniciativas de unir essas duas notações para tentar obter o melhor que ambas oferecem, ou seja para ter em mãos tanto a facilidade de uso e entendimento da BPMN quanto o formalismo matemático e simplicidade gráfica das Redes de Petri. Para isso é apresentado um modelo de transformação e seu respectivo protótipo capaz de transformar um diagrama BPMN para o seu equivalente em um diagrama baseado em redes de Petri, mais especificamente uma GSPN (Generalized Stochastic Petri Net), permitindo, dessa forma que avaliações de correção e análise de desempenho específicos das redes resultantes sejam aplicados ao processo transformado.

Made available in DSpace on 2014-06-12T15:57:35Z (GMT). No. of bitstreams: 2 arquivo3211_1.pdf: 3229668 bytes, checksum: 3eb43a3f812cc77f77aa316039a0a366 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Universidade Federal de Pernambuco / O processo de Cooperação Universidade-Empresa se dá através de um conjunto de atividades, passando desde as relações pessoais informais até aquelas em que ocorrem formalmente os acordos de parceria, normalmente representados pelos convênios de cooperação entre empresa e universidade. O Governo, através de um arcabouço legal, tem procurado incentivar tais parcerias. Um dos exemplos importantes deste incentivo, no que tange, em particular, à área de Tecnologia da Informação e Comunicação, é a cooperação Universidade-Empresa que ocorre em função da Lei de Informática. A literatura demonstra que, apesar do reconhecimento da importância da cooperação entre o setor acadêmico e o setor empresarial, a formalização do seu processo na prática enfrenta barreiras, principalmente pelo fato de envolver atores com natureza, a priori, essencialmente distintas. Como uma destas barreiras, destaca-se a burocracia existente nos processos administrativos internos das universidades. Neste contexto, esta pesquisa visa analisar o processo de cooperação Universidade-Empresa, incentivado pela Lei de Informática, que ocorre no âmbito da Universidade Federal de Pernambuco (UFPE), em particular através do seu Centro de Informática (CIn). Utilizando os conceitos de modelagem de processos e com o auxílio da notação BPMN (Business Process Modeling Notation) foi possível identificar e desenhar, no âmbito da UFPE, o cenário atual (situação AS IS) do processo de assinatura do convênio, que é imprescindível para formalizar a parceria. Após análise do cenário atual, apresenta-se uma proposta de melhoria, com o objetivo de reduzir os principais entraves burocráticos identificados. A adoção do cenário proposto (situação TO BE), no âmbito da UFPE, resulta em considerável diminuição do tempo gasto na tramitação do referido processo, contribuindo assim para a agilidade e a dinamicidade da cooperação entre o CIn e as Empresas incentivadas pela Lei de Informática

Made available in DSpace on 2014-06-12T16:00:45Z (GMT). No. of bitstreams: 2 arquivo6946_1.pdf: 2936868 bytes, checksum: 385f753c6b8c624fde65aed76f1ebf6a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Os conceitos de SOA (Service Oriented Architecture) e composição de serviços estão cada vez mais presentes nas soluções de softwares. A composição de serviços permite que serviços sejam criados a partir da utilização de outros serviços e disponibilizados por terceiros. Neste contexto, a especificação requisitos não funcionais relacionados aos serviços de uma composição e a busca de serviços que atendam esses requisitos é essencial tanto para o rápido desenvolvimento de uma composição quanto para que o arquiteto de soluções tenha uma maior confiabilidade dos serviços que ele utiliza. Projetar, implantar e executar composição de serviços e os seus requisitos não funcionais associados são atividades naturalmente complexas. Isso ocorre porque estas atividades normalmente envolvem múltiplas partes interessadas, incluindo especialistas no domínio de negócio, especialistas nos requisitos não funcionais, desenvolvedores de serviços e equipe de TI. Além disto, enquanto ambientes de modelagem de processos de negócio são comuns, não há nenhum ambiente de desenvolvimento de um processo de negócio que inclua aspectos não funcionais. Este trabalho propõe uma ferramenta de modelagem de composição de serviços em BPMN (Business Process Modeling Notation) com anotações de requisitos não funcionais. A principal contribuição deste trabalho é o desenvolvimento de um ambiente, chamado Sec-MoSC Editor (Security for Model-oriented Service Composition Editor), onde processos de negócios com anotações de requisitos não funcionais são especificados. O Sec-MoSC Editor é também responsável por gerar um artefato com todas as anotações (serviços e aspectos não funcionais) utilizado como base para geração de código executável da composição

Ingeniero Civil en Computación / En el año 2011 se implementó un sitio Web llamado U-Papers que se encargaba de almacenar y consultar publicaciones científicas del Departamento de Ciencias de la Computación (D.C.C.) de la Universidad de Chile. Con la ayuda de este sitio, la administración del Departamento asignaba Fondos de Investigación Individual (FII) a los acádemicos que realizaban publicaciones. Luego los académicos podían usar estos fondos para realizar futuras investigaciones. La administración del D.C.C. percibió la necesidad de administrar correctamente esta asignación. El método que se usaba sufría problemas de pérdida de información y éste tenía un acceso muy limitado. Además en la administración se distribuía la información en distintos registros y podían tener diferencias entre sí. Para solucionar estos problemas se implementó un sistema de información administrativa. Este sistema se encargó de gestionar los flujos de trabajo (workflow) y de centralizar la información distribuida. Con la ayuda de la notación B.P.M.N. (Business Process Management Notation) se definieron dos procesos principales. También ayudó a encontrar los casos de uso y los casos excepcionales que se presentaban en los procesos. Como sistema administrador de workflow se utilizó una aplicación llamada Joget Workflow. Esta aplicación es de fuente abierta ("open source"), cuenta con muchas ventajas de un sistema de workflow y con facilidades para adaptar los procesos de negocio. Como resultado final, se construyó un sitio Web llamado U-Fondos que pudo funcionar en un servidor del D.C.C. y distribuir la información de forma remota. El desarrollo fue dividido en varias entregas incrementales. En cada una se implementaron prototipos del sitio y se realizaron pruebas de usabilidad para encontrar los principales errores. También se pudo descubrir el interés y la opinión de los usuarios respecto a la distribución de este tipo de información.

The final thesis is focused on the topic of process management and its development in time. Business Process Management and workflow, are described in the thesis as well as its specification and classification. The paper compares these two concepts. The thesis also works with the methodology of ARIS and Balanced Scorecard which are applied in the selected process of the organization. The process is built on the BPMN notation which is also described in the thesis. The aim of the thesis is to examine and to analyze selected process of the organization with specific methodology, to specify potential problems in the process and to suggest possible solution.

Cílem této práce je navrhnout řešení business intelligence pro Úřad městské části Praha10. Práce úzce souvisí s projektem PARMA který je realizován na Katedře informačních technologií FIS VŠE v rámci kurzu Business Process Engineering a jehož cílem je sestavení jednotného referenčního procesního modelu veřejné správy. Práce se zabývá nalezením vhodných strategických ukazatelů na základě aplikace metody Balanced Scorecard.

This master’s thesis is focused on the analysis of work organization processes and their connection to information systems in a software agency. The theoretical part presents basic approaches to process analysis and the definition of business information systems. The next part analyzes current status in the company with a focus on the use of ICT, selection of a new information system and suggestions to its implementation.

Diploma thesis is focused on the process modelling and innovation of the information system. At the beginning of the thesis, there is modeled project management pro-cesses using BPMN notation. In next part of the thesis is analysed current state of the information system with UML notation. Finally, inovation of the information system are proposed and implemented using Nette Framework.

Diploma thesis addresses the optimisation of the business process in a medium-large automotive company (approx. 500 employees). Business Process Model and Notation (BPMN) and Petri nets were used for optimisation of the process. With this combination, the process was optimised according to Lean manufacturing methodology. In the theoretical part, the definition of the process itself, the process management, and the definition of the processes in the manufacturing company are discussed. The terms that define the methodology of the process modelling and Lean manufacturing are defined as well. The methodological part of the thesis deals with the particular tools of the process modelling (BMPN, BPEL etc.) and the analysis of used technologies within the thesis. The methodology was applied in the practical part of the thesis. After creating the BPMN diagram of the process and simulating the Petri nets to locate the blockings, the proposals of the process opti-misation were created. The following application provides the functionality of ad-ministration and view of the imported processes, the material and personal as-signment, and the calculation of the cost functions for Lean manufacturing. The application provides a decision support to this methodology.