Generation and evaluation of business continuity processes using algebraic graph transformation and the mCRL2 process algebra

Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on best practices that focus on specific continuity scenarios, Nevertheless, failures can occur in new and unforeseen combinations. As a consequence, a given business continuity plan needs to handle such situations as well. For this purpose, we present a technique for the generation and validation of the universe of continuity processes given a critical business process at Credit Suisse. The presented approach uses a combination of formal methods in the area of algebraic graph transformation and process algebra encompassing modal logic. The overall approach prepares for a sound evaluation of the effectiveness and efficiency of such plans. It uses formal tools, not standard software engineering solutions, to benefit from formal guarantees that facilitate the implementation of local and global security requirements. Keywords: business continuity, business process, algebraic graph transformation, process algebra, generation, evaluation, enterprise modelin

Um modelo de avaliação semi-automatizada de processos de software alinhado ao BPMN

TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.Nos últimos anos o mercado de software vem crescendo, e a procura por qualidade em softwares tem sido um fator muito importante no processo de desenvolvimento de software. Considerando esse fator, uma forma de alcançar um desenvolvimento que possa garantir um produto final que tenha qualidade se dá por meio da adoção de processos de qualidade. Como alternativa de solução, normas e modelos de referência como MPS.BR ou CMMI têm sido utilizados para proporcionar melhores práticas na definição de processos, no intuito de fornecer qualidade e melhorias no processo de desenvolvimento de software e por consequência, no produto final. Com o advento das abordagens ágeis, empresas e organizações não só mudaram o modo como desenvolvem software mas também o modo como gerenciam seus processos, o que implica em como garantir a qualidade e maturidade durante o desenvolvimento em organizações que adotam esse tipo de prática. Atualmente as avaliações de processos ocorrem de forma manual, o que demanda tempo e implica em alto custo, acabando por não se alinhar muito para ambientes ágeis. Este trabalho pretende desenvolver um modelo para auxiliar equipes que desenvolvem softwares em ambientes ágeis, com o objetivo de avaliar a qualidade de seus processos por meio de uma forma semi-automatizada de avaliação, a ser desenvolvida utilizando-se a BPMN para modelar processos de software em uma plataforma BPMS. O modelo é avaliado por meio da aplicação prática na modelagem, a avaliação automatizada utiliza processos de uma empresa de software, e os resultados indicam que o modelo é aplicável e fácil de entender, atingindo seus objetivos de uso.In recent years the software market has been growing, and the demand for software quality has been a very important factor in the software development process. Considering this factor, one way to achieve a development that can guarantee a final product that has quality is through the adoption of quality processes. As an alternative solution, standards and reference models such as MPS.BR or CMMI have been used to provide best practices in process definition in order to provide quality and improvements in the software development process and consequently in the final product. With the advent of agile approaches, companies and organizations have not only changed the way they develop software but also the way they manage their processes, which implies how to guarantee quality and maturity during development in organizations that adopt this type of practice. Currently, process evaluations occur manually, which takes time and implies high costs, and does not align very well for agile environments. This work intends to develop a model to assist teams that develop software in agile environments, with the objective of evaluating the quality of their processes through a semi-automated form of evaluation, to be developed using BPMN to model processes of software on a BPMS platform. The model is evaluated through practical application in modeling, an automated evaluation uses the processes of a software company, and the results indicate that they are specific and easy to understand, reaching their goals of use