Two of the main needs when developing an information system for an organization are that system analysts know and understand the application domain and that the system properly supports the business processes of the organization. Consequently, elicitation of system requirements from business process models has been acknowledged as a suitable activity to deal with that needs. In addition, system requirements must be linked to subsequent development stages. However, system analysts can face many challenges when performing these activities. They may have problems communicating with customer stakeholders and may need to analyse and operationalize the purpose of the information system. Furthermore, system analysts must bridge the gap between business and system domains for specification of system requirements, specify different types of system requirements and guarantee that their specification is precise, consistent and homogeneous. In relation to object-oriented conceptual modelling-based information system development, system analysts must also avoid potential problems that may arise when a conceptual schema is created from system requirements as part of their link with subsequent development stages. For example, a conceptual schema can be incomplete and/or inconsistent if it is not properly managed. As a solution, this thesis presents a methodological approach for business process-based requirements specification and object-oriented conceptual modelling of information systems. The approach consists of four stages: organizational modelling, purpose analysis, specification of system requirements and derivation of object-oriented diagrams. By following the design research methodology for performing research in information systems, the methodological approach has been designed on the basis of many existing ideas and principles in academia and industry and provides new principles, mechanisms and guidance to address the challenges presented above. / De La Vara González, JL. (2011). Business process-based requirements specification and object-oriented conceptual modelling of information systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/11445 / Palancia

The COVID-19 pandemic has seriously impacted the global economy, especially port trade. The port of Jiujiang was hit hard by the COVID-19 pandemic. Jiujiang port is an important port in China's inland rivers, an important hub of the regional transportation system, and an important port for foreign trade and plays a great role in economic development.This article uses a questionnaire survey to find that the factors affecting ports during the COVID-19 pandemic include an increase in COVID-19 diagnosis, a decline in demand, and rising port costs. These factors are analyzed using the BPMN model and BMC model. The BPMN model describes the container handling process in Jiujiang Port and is used to analyze the increase in COVID-19 diagnosis. BMC's Western Europe tour describes the corporate structure of Jiujiang Port. It is used to analyze the decline in demand and rising port costs.The measures of Jiujiang Port Use electronic communication instead of human contact, Port expansion, and building big data platform are used to deal with these three factors affecting the port. These measures are analyzed using SWOT analysis to analyze their strengths, weaknesses, challenges, and opportunities. Improvements to these measures are proposed. Requiring ships and ports to communicate electronically, build big data platforms, and expand ports were measures taken by Jiujiang Port as response measures to the COVID-19 Pandemic. Recommended measures for digitalization are: provide digital training for employees, increase data communication with other ports and enterprises, make thorough plans, complete the realization of intelligent scenarios, and pay attention to government countermeasures and market changes.

This diploma thesis is dedicated to the examination of maturity levels of the rescue service of the central bohemian region. Furthermore to using the results of the examination to formulate recomandations in order to ease possible effort of the management to introduce approaches of the process management into the organization. Levels of maturity are examined by the factors identified by Mike Hammer in his PEMM (Process and Enterprise Maturity Model) model. Whole document is logically divided into four parts. The first part consists of detail description of the organization from three different angles. Purpose of the organization, strategic goals of the management and the organizational structure. Second part includes global and detail business process models created by the MMABP (Methodology for Modelling and Analysis of Business Process) by prof. Ing. Václav Řepa Csc. The models are created in the BPMN (Business Process Modelling Notation) and Eriksson-Penker notation. There are also included process interfaces and object lifecycles in the second part. Third part is where the comparison of described reality and the PEMM model factors of maturity is being made. All the maturity levels of the factors are argumented here as well. In the last part of this document, there is a presentation of the recomandations concluded from the previous comparison.

The aim of the thesis is to design a web services architecture that shall support the automatic determination of a personalised sensor-system, which is embedded in smart garments, and which shall be used in self-care in order to allow a profane user to record himself a personal electrocardiogram (ECG), at anytime and anywhere. The main challenge consists in the intelligent and dynamic orchestration of context-aware business services that supply the user with an optimal personalised solution, while mastering the system's complexity: context dependent user and system interactions, knowledge extraction from subject-specific vital signs, services reconfiguration automation. The solution to this challenge is to create an Ambient Intelligence which goes beyond Ubiquitous Computing and is capable to replace an expert by proposing an Intelligent Assistance to any citizen. We propose a methodology expressed in terms of Data and Model driven Service Oriented Architecture (DM-SOA), which provides a framework for the production of context-aware intelligent business services. This architecture supports the automation of sophisticated and personalised expert activities, which apply professional knowledge to process an individual case. The proposed solution is based on a new dynamic business process modelling approach and in its implementation via automatically reconfigurable services. It consists in setting-up an intelligent environment based on a business process ontology of context-aware concepts and on related context handling rules for services orchestration. A core-ontology has been designed to support the automation of expert activities related to decision-making. The soundness of the method and of the underlying decision-making techniques has been demonstrated in the cardiology domain for selecting the most adequate subject-specific sensor-system, characterised by its ability to yield for an ECG signal of similar diagnostic content than a standard 12-lead ECG. We propose the design of a new three modalities sensor-system prototype as a response to the need of sensor-systems used on demand in self-care situations and ensuring diagnostic quality signals recordings. This prototype has been tested on a set of healthy volunteers presenting various characteristics in age, sex and morphology. In this context, Ambient Intelligence is demonstrated as an ensemble of professional quality services ready to use by profane users. These services are accessible pervasively, trough the objects people work with / wear on / use each day, and provide an appropriate guidance to the non-competent users. Such an Ambient Intelligence approach strongly supports the vision of an Information Society which corresponds to the long-term goal of the EU Information Society Technologies Research Programme that aims to ease knowledge access. The future healthcare will benefit from this approach and will significantly improve patient care.

Workflow systems aim to provide automated support for the conduct of certain business processes. Workflow systems are driven by workflow specifications which among others, capture the execution interdependencies between various activities. These interdependencies are modelled by means of different control flow constructors, e.g., sequence, choice, parallelism and synchronisation. It has been shown in the research on workflow patterns that the support for and the interpretation of various control flow constructs varies substantially across workflow systems. Two of the most problematic patterns relate to the OR-join and to cancellation. An OR-join is used in situations when we need to model " wait and see" behaviour for synchronisation. Different approaches assign a different (often only intuitive) semantics to this type of join, though they do share the common theme that synchronisation is only to be performed for active paths. Depending on context assumptions this behaviour may be relatively easy to deal with, though in general its semantics is complicated, both from a definition point of view (in terms of formally capturing a desired intuitive semantics) and from a computational point of view (how does one determine whether an OR-join is enabled?). Many systems and languages struggle with the semantics and implementation of the OR-join because its non-local semantics require a synchronisation depending on an analysis of future execution paths. This may require some non-trivial reasoning. The presence of cancellation features and other OR-joins in a workflow further complicates the formal semantics of the OR-join. The cancellation feature is commonly used to model external events that can change the behaviour of a running workflow. It can be used to either disable activities in certain parts of a workflow or to stop currently running activities. Even though it is possible to cancel activities in workflow systems using some sort of abort function, many workflow systems do not provide direct support for this feature in the workflow language. Sometimes, cancellation affects only a selected part of a workflow and other activities can continue after performing a cancellation action. As cancellation occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. We take on the challenge of providing formal semantics, verification techniques as well as an implementation for workflows with those features. This thesis addresses three interrelated issues for workflows with cancellation regions and OR-joins. The concept of the OR-join is examined in detail in the context of the workflow language YAWL, a powerful workflow language designed to support a collection of workflow patterns and inspired by Petri nets. The OR-join semantics has been redesigned to represent a general, formal, and decidable approach for workflows in the presence of cancellation regions and other OR-joins. This approach exploits a link that is proposed between YAWL and reset nets, a variant of Petri nets with a special type of arc that can remove all tokens from a place. Next, we explore verification techniques for workflows with cancellation regions and OR-joins. Four structural properties have been identified and a verification approach that exploits coverability and reachability notions from reset nets has been proposed. The work on verification techniques has highlighted potential problems with calculating state spaces for large workflows. Applying reduction rules before carrying out verification can decrease the size of the problem by cutting down the size of the workflow that needs to be examined while preserving some essential properties. Therefore, we have extended the work on verification by proposing reduction rules for reset nets and for YAWL nets with and without OR-joins. The proposed OR-join semantics as well as the proposed verification approach have been implemented in the YAWL environment.

Over the past decade, the ubiquity of business processes and their need for ongoing management in the same manner as other corporate assets has been recognized through the establishment of a dedicated research area: Business Process Management (or BPM). There are a wide range of potential software technologies on which a BPM o®ering can be founded. Although there is signi¯cant variation between these alternatives, they all share one common factor { their execution occurs on the basis of a business process model { and consequently, this ¯eld of technologies can be termed Process-Aware Information Systems (or PAIS). This thesis develops a conceptual foundation for PAIS based on the results of a detailed examination of contemporary o®erings including work°ow and case han- dling systems, business process modelling languages and web service composition languages. This foundation is based on 126 patterns that identify recurrent core constructs in the control-°ow, data and resource perspectives of PAIS. These patterns have been used to evaluate some of the leading systems and business process modelling languages. It also proposes a generic graphical language for de¯ning exception handling strategies that span these perspectives. On the basis of these insights, a comprehensive reference language { newYAWL { is developed for business process modelling and enactment. This language is formally de¯ned and an abstract syntax and operational semantics are provided for it. An assessment of its capabilities is provided through a comprehensive patterns-based analysis which allows direct comparison of its functionality with other PAIS. newYAWL serves as a reference language and many of the ideas embodied within it are also applicable to existing languages and systems. The ultimate goal of both the patterns and newYAWL is to improve the support and applicability of PAIS.

Thesis (MScEng)-- Stellenbosch University, 2013. / ENGLISH ABSTRACT: Organizations formally define and document their business processes in order to properly understand them and to subsequently enable their continuous development, improvement and management. In order to formally define and document their business processes, organizations can use Business Process Modelling, which represents the design of graphical models that portray the business processes of organizations. It is however noted that it is difficult to select a suitable Business Process Modelling Technique in support of a specific application of Business Process Modelling. This is due to the considerable amount of existing Business Process Modelling Techniques, the inherent impact of their varying capabilities and the lack of formal measures that are available to support evaluations regarding their suitability for specific modelling applications. It is therefore considered appropriate to execute a research study that is aimed at the development and validation of a measurement framework that can be used to evaluate the suitability of Business Process Modelling Techniques for specific modelling applications. / AFRIKAANSE OPSOMMING: Organisasies definieer en dokumenteer hulle besigheidsprosesse op ʼn formele wyse om hulle ordentlik te verstaan en gevolglik hulle deurlopende ontwikkeling, verbetering en bestuur te bemagtig. Ten einde die uitvoering van hierdie aktiwiteit aan te spreek, kan organisasies Besigheidsproses Modellering gebruik om grafiese modelle van hulle besigheidsprosesse te ontwerp. Daar word egter kennis geneem dat dit moeilik is om ʼn geskikte Besigheidsproses Modellering Tegniek te kies tes ondersteuning van ʼn spesifieke toepassing van Besigheidsproses Modellering. Dit is weens die groot hoeveelheid bestaande Besigheidsproses Modellering Tegnieke, die impak van hulle variërende vermoëns asook die gebrek aan formele maatstawwe wat gebruik kan word om hulle geskiktheid vir spesifieke modellering toepassings te evalueer. Dit lei tot die besluit om ‘n studie te voltooi wat gefokus is op die ontwikkeling en validasie van ʼn metings raamwerk wat gebruik kan word om die geskiktheid van Besigheidsproses Modellering Tegnieke vir spesifieke toepassings van Besigheidproses Modellering te evalueer.

Actualmente, la World Wide Web se ha convertido en la plataforma más común para llevar a cabo el desarrollo de aplicaciones corporativas. Estas aplicaciones reciben el nombre de aplicaciones Web y entre otras funciones, deben de dar soporte a los Procesos de Negocio (PN) definidos por las corporaciones. Esta tesis presenta un método de Ingeniería Web que permite el modelado y la construcción sistemática de aplicaciones Web que soportan la ejecución de PN. En este trabajo se conciben los PN desde un punto de vista más amplio que el abordado por otros métodos de Ingeniería Web. El tipo de PN abordados incluye tanto procesos cortos como largos. A grosso modo, esta concepción más amplia permite considerar procesos que involucran diferentes participantes (personas y/o sistemas) los cuales cooperan para llevar a cabo un objetivo particular. Además, dependiendo del tipo de proceso que se esté ejecutando (corto o largo), la interacción del usuario con el sistema deberá adaptarse a cada caso. El método presentado en esta tesis ha sido desarrollado basándose en el Desarrollo de Software Dirigido por Modelos. De esta forma, el método propone un conjunto de modelos que permiten representar los diferentes aspectos que caracterizan las aplicaciones Web que soportan la ejecución de PN. Una vez el sistema ha sido representado en los modelos correspondientes, mediante la aplicación de transformación de modelos se obtiene otros modelos (transformaciones de modelo-a-modelo) e incluso el código que representa el sistema modelado en términos de un lenguaje de implementación (transformaciones de modelo-a-texto). El método propuesto en esta tesis está soportado por una herramienta llamada BIZZY. Esta herramienta ha sido desarrollada en el entorno de Eclipse y cubre el proceso de desarrollo desde la fase de modelado hasta la generación de código. En particular, el código generado corresponde con el framework Web Tapestry (framework que genera aplicaciones Web en Java) y con WS-BPEL, / Torres Bosch, MV. (2008). A web engineering approach for the development of business process-driven web applications [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2933 / Palancia

This thesis engages in process modelling and description of selected business processes which are underway in the department of Economy and Operation of the Czech TV, in Television studio in Brno. The process models are created using the CASE tool Adonis. The theoretical part is focused on clarifying important concepts, methodologies and tools in the process management. In the analytical part, the selected processes are thoroughly described and graphically illustrated. The proposal part of the thesis highlights the improvement of selected business processes and assesses their effectiveness.

(in English): The basis of this diploma thesis is to describe business process modelling and its current use in IT companies. The subject is to determine if respondents use process modelling in their companies or if they find it unsuitable. In the theoretical part, modelling in the context of information science, new media, and some models of communication are briefly presented. An important part of the theory is focused on the chapter of cognitive modelling, as a basic approach for creating process models. It follows an introduction of process modelling and a current market overview in this industry. The practical part maps the use of modelling in companies. Methodology is presented as first followed by data analysis. The research uses questionnaire survey for data collection, for qualitative data processing applies the grounded theory. Finally, the thesis evaluates the current state of modelling on the Czech market and defines the strengths and weaknesses of the process modelling.