Дисертації: "Structured Process Modeling Language"

1

Pradhan, Shalini Kumar Vijay. "BIOPROML : a biological process modeling language /." Diss., UMK access, 2004.

Анотація:

Thesis (M.S.)--School of Computing and Engineering. University of Missouri--Kansas City, 2004.
"A thesis in computer science." Typescript. Advisor: Vijay Kumar. Vita. Title from "catalog record" of the print edition Description based on contents viewed Feb. 28, 2006. Includes bibliographical references (leaves 73-78). Online version of the print edition.

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Zhang, Xingxing. "Natural language generation as neural sequence learning and beyond." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28930.

Повний текст джерела

Анотація:

Natural Language Generation (NLG) is the task of generating natural language (e.g., English sentences) from machine readable input. In the past few years, deep neural networks have received great attention from the natural language processing community due to impressive performance across different tasks. This thesis addresses NLG problems with deep neural networks from two different modeling views. Under the first view, natural language sentences are modelled as sequences of words, which greatly simplifies their representation and allows us to apply classic sequence modelling neural networks (i.e., recurrent neural networks) to various NLG tasks. Under the second view, natural language sentences are modelled as dependency trees, which are more expressive and allow to capture linguistic generalisations leading to neural models which operate on tree structures. Specifically, this thesis develops several novel neural models for natural language generation. Contrary to many existing models which aim to generate a single sentence, we propose a novel hierarchical recurrent neural network architecture to represent and generate multiple sentences. Beyond the hierarchical recurrent structure, we also propose a means to model context dynamically during generation. We apply this model to the task of Chinese poetry generation and show that it outperforms competitive poetry generation systems. Neural based natural language generation models usually work well when there is a lot of training data. When the training data is not sufficient, prior knowledge for the task at hand becomes very important. To this end, we propose a deep reinforcement learning framework to inject prior knowledge into neural based NLG models and apply it to sentence simplification. Experimental results show promising performance using our reinforcement learning framework. Both poetry generation and sentence simplification are tackled with models following the sequence learning view, where sentences are treated as word sequences. In this thesis, we also explore how to generate natural language sentences as tree structures. We propose a neural model, which combines the advantages of syntactic structure and recurrent neural networks. More concretely, our model defines the probability of a sentence by estimating the generation probability of its dependency tree. At each time step, a node is generated based on the representation of the generated subtree. We show experimentally that this model achieves good performance in language modeling and can also generate dependency trees.

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Svatoš, Oleg. "Business Process Modeling: Process Events and States." Doctoral thesis, Vysoká škola ekonomická v Praze, 2005. http://www.nusl.cz/ntk/nusl-110447.

Повний текст джерела

Анотація:

This thesis focuses on modeling of business processes which are very sensitive on correct capturing of process details characterized as process events and states. At the beginning of the analysis are the process events and states classified into three types: activity related, object related and time related. Each type is analyzed in detail and there are formulated states and their transitions that form a lifecycle of each individual type of the process state. There are discussed contemporary process modeling languages starting from the very popular to relatively less known, all representing slightly different approach towards process modeling. The analysis of process events and states shows that the contemporary process modeling languages cover the defined lifecycles only partially. There are picked three popular process modeling languages and put through a test case, which is based on Czech regulation of a building process. This test case allows us to review their capabilities to capture the process events including the ways how they get along with their only partial support. Upon analysis of process events and states and the unsatisfying results of the con-temporary process modeling languages in the test case, there is introduced a new process modeling language which, as demonstrated, is capable of capturing many of the process events and states in the test case in much simpler and precise way that the three reviewed process modeling languages were able to.

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Mendling, Jan, Henrik Leopold, and Fabian Pittke. "25 Challenges of Semantic Process Modeling." Gitice, 2014. http://epub.wu.ac.at/5983/1/6%2D11%2D1%2DSM.pdf.

Повний текст джерела

Анотація:

Process modeling has become an essential part of many organizations for documenting, analyzing and redesigning their business operations and to support them with suitable information systems. In order to serve this purpose, it is important for process models to be well grounded in formal and precise semantics. While behavioural semantics of process models are well understood, there is a considerable gap of research into the semantic aspects of their text labels and natural language descriptions. The aim of this paper is to make this research gap more transparent. To this end, we clarify the role of textual content in process models and the challenges that are associated with the interpretation, analysis, and improvement of their natural language parts. More specifically, we discuss particular use cases of semantic process modeling to identify 25 challenges. For each challenge, we identify prior research and discuss directions for addressing them.

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Ojo, Tolulope A. "A methodology for modeling healthcare teams and an evaluation of Business Process Modeling Notation as a Modeling Language." Thèse, Université d'Ottawa / University of Ottawa, 2012. http://hdl.handle.net/10393/20699.

Повний текст джерела

Анотація:

Whether it is offering services, delivering solutions or driving innovations, team work has been a hallmark of efficiency and effectiveness in various industries. The healthcare industry is not left out as its service delivery process involves numerous interfaces, information flows and patient hand-offs among professionals with different educational training, differing knowledge levels and possibly working from different locations as well. As healthcare delivery evolves to being more patient-centered, so does the team settings as well, becoming more collaborative. Such changes also translate into a need for support systems to evolve to be able to provide support for the extent of collaboration that would be needed. A framework is needed to guide in the development of such systems. However, due to the varying needs of patients, team types and make-up would generally differ, so we explored the different types of team settings studying what they entail based on their various degrees of collaboration. We therefore present in this thesis a model of team based concepts, an ontology formalizing the model, team based scenarios designed using the ontology and then application of the scenarios to test the ability of BPMN (Business Process Modeling Notation) to model healthcare teams.

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Zhang, Yanpeng, and Ce Zhou. "Introducing Domain Specific Language for Modeling Scrum Projects." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-13328.

Повний текст джерела

Анотація:

Context. A clear software process definition is important because it can help developers to share a common understanding and improve the development effectiveness. However, if the misconceptions or misunderstandings are introduced to the team during the process definition, it will bring numerous uncertain problems to the projects and reduce the productivity. Scrum is one of the most popular Agile development processes. It has been frequently used in software development. But the misunderstanding of usage of the Scrum method always leads to situations where teams cannot achieve the hyper-productivity even failure. Therefore, introducing a reasonable graphical language for describing the Scrum process may help learners to gain a correct and common understanding of the Scrum method. Objectives. In this study, we introduce a graphical Domain Specific Language for modeling the Scrum process and specific Scrum projects. Further, we evaluated the proposed language to figure out if and how this language can help developers learn Scrum method and understand the specific Scrum projects. For the first, we decide to extract the essential elements and their relative relationships of the Scrum process, and based on that, we define and specify the graphical language. After that, we evaluate the proposed graphical language to validate whether this language can be considered as useful to help developers to learn Scrum method and understand the specific Scrum projects. Methods. In order to define the graphical language, we studied and reviewed the literature to extract the essential elements and their relationships for describing the Scrum process. Based on that, we defined and specified the graphical DSL. With the aim of evaluating the proposed graphical language, we performed the experiment and survey method. This experiment was conducted in an educational environment. The subjects were selected from the undergraduate and master students. At the same time, we carried out a survey to capture the developers‘ opinions and suggestions towards the proposed language in order to validate its feasibility. Results. By studying the literature, we listed and specified the essential elements for describing the Scrum process. By executing the experiment, we evaluated the efficiency and effectiveness of learning Scrum in using the proposed language and the natural language. The result indicates that the graphical language is better than the natural language in training Scrum method and understanding specific Scrum projects. The result shows that the proposed language improved the understandability of the Scrum process and specific Scrum projects by more than 30%. We also performed a survey to investigate the potential use of the proposed graphical DSL in industry. The Survey results show that participants think the proposed graphical language can help them to better understand the Scrum method and specific Scrum projects. Moreover, we noticed that the developers who have less Scrum development experience show more interests in this proposed graphical language. Conclusions. To conclude, the obtained results of this study indicate that a graphical DSL can improve the understandability of Scrum method and specific Scrum projects. Especially in managing the specific Scrum project, subjects can easily understand and capture the detailed information of the project described in the proposed language. This study also specified the merits and demerits of using the graphical language and textual language in describing the Scrum process. From the survey, the result indicates that the proposed graphical language is able to help developers to understand Scrum method and specific Scrum projects in industry. Participants of this survey show positive opinion toward the proposed graphical language. However, it is still a rather long way to applying such a graphical language in Scrum projects development because companies have to consider the extra learning effort of the graphical DSL.

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Harihara, Ramachandra Sharma. "Modeling of Scheduling Algorithms with Alternative Process Plans in an Optimization Programming Language." Ohio University / OhioLINK, 2004. http://www.ohiolink.edu/etd/view.cgi?ohiou1108045192.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Bieszczad, Jerry 1971. "A framework for the language and logic of computer-aided phenomena-based process modeling." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/16735.

Повний текст джерела

Анотація:

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 2000.
Includes bibliographical references (p. 273-277).
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Chemical process engineering activities such as design, optimization, analysis, control, scheduling, diagnosis, and training all rely on mathematical models for solution of some engineering problem. Likewise, most of the undergraduate chemical engineering curricula are model-based. However, the lack of formalization and systematization associated with model development leads most students and engineers to view modeling as an art, not as a science. Consequently, model development in practice is usually left to specialized modeling experts. This work seeks to address this issue through development of a framework that raises the level of model development from procedural computations and mathematical equations to the fundamental concepts of chemical engineering science. This framework, suitable for implementation in a computer-aided environment, encompasses a phenomena-based modeling language and logical operators. The modeling language, which represents chemical processes interms of interacting physicochemical phenomena, provides a high-level vocabulary for describing the topological and hierarchical structure of lumped or spatially distributed systems, mechanistic characterization of relevant phenomena (e.g., reactions, equilibria, heat and mass transport), and thermodynamic and physical characterization of process materials. Thelogical operators systematize the modeling process by explicitly capturing procedural and declarative aspects of the model ingactivity.
(cont.) This enables a computer to provide assistance for analyzing and constructing phenomena-based models, detect model inconsistencies and incompleteness, and automatically derive and explain the resulting model equations from chemical engineering first principles. In order to provide an experimental apparatus suitable for evaluating this framework, the phenomena-based language and logical operators have been implemented in a computer-aided modeling environment, named MODEL.LA. MODEL.LA enables phenomena-based modeling of dynamic systems of arbitrary structure and spatial distribution, hierarchical levels of detail, and multicontext depictions. Additional components allow incorporation of thermodynamic and physical property data, integration of control structures, operational task scheduling, and external models,and assistance for specification and solution of the resulting mathematical model. Application of this environment to several modeling examples, as well as its classroom and industrial deployment, demonstrate the potential benefits of rapid, reliable, and documented chemical process modeling that may be realized from this high-level phenomena-based approach.
by Jerry Bieszczad.
Ph.D.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Scott, Erin G. "Process algebra with layers : a language for multi-scale integration modelling." Thesis, University of Stirling, 2016. http://hdl.handle.net/1893/23516.

Повний текст джерела

Анотація:

Multi-scale modelling and analysis is becoming increasingly important and relevant. Analysis of the emergent properties from the interactions between scales of multi-scale systems is important to aid in solutions. There is no universally adopted theoretical/computational framework or language for the construction of multi-scale models. Most modelling approaches are specific to the problem that they are addressing and use a hybrid combination of modelling languages to model specific scales. This thesis addresses if process algebra can offer a unique opportunity in the definition and analysis of multi-scale models. In this thesis the generic Process Algebra with Layers (PAL) is defined: a language for multi-scale integration modelling. This work highlights the potential of process algebra to model multi-scale systems. PAL was designed based on features and challenges found from modelling a multi-scale system in an existing process algebra. The unique features of PAL are the layers: Population and Organism. The novel language modularises the spatial scales of the system into layers, therefore, modularising the detail of each scale. An Organism can represent a molecule, organelle, cell, tissue, organ or any organism. An Organism is described by internal species. An internal species, dependent on the scale of the Organism, can also represent a molecule, organelle, cell, tissue, organ or any organism. Populations hold specific types of Organism, for example, life stages, cell phases, infectious states and many more. The Population and Organism layers are integrated through mirrored actions. This novel language allows the clear definition of scales and interactions within and between these scales in one model. PAL can be applied to define a variety of multi-scale systems. PAL has been applied to two unrelated multi-scale system case studies to highlight the advantages of the generic novel language. Firstly the effects of ocean acidification on the life stages of the Pacific oyster. Secondly the effects of DNA damage from cancer treatment on the length of a cell cycle and cell population growth.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Decker, Gero. "Design and analysis of process choreographies." Phd thesis, Universität Potsdam, 2009. http://opus.kobv.de/ubp/volltexte/2010/4076/.

Повний текст джерела

Анотація:

With the rise of electronic integration between organizations, the need for a precise specification of interaction behavior increases. Information systems, replacing interaction previously carried out by humans via phone, faxes and emails, require a precise specification for handling all possible situations. Such interaction behavior is described in process choreographies. Choreographies enumerate the roles involved, the allowed interactions, the message contents and the behavioral dependencies between interactions. Choreographies serve as interaction contract and are the starting point for adapting existing business processes and systems or for implementing new software components. As a thorough analysis and comparison of choreography modeling languages is missing in the literature, this thesis introduces a requirements framework for choreography languages and uses it for comparing current choreography languages. Language proposals for overcoming the limitations are given for choreography modeling on the conceptual and on the technical level. Using an interconnection modeling style, behavioral dependencies are defined on a per-role basis and different roles are interconnected using message flow. This thesis reveals a number of modeling "anti-patterns" for interconnection modeling, motivating further investigations on choreography languages following the interaction modeling style. Here, interactions are seen as atomic building blocks and the behavioral dependencies between them are defined globally. Two novel language proposals are put forward for this modeling style which have already influenced industrial standardization initiatives. While avoiding many of the pitfalls of interconnection modeling, new anomalies can arise in interaction models. A choreography might not be realizable, i.e. there does not exist a set of interacting roles that collectively realize the specified behavior. This thesis investigates different dimensions of realizability.
Elektronische Integration zwischen Organisationen erfordert eine präzise Spezifikation des Interaktionsverhaltens: Informationssysteme, die Kommunikation per Telefon, Fax und Email ablösen, können nicht so flexibel und selbständig auf Ausnahmesituationen reagieren wie Menschen. Choreographien ermöglichen es, Interaktionsverhalten genau zu spezifizieren. Diese Modelle zählen die beteiligten Rollen, die erlaubten Interaktionen, Nachrichteninhalte und Verhaltensabhängigkeiten auf und dienen somit als Interaktionsvertrag zwischen den Organisationen. Auch als Ausgangspunkt für eine Anpassung existierender Prozesse und Systeme sowie für die Implementierung neuer Softwarekomponenten finden Choreographien Anwendung. Da ein Vergleich von Choreographiemodellierungssprachen in der Literatur bislang fehlt, präsentiert diese Arbeit einen Anforderungskatalog, der als Basis für eine Evaluierung existierender Sprachen angewandt wird. Im Kern führt diese Arbeit Spracherweiterungen ein, um die Schwächen existierender Sprachen zu überwinden. Die vorgestellten Erweiterungen adressieren dabei Modellierung auf konzeptioneller und auf technischer Ebene. Beim Verlinkungsmodellierungsstil werden Verhaltensabhängigkeiten innerhalb der beteiligten Rollen spezifiziert und das Interaktionsverhalten entsteht durch eine Verlinkung der Kommunikationsaktivitäten. Diese Arbeit stellt einige "Anti-Pattern" für die Verlinkungsmodellierung vor, welche wiederum Untersuchungen bzgl. Choreographiesprachen des Interaktionsmodellierungsstils motivieren. Hier werden Interaktionen als atomare Blöcke verstanden und Verhaltensabhängigkeiten werden global definiert. Diese Arbeit führt zwei neue Choreographiesprachen dieses zweiten Modellierungsstils ein, welche bereits in industrielle Standardisierungsinitiativen eingeflossen sind. Während auf der einen Seite zahlreiche Fallstricke der Verlinkungsmodellierung umgangen werden, können in Interaktionsmodellen allerdings neue Anomalien entstehen. Eine Choreographie kann z.B. "unrealisierbar" sein, d.h. es ist nicht möglich interagierende Rollen zu finden, die zusammen genommen das spezifizierte Verhalten abbilden. Dieses Phänomen wird in dieser Arbeit über verschiedene Dimensionen von Realisierbarkeit untersucht.

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Miltenberger, Louis C. "Finite element modeling of the filament winding process using ABAQUS." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-06232009-063022/.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Jones, David R. "A Software Reengineering Method for Evolving a Structured Legacy System to an Object-Oriented System Model Using the Unified Modeling Language." NSUWorks, 2001. http://nsuworks.nova.edu/gscis_etd/618.

Повний текст джерела

Анотація:

The problem investigated by the researcher in this study is the lack of advancement of software reengineering methods that involve modeling and the migration of a structured legacy system to an object-oriented system. The solution proposed in the study was implemented with the Unified Modeling Language (UML). Given the many benefits of object-oriented systems over conventional procedural systems and the rapidly escalating costs of maintenance of systems written in conventional languages, the migration of billions of lines of procedural code written into object-oriented languages is an attractive option. However, conversion of procedural systems into object-oriented systems has been an elusive goal. The purpose of the researcher in this study was to define a method from a systems perspective for the software reengineering of legacy systems into an object-oriented system using the UML as the textual and graphical depiction of the reengineered legacy system. The method consisted of the process or steps to be taken when extracting the functionality of the legacy system to its subsequent depiction using the UML. The expectations of this research included the development of an abstract methodology for software reengineering of a structured legacy system into the model of an object-oriented design using the UML from a systems perspective. The model was validated through the study of a specific example. This approach did not employ a traditional quantitative research method; demonstration of the methodology's feasibility was based on a case study that consisted of application of the methodology to a legacy system. Metrics were applied to determine the quality of the resulting reengineered object-oriented UML model. The method this researcher defined integrated the extraction of coded information with domain knowledge to achieve the UML depicted object-oriented target architecture. It was demonstrated through the reengineering of a single application in the legacy.

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Dafnis, Bill. "XML Process Modeling for Disruptive Change Planning: A Case Study of Newspaper Circulation Processes." NSUWorks, 2008. http://nsuworks.nova.edu/gscis_etd/127.

Повний текст джерела

Анотація:

Disruptive change transforms existing organizational processes. Newspaper organizations such as Orlando Sentinel Communications (OSC) tend to resist process change. As with most newspaper companies in the United States, OSC management was confronted with unprecedented disruptive change and challenges by the accelerated evolution of its business models and processes. This investigation identified and modeled OSC circulation processes to support disruptive change initiatives. The XML Process Definition Language (XPDL) is an XML specification and process modeling solution developed by the Workflow Management Coalition (WFMC) designed to exchange workflow process semantics and graphics. This investigation focused on developing an XPDL process model of OSC circulation processes to address process transformations inherent to disruptive change. The method was a case study of OSC circulation processes through the System Development Life Cycle (SDLC) framework to develop a reproducible XPDL process model for OSC to use in planning for disruptive change. The investigation found that XPDL to be well-suited as the language for expressing workflow models to plan, align, and implement processes that anticipate disruptive change. The results of this research also confirmed that organizational values, workflow activities, and subflows play a prominent role in an incumbent organization's response to disruptive change. Finally, this study established that process model metainformation associated with workflow activities, transitions, and resources are core attributes in planning for disruptive change.

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Polyvyanyy, Artem. "Structuring process models." Thesis, University of Potsdam, 2012. https://eprints.qut.edu.au/103118/1/103118.pdf.

Повний текст джерела

Анотація:

One can fairly adopt the ideas of Donald E. Knuth to conclude that process modeling is both a science and an art. Process modeling does have an aesthetic sense. Similar to composing an opera or writing a novel, process modeling is carried out by humans who undergo creative practices when engineering a process model. Therefore, the very same process can be modeled in a myriad number of ways. Once modeled, processes can be analyzed by employing scientific methods. Usually, process models are formalized as directed graphs, with nodes representing tasks and decisions, and directed arcs describing temporal constraints between the nodes. Common process definition languages, such as Business Process Model and Notation (BPMN) and Event-driven Process Chain (EPC) allow process analysts to define models with arbitrary complex topologies. The absence of structural constraints supports creativity and productivity, as there is no need to force ideas into a limited amount of available structural patterns. Nevertheless, it is often preferable that models follow certain structural rules. A well-known structural property of process models is (well-)structuredness. A process model is (well-)structured if and only if every node with multiple outgoing arcs (a split) has a corresponding node with multiple incoming arcs (a join), and vice versa, such that the set of nodes between the split and the join induces a single-entry-single-exit (SESE) region; otherwise the process model is unstructured. The motivations for well-structured process models are manifold: (i) Well-structured process models are easier to layout for visual representation as their formalizations are planar graphs. (ii) Well-structured process models are easier to comprehend by humans. (iii) Well-structured process models tend to have fewer errors than unstructured ones and it is less probable to introduce new errors when modifying a well-structured process model. (iv) Well-structured process models are better suited for analysis with many existing formal techniques applicable only for well-structured process models. (v) Well-structured process models are better suited for efficient execution and optimization, e.g., when discovering independent regions of a process model that can be executed concurrently. Consequently, there are process modeling languages that encourage well-structured modeling, e.g., Business Process Execution Language (BPEL) and ADEPT. However, the well-structured process modeling implies some limitations: (i) There exist processes that cannot be formalized as well-structured process models. (ii) There exist processes that when formalized as well-structured process models require a considerable duplication of modeling constructs. Rather than expecting well-structured modeling from start, we advocate for the absence of structural constraints when modeling. Afterwards, automated methods can suggest, upon request and whenever possible, alternative formalizations that are "better" structured, preferably well-structured. In this thesis, we study the problem of automatically transforming process models into equivalent well-structured models. The developed transformations are performed under a strong notion of behavioral equivalence which preserves concurrency. The findings are implemented in a tool, which is publicly available.

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Leopold, Henrik, Eid-Sabbagh Rami-Habib, Jan Mendling, Azevdo Leonardo Guerreiro, and Fernanda Araujo Baião. "Detection of Naming Convention Violations in Process Models for Different Languages." Elsevier, 2013. http://dx.doi.org/10.1016/j.dss.2013.06.014.

Повний текст джерела

Анотація:

Companies increasingly use business process modeling for documenting and redesigning their operations. However, due to the size of such modeling initiatives, they often struggle with the quality assurance of their model collections. While many model properties can already be checked automatically, there is a notable gap of techniques for checking linguistic aspects such as naming conventions of process model elements. In this paper, we address this problem by introducing an automatic technique for detecting violations of naming conventions. This technique is based on text corpora and independent of linguistic resources such as WordNet. Therefore, it can be easily adapted to the broad set of languages for which corpora exist. We demonstrate the applicability of the technique by analyzing nine process model collections from practice, including over 27,000 labels and covering three different languages. The results of the evaluation show that our technique yields stable results and can reliably deal with ambiguous cases. In this way, this paper provides an important contribution to the field of automated quality assurance of conceptual models.

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Akbiyik, Eren Kocak. "Service Oriented System Design Through Process Decomposition." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12609884/index.pdf.

Повний текст джерела

Анотація:

Although service oriented architecture has reached a particular maturity level especially in the technological dimension, there is a lack of common and acceptable approach to design a software system through composition and integration of web services. In this thesis, a service oriented system design approach for Service Oriented Architecture based software development is introduced to fill this gap. This new methodology basically offers a procedural top-down decomposition of a given software system allowing several abstraction levels. At the higher levels of the decomposition, the system is divided into abstract nodes that correspond to process models in the decomposition tree. Any node is a process and keeps the sequence and the state information for the possible sub-processes in this decomposition tree. Nodes which are defined as process models may include some sub-nodes to present details for the intermediate levels of the model. Eventually at the leaf level, process models are decomposed into existing web services as the atomic units of system execution. All processes constructing the system decomposition tree are modeled with BPEL (Business Process Execution Language) to expose the algorithmic details of the design. This modeling technique is also supported with a graphical modeling language referred to as SOSEML (Service Oriented Software Engineering Modeling Language) that is also newly introduced in this thesis.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Arendt, Thorsten [Verfasser], and Gabriele [Akademischer Betreuer] Taentzer. "Quality Assurance of Software Models - A Structured Quality Assurance Process Supported by a Flexible Tool Environment in the Eclipse Modeling Project / Thorsten Arendt. Betreuer: Gabriele Taentzer." Marburg : Philipps-Universität Marburg, 2014. http://d-nb.info/1052995144/34.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Pamplin, Jason Andrew. "Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software." unrestricted, 2007. http://etd.gsu.edu/theses/available/etd-04222007-205349/.

Повний текст джерела

Анотація:

Thesis (Ph. D.)--Georgia State University, 2007.
Title from file title page. Ying Zhu, committee chair; Xiaolin Hu, Geoffrey Hubona, Roy Johnson, Rajshekhar Sunderraman, committee members. Electronic text (216 p. : ill. (some col.)) : digital, PDF file. Description based on contents viewed Nov. 29, 2007. Includes bibliographical references (p. 209-216).

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Schlechte, John Warren. "Stage-structured analysis and modeling of the Pacific razor clam (Siliqua patula) in a changing environment : investigation of population dynamics and harvest strategies using process models and simulation /." Thesis, Connect to this title online; UW restricted, 1996. http://hdl.handle.net/1773/5277.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Vacek, Antonín. "Business Process Reengineering in public sector." Master's thesis, Vysoká škola ekonomická v Praze, 2010. http://www.nusl.cz/ntk/nusl-72462.

Повний текст джерела

Анотація:

The main goal of this work is to create some kind of simple methodology that can help to improve effectiveness of public organizations. There're a lot of theories and methodologies focused on this topic and there is a good chance many new ones will be presented in the future. These came mainly from management field and sometimes from other fields as well. This work focuses mainly on Business Process Reengineering and combines it with other methodologies hoping, it will help in a process improvements in the public sector. Focus is on Czech Republic but this work should be useful to other countries as well, if necessary changes are made in order to shape things that are different between the countries. In this work, a whole project cycle of the public organization processes improvement project can be found, but some project phases will be explained in more detail then the other. Focus is on the analytic parts of the project (strategy creation, use of UML, BSC and other models and methodologies like that) rather than the project management parts of the project. All the practical examples are from public sector organization -- namely the administrative office of one of the city districts of Prague. After reading this work, reader should have moderate understanding of the application of a BPR methodology in the public sector and how it can be supported by other methodologies. There is also big portion of models and diagrams in this work showing pieces of reality from chosen public organization. Their meaning is to show what is usually done in this kind of project and how to understand the models. This works goal isn't creation of a guideline to UML or any other modeling principles.

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Alenazi, Mounifah. "Toward Improved Traceability of Safety Requirements and State-Based Design Models." University of Cincinnati / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1623168093414723.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Siddiqi, Saad Ahmed. "Smart Card Packaging Process Control System." Thesis, KTH, Kommunikationssystem, CoS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-100020.

Повний текст джерела

Анотація:

The project focuses on the packaging process of the smart card manufacturing industry. The idea of the project concerns how to increase production packaging efficiency by introducing a control system. After taking an in-depth look at the current production environment, the following system goals were defined: packaging time reduction, cost reduction, decrease in human errors, and reducing the number of customer complaints. To achieve these goals, the thesis project was divided into the following tasks: discovering a feasible solution, actual system development, testing, and evaluation. The proposed system is based on hardware (i.e. barcode scanner, and barcode printer) integrated with customized control software. The barcode scanner acts as a bridge between the system and the production process by scanning a barcode printed on each product. The system prints the required information label for the product’s package according to the scanned product. This label is pasted on the product’s box and is used as a tracking tool during further production steps. The system is very flexible and suits any packaging model. Other functional properties maintained in the system include data security, product traceability, and real time production monitoring. Testing of the system was done in an actual production environment at an Oberthur Technologies manufacturing site. Two production lines were selected to test the system’s functionality, specifically the SIM card production packaging line and the Scratch card/ Bank Card production packaging line. The results obtained during the evaluation phase of the proposed system show that the proposed solution decreased the packaging processing time by (27.3%) over the previous values. Moreover, the resulting human error rate is close to (zero%).
Projektet fokuserar på förpackningen processen smartkortet tillverkningsindustrin. Tanken med projektet handlar om hur att öka effektiviteten produktionen förpackningar genom att införa ett styrsystem. Efter att ha tagit en fördjupad titt på den nuvarande produktionsmiljö, var följande systemkrav mål definieras: nedsättning förpackning tid, minskade kostnader, minskad mänskliga fel och minska antalet kundklagomål. För att uppnå dessa mål var examensarbetet indelad i följande uppgifter: att upptäcka en genomförbar lösning, faktisk systemutveckling, testning och utvärdering. Det föreslagna systemet bygger på hårdvara (dvs streckkodsläsare och streckkod skrivare) integreras med skräddarsydd styrprogram. Den streckkodsläsare fungerar som en bro mellan systemet och produktionsprocessen genom att läsa en streckkod tryckt på varje produkt. Systemet skriver den erforderliga informationen etiketten för produktens förpackning enligt den scannade produkten. Denna etikett klistras in på produktens ask och används som ett verktyg för spårning under ytterligare produktionssteg. Systemet är mycket flexibelt och passar varje förpackning modell. Andra funktionella egenskaper bibehålls i systemet inkluderar datasäkerhet, spårbarhet och i realtid övervakning av produktionen. Testning av systemet gjordes i en verklig produktionsmiljö i ett Oberthur Technologies tillverkningsanläggning. Två produktionslinjer valdes för att testa systemets funktionalitet, särskilt i SIM-kortet produktionen förpackning linje och skrapkort / Bank kortproduktion förpackningslinje. De resultat som erhållits under utvärderingsfasen av det föreslagna systemet visar att den föreslagna lösningen minskade tiden förpackningen behandling av (27,3 %) jämfört med föregående värden. Dessutom är den resulterande mänskliga fel som ligger nära (noll %).

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Nikola, Luburić. "Integration of Software Security Design Analysis to the Agile Development Process." Phd thesis, Univerzitet u Novom Sadu, Fakultet tehničkih nauka u Novom Sadu, 2020. https://www.cris.uns.ac.rs/record.jsf?recordId=111796&source=NDLTD&language=en.

Повний текст джерела

Анотація:

This thesis presents research in the field of securesoftware engineering. Two methods aredeveloped that, when combined, facilitate theintegration of software security design analysisinto the agile development workflow. The firstmethod is a training framework for creatingworkshops aimed at teaching software engineerson how to perform security design analysis. Thesecond method is a process that expands on thesecurity design analysis method to facilitate betterintegration with the needs of the organization. Thefirst method is evaluated through a controlledexperiment, while the second method is evaluatedthrough comparative analysis and case studyanalysis, where the process is tailored andimplemented for two different software vendors.
U sklopu disertacije izvršeno je istraživanje uoblasti razvoja bezbednog softvera. Razvijene sudve metode koje zajedno omogućuju integracijubezbednosne analize dizajna softvera u procesagilnog razvoja. Prvi metod predstavlja radni okvirza konstruisanje radionica čija svrha je obukainženjera softvera kako da sprovode bezbednosnuanalizu dizajna. Drugi metod je proces kojiproširuje metod bezbednosne analize dizajnakako bi podržao bolju integraciju spram potrebaorganizacije. Prvi metod je evaluiran krozkontrolisan eksperiment, dok je drugi metodevaluiran upotrebom komparativne analize ianalize studija slučaja, gde je procesimplementiran u kontekstu dve organizacije kojese bave razvojem softvera.

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Valente, Pedro Dionísio. "Goals Software Construction Process." Master's thesis, Universidade da Madeira, 2007. http://hdl.handle.net/10400.13/13.

Повний текст джерела

Анотація:

Generalized hyper competitiveness in the world markets has determined the need to offer better products to potential and actual clients in order to mark an advantagefrom other competitors. To ensure the production of an adequate product, enterprises need to work on the efficiency and efficacy of their business processes (BPs) by means of the construction of Interactive Information Systems (IISs, including Interactive Multimedia Documents) so that they are processed more fluidly and correctly.The construction of the correct IIS is a major task that can only be successful if the needs from every intervenient are taken into account. Their requirements must bedefined with precision, extensively analyzed and consequently the system must be accurately designed in order to minimize implementation problems so that the IIS isproduced on schedule and with the fewer mistakes as possible. The main contribution of this thesis is the proposal of Goals, a software (engineering) construction process which aims at defining the tasks to be carried out in order to develop software. This process defines the stakeholders, the artifacts, and the techniques that should be applied to achieve correctness of the IIS. Complementarily, this process suggests two methodologies to be applied in the initial phases of the lifecycle of the Software Engineering process: Process Use Cases for the phase of requirements, and; MultiGoals for the phases of analysis and design. Process Use Cases is a UML-based (Unified Modeling Language), goal-driven and use case oriented methodology for the definition of functional requirements. It uses an information oriented strategy in order to identify BPs while constructing the enterprise’s information structure, and finalizes with the identification of use cases within the design of these BPs. This approach provides a useful tool for both activities of Business Process Management and Software Engineering. MultiGoals is a UML-based, use case-driven and architectural centric methodology for the analysis and design of IISs with support for Multimedia. It proposes the analysis of user tasks as the basis of the design of the: (i) user interface; (ii) the system behaviour that is modeled by means of patterns which can combine Multimedia and standard information, and; (iii) the database and media contents. This thesis makes the theoretic presentation of these approaches accompanied with examples from a real project which provide the necessary support for the understanding of the used techniques.
Orientador Professor Doutor Paulo Nazareno Maia Sampaio

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Ferreira, Renato César Borges. "Uma abordagem semiautomática para identificação de elementos de processo de negócio em texto de linguagem natural." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2017. http://hdl.handle.net/10183/156635.

Повний текст джерела

Анотація:

Para permitir um efetivo gerenciamento de processos de negócio, o primeiro passo é o desenvolvimento de modelos de processo adequados aos objetivos das organizações. Tais modelos são utilizados para descreverem papéis e responsabilidades dos colaboradores nas organizações. Além disso, a modelagem de processos é de grande importância para documentar, entender e automatizar processos. As organizações, geralmente provêm documentos não estruturados e de difícil entendimento por parte dos analistas. Neste panorama, a modelagem de processos se torna demorada e de alto custo, podendo gerar modelos de processo que estão em desacordo com a realidade prevista pelas organizações. A extração de modelos ou fragmentos de processo a partir de descrições textuais pode contribuir para minimizar o esforço necessário à modelagem de processos. Neste contexto, esta dissertação propõe uma abordagem para identificar elementos de processo de negócio em texto em linguagem natural de forma semiautomática. Baseado no estudo de processamento de linguagem natural, foi definido um conjunto de regras de mapeamento para identificar elementos de processo em descrição textual Além disso, para avaliar as regras de mapeamento e viabilizar a abordagem proposta, foi desenvolvido um protótipo capaz de identificar elementos de processo em texto de forma semiautomática. Para medir o desempenho do protótipo proposto, foram utilizadas métricas de recuperação de informação, tais como precisão, revocação e medida-F. Além disso, foram aplicados dois questionários com o objetivo de verificar a aceitação perante os usuários. As avaliações apresentam resultados promissores. A análise de 70 textos, apresentou, em média, 73,61% de precisão, 70,15% de revocação e 71,82% de medida-F. Além disso, os resultados do primeiro e segundo questionários apresentaram, em média, 91,66% de aceitação dos participantes. A principal contribuição deste trabalho é propor regras de mapeamento para identificar elementos de processo em texto em linguagem natural para auxiliar e minimizar o tempo necessário à modelagem de processos realizada pelos analistas de processo.
To enable effective business process management, the first step is the design of appropriate process models to the organization’s objectives. These models are used to describe roles and responsibilities of the employees in an organizations. In addition, business process modeling is very important to report, understand and automate processes. However, the documentation existent in organizations about such processes is mostly unstructured and difficult to be understood by analysts. In this context, process modeling becomes highly time consuming and expensive, generating process models that do not comply with the reality of the organizations. The extracting of process models from textual descriptions may contribute to minimize the effort required in process modeling. In this context, this dissertation proposes a semi-automatic approach to identify process elements in natural language text. Based on the study of natural language processing, it was defined a set of mapping rules to identify process elements in text. In addition, in order to evaluate the mapping rules and to demonstrate the feasibility of the proposed approach, a prototype was developed able to identify process elements in text in a semiautomatic way To measure the performance of the proposed prototype metrics were used to retrieve information such as precision, recall, and F-measure. In addition, two surveys were developed with the purpose of verifying the acceptance of the users. The evaluations present promising results. The analyses of 70 texts presented, on average, 73.61% precision, 70.15% recall and 71.82% F-measure. In addition, the results of the first and second surveys presented on average 91.66% acceptance of the participants. The main contribution of this work is to provide mapping rules for identify process elements in natural language text to support and minimize the time required for process modeling performed by process analysts.

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Jayaweera, Prasad M. "A Unified Framework for e-Commerce Systems Development : Business Process Pattern Perspective." Doctoral thesis, Kista : Dept. of Computer and Systems Sciences [Institutionen för Data- och Systemvetenskap], Univ./KTH, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-219.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Ghanta, Neelima. "Integrating Geospatial Technologies into the Property Management Process of the Transportation Right-Of-Way." Thesis, Virginia Tech, 2007. http://hdl.handle.net/10919/31280.

Повний текст джерела

Анотація:

Property Management, one functional area within Right-of-Way offices in state transportation agencies, is responsible for managing the property acquired for highway projects. These activities are data and document intensive and efficiency for performing them would be improved through the implementation of an information management system. Because of the geospatial nature of many of these activities, geographic information systems (GIS) would increase the effectiveness of this system. A literature review and survey were conducted to understand the current state of practice for the use of GIS and information management systems in Property Management. There is no identified comprehensive system that covers all Property Management activities. An initial step in developing a geospatially-enabled enterprise-level information management system, a logical model was developed. This included developing the business process diagram, business process models, and use case models based on the principles of systems engineering using the Computer Aided Software (CASE) Enterprise Architecture. Activities that would benefit from a geospatial component have been identified and included in the models. The developed models have been validated by working with PennDOT staff. The resulting model serves as a standard template for state transportation agencies and helps conceptualize the advantages of integration and interaction with other systems, and geospatial enablement prior to investment in an information management system.
Master of Science

Стилі APA, Harvard, Vancouver, ISO та ін.

28

El, Akkaoui Zineb. "A BPMN-based conceptual language for designing ETL processes." Doctoral thesis, Universite Libre de Bruxelles, 2014. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209198.

Повний текст джерела

Анотація:

Business Intelligence (BI) is the set of techniques and technologies that support the decision-making process by providing an aggregated insight on data in the organization. Due to the numerous potentially useful data hold by the events and applications running in the organization, the BI market calls for new technologies able to suitably exploit it for analysis wherever it is available. In particular, the Extract, Transform, and Load (ETL) processes, the fundamental BI technology responsible for integrating and cleansing organization data, must respond to these requirements.

However, the development of ETL processes is still considered to be very complex and time-consuming, to such a point that roughly 80% of the BI project effort is dedicated to the ETL development. Among the phases of ETL development life cycle, ETL modeling is a critical and laborious task. Actually, this phase produces

the first effective formal representation of the ETL process, i.e. ETL model, that is completely reused and refined in the subsequent phases of the development.

Typically, the ETL processes are modeled using vendor-specific ETL tools from the very beginning of development. However, these tools are unsuitable for business users since they induce overwhelming fine-grained models.

As an attempt to provide more appropriate tools to business users, vendor-independent ETL modeling languages have been proposed in the literature. Nevertheless, they still remain immature. In order to get a precise view on these languages, we conduct a survey which: i) defines a set of criteria associated to major ETL

requirements identified in the literature; ii) compares the surveyed conceptual languages, issued from research work, to the physical languages, issued from prominent ETL tools; and iii) studies the whole methodologies of ETL development associated

to these modeling languages.

The analysis of our survey reveals several drawbacks in responding to the ETL requirements. Particularly, the conceptual languages have incomplete elements for ETL modeling with few or no formalization. Several languages are only descriptive with no ability to be automatically implemented into executable code, nor are they able to be automatically maintained according to changes over time.

To address these shortcomings, we present, in this thesis, a novel approach that tackles the whole development life cycle of ETL processes.

First, we propose a new vendor-independent language aiming at modeling ETL processes similar to typical business processes, the processes responsible for managing the operations in an organization. The rational behind this proposal is to provide ETL processes with better access to data in events and applications of the organization, including fresh data, and better design capabilities such as available analysis for any users. By using the standard representation mechanism denoted BPMN (Business Process Modeling and Notation) and a classification of ETL elements resulting from a study of the most used commercial and open source ETL tools, the language enables building agile and full-edged ETL processes. We name our language BPMN4ETL to refer to BPMN for ETL processes.

Second, we build a model-driven framework that provides automatic code generation capability and ameliorates maintenance support of our ETL language. We use the Model-Driven Development (MDD) technology as it helps in developing software, particularly in automating the transformation from one phase of the software development to another. We present a set of model-to-text transformations able to produce code for different business process engines and ETL engines. Also, we depict the model-to-model transformations that automatically update the ETL models with the aim of supporting the maintenance of the generated code according to data source evolution. A demonstration using a case study is conducted as an initial validation to show that the framework covering modeling, implementation and maintenance could be used in practice.

To illustrate new concepts introduced in the thesis, mainly the BPMN4ETL language, and the implementation and maintenance framework, we use a case study from the fictitious Northwind Traders company, a retailer company that imports and exports foods from around the world.
Doctorat en Sciences de l'ingénieur
info:eu-repo/semantics/nonPublished

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Lunelli, Betânia Hoss. "Modelagem e controle da sintese do acido acrilico via processo fermentativo." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/266259.

Повний текст джерела

Анотація:

Orientador: Rubens Maciel Filho
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica
Made available in DSpace on 2018-08-11T04:05:50Z (GMT). No. of bitstreams: 1 Lunelli_BetaniaHoss_D.pdf: 3246538 bytes, checksum: 66490737479c3e4a908963c18fd48b3c (MD5) Previous issue date: 2007
Resumo: A síntese de ácido acrílico via processo fermentativo é um assunto recente, com poucas informações disponíveis na literatura e, tem despertado cada vez mais interesse de pesquisadores. Através da modelagem matemática, é possível obter uma melhor compreensão de um processo em sua totalidade, através de analogias abstratas que possibilitam a predição de um fenômeno. O objetivo deste trabalho consiste no desenvolvimento de modelos determinísticos para representar o processo biotecnológico de síntese de ácido acrílico a partir de uma rota metabólica alternativa, visando estudos do comportamento estacionário/dinâmico do processo, aplicação de técnicas de planejamento experimental para identificação dos parâmetros mais relevantes e otimização dos parâmetros operacionais, com a finalidade de compreender o processo e apresentar uma metodologia alternativa para a sua produção. A partir dos modelos desenvolvidos foi possível obter perfis de concentração dos principais componentes do processo. Depois de identificadas as influências dos parâmetros operacionais, cinéticos e de projeto sobre o processo, os parâmetros operacionais de cada modelo foram otimizados através da aplicação da metodologia de superfície de resposta e do método de otimização por programação quadrática sucessiva. Com a otimização dos parâmetros foi possível encontrar condições de operação que aumentaram a concentração e o rendimento final de ácido acrílico, como também, perceber as limitações dos métodos de otimização usados. Nos modelos com cinética estruturada foram aplicadas estratégias de controle, através das quais foi possível encontrar condições ótimas, podendo com isso operar o biorreator de forma eficiente e segura, além de aumentar o rendimento final de ácido acrílico. Através da realização deste trabalho, pode-se concluir que os modelos desenvolvidos constituem um conjunto de ferramentas interessantes para predizer e investigar o comportamento do processo de síntese de ácido acrílico via processo fermentativo, uma vez que, a literatura ainda não dispõe de trabalhos de modelagem para a síntese de ácido acrílico via rotas fermentativas. Também, servir de apoio para estudos de manipulação genética visando obter microrganismos com capacidade de produzir ácido acrílico em condições economicamente competitivas
Abstract: The acrylic acid synthesis by fermentative process is a recent subject, with few available information in literature and it has demonstrated each time more interest of researchers. Through the mathematical modeling, it is possible to obtain a better understanding of the process behavior if mechanistic models are developed. The purpose of this work is the deterministic model development for the biotechnological process of acrylic acid synthesis through an alternative metabolic route, aiming the studies of both the steady state and dynamic behavior of the process. To investigate the parameters interactions as well as to identify the parameters with the most significant impact on the model experimental design was used and operational parameters were optimized. The purpose is to understand the process and to present an alternative methodology for its production. From of the developed models was possible to obtain the concentration profiles of the process components main. After identified the influence of the operational, kinetic and design parameters about the process, the operational parameters were optimized through the application of the response surface methodology and the successive quadratic programming optimization method. With the optimization of parameters was possible to find out the optimal operational conditions and thus to increase the yield and acrylic acid concentration as well as to perceive the limitation of optimization methods used. In the models with structured kinetic were applied control strategies, where was possible to operate the bioreactor safe and efficiently as well as to increase the acrylic acid final yield. With the realization of this work, it follows that the models developed consist of a set of interesting tools to predict and investigate the behavior of the acrylic acid synthesis by fermentative process, whereas in the literature are not yet available works about modeling of the acrylic acid synthesis from fermentative routes, as well as can to serve as support for studies of genetic manipulation aiming at to obtain microorganisms with capacity to produce acrylic acid in competitive economically conditions
Doutorado
Desenvolvimento de Processos Químicos
Doutor em Engenharia Química

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Ferencz, Erik. "Informační systém pro podporu řízení skladu, obchodu a marketingu." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2007. http://www.nusl.cz/ntk/nusl-412787.

Повний текст джерела

Анотація:

This term project is about analyses and design of information system for administration and managing business firm.System is designed as module system with unlimithed count of modules that coact or are connected with another modules. Each module has its own data tables in database, own Classes which make the middle layer of aplication and graphical interface, but modules are not independent (one module can not work as a system).Iner communication among modules is based on database servers.Part of the application is its own database. To accomplish this project I had to familiarize myself with a problemathic of programming in programming language C# and with database language PostgreSQL

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Teixeira, Junior Gilmar. "Modelagem de sistemas de informação para a mineração de processos: características e propriedades das linguagens." Universidade Federal de Goiás, 2017. http://repositorio.bc.ufg.br/tede/handle/tede/7596.

Повний текст джерела

Анотація:

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-07-19T11:05:26Z No. of bitstreams: 2 Dissertação - Gilmar Teixeira Junior - 2017.pdf: 6982787 bytes, checksum: c52c456e0cb8184f1f7144d862bff726 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-07-19T11:05:52Z (GMT) No. of bitstreams: 2 Dissertação - Gilmar Teixeira Junior - 2017.pdf: 6982787 bytes, checksum: c52c456e0cb8184f1f7144d862bff726 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)
Made available in DSpace on 2017-07-19T11:05:52Z (GMT). No. of bitstreams: 2 Dissertação - Gilmar Teixeira Junior - 2017.pdf: 6982787 bytes, checksum: c52c456e0cb8184f1f7144d862bff726 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-05-03
Storing information in large data repositories (Big Data) creates opportunities for Organizations to use Process Mining techniques to extract knowledge about the performance and actual flow of their processes of business. One of the fundamental elements for achieving this objective is the relationship between process modeling languages, process event logging (logs) and Process Mining algorithms. In this work, comparisons were made between three languages (BPMN, Petri Nets and YAWL) which are usually used to model business processes with respect to their capabilities of use in Process Mining, especially in Process Discovery. The models created were based on typical Workflow patterns and five scenarios were simulated for each language using three Process Discovery algorithms (Alpha, Heuristic Miner and ILP Miner). The results indicate that the choice of the language used in the modeling and in recording of the business processes influences the quality of the results obtained by the Process Discovery algorithms. This work also presents suggestions for the development of process modeling languages and process mining algorithms.
O armazenamento das informações em grandes repositórios de dados (Big Data) geram oportunidades para que as Organizações utilizem técnicas de Mineração de Processos (Process Mining) para extrair conhecimento sobre o desempenho e o fluxo real de seus processos de negócio. Um dos elementos fundamentais para que este objetivo seja alcançado está na relação entre as linguagens de modelagem de processos, o registro dos eventos de processo (logs) e os algoritmos de Mineração de Processos. Neste trabalho, foram realizadas comparações entre três linguagens (BPMN, Redes de Petri e YAWL) normalmente utilizadas para modelar processos de negócio com respeito a suas capacidades de utilização na Mineração de Processos, em especial, na Descoberta de Processos. Os modelos criados foram baseados em padrões típicos de Workflow e cinco cenários foram simulados para cada linguagem utilizando três algoritmos de Descoberta de Processos (Alpha, Heuristic Miner e ILP Miner). Os resultados indicam que a escolha da linguagem utilizada na modelagem e no registro dos processos de negócio influencia na qualidade dos resultados obtidos pelos algoritmos de Descoberta de Processos. O trabalho também apresenta sugestões para o desenvolvimento das linguagens de modelagem de processos e dos algoritmos de Mineração de Processos.

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Gruer, Juan Pablo. "Eléments de synchronisation pour un langage temps-réel de commande de procédés." Mulhouse, 1989. http://www.theses.fr/1989MULH0105.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Marier, Stéphane. "Modélisation et évaluation des performances des processus industriels semi-structurés." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0205.

Повний текст джерела

Анотація:

Cette thèse est consacrée au développement d'une méthodologie de modélisation et d'évaluation des performances des processus industriels semi-structurés. La méthodologie traite des activités d'un processus opérationnel et de leurs relations. Elle s'intéresse non seulement aux relations simples, mais aussi aux relations complexes exprimées dans les coopérations. La méthodologie développée est basée sur les outils IDEF3 et réseaux de Petri stochastiques. La méthode IDEF3 est d'abord utilisée pour formaliser graphiquement le processus non encore observé. Le graphe IDEF3 ainsi obtenu facilite la compréhension de l'objet modélisé et permet la description de ses particularités. L'analyse quantitative du processus est du ressort des réseaux de Petri stochastiques généralisés (RPSG). C'est pourquoi nous établissons une complémentarité entre ces deux outils, en rendant possible le passage de l'un à l'autre. Nous proposons pour cela un équivalent RPSG pour chaque composante graphique IDEF3, des règles de conversion et une procédure de construction du RPSG. Quand des activités coopératives sont rencontrées dans le processus, on les traite séparément. On formalise d'abord ces activités à l'aide d'un modèle descriptif. L'extraction des performances de ce modèle nécessite l'utilisation de la simulation. Le modèle de simulation est défini en deux étapes. La première consiste à valider un modèle partiel au moyen d'un réseau de Petri temporisé stochastique coloré. Une méthode de résolution est définie à cette occasion pour analyser ce réseau. Les spécificités de la coopération sont ensuite ajoutées au modèle partiel. Cette étape ultime permet l'évaluation des durées moyennes des activités coopératives. Le modèle RPSG est complet lorsque l'on intègre les durées des activités coopératives, ces dernières sont alors considérées comme étant liées par des relations simples. L'évaluation des performances du processus est enfin réalisable. La méthodologie proposée a été expérimentée sur deux exemples industriels : un processus de téléopération et un processus de maintenance corrective
This thesis is concerned with the development of a semi-structured business process modeling and performance evaluation method. This method deals with activities of an operational process and their relationships. It handles not only simple relationships, but takes into account complex links expressed by cooperations. The proposed method is based on IDEF3 and Stochastic Petri nets tools. IDEF3 is first used to formalized graphically a non observed process. The IDEF3 graph obtained makes the modeled object easy ro understand and allows to describe its particularities. Generalized stochastic Petri nets (GSPN) are responsible of the process quantitative analysis. For this reason. A "complementarity" is established between the tools. To make it possible to go from IDEF3 to GSPN, a GSPN equivalent for each IDEF3 graphical component, conversion rules and a GSPN building procedure are proposed. When cooperative activities are met into the process, they are treated separately. They are first formalized with a descriptive model. The performance extraction from the model requires the use of simulation. The simulation model is built in two steps. The former consists to validate the partial model by means of a colored stochastic timed Petri net. An analytic method is suggested to analyze this net. Next, the cooperation specificities are added to the partial model. This latter step allows to compute the mean duration of each cooperative activity. The GSPN model is completed when the cooperation durations are integrated, each one being considered then like a simple relationship. Finally, the process performance evaluation can be computed. The developed method has been experimented on two industrial examples : a teleoperation process and a maintenance process

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Montellano, Garcia Ramón Francisco. "Un système d'aide à la modélisation et à la conduite de bioprocédés." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0081.

Повний текст джерела

Анотація:

Conception et developpement d'un systeme d'aide a la modelisation et a la conduite des bioprocedes. Ce systeme est concu pour permettre en bio-ingenieur d'elaborer facilement et de maniere interactive un modele mathematique de son procede. Le systeme est ecrit en pascal et developpe sur une station apollo

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Sirous, Reza. "Identifying and overcoming barriers in launching sustainable energy projects in the industrial sector using multi-methodology." Master's thesis, Universidade de Aveiro, 2014. http://hdl.handle.net/10773/19093.

Повний текст джерела

Анотація:

Mestrado em Engenharia e Gestão Industrial
The aim of this essay has been to try out Soft Systems Methodology in development of a multidisciplinary framework to launch energy sustainability in Iranian industry sector. A petrochemical industry, one small sized company from the automobile industry and an energy service company are studied due to their diversity in conditions. The petrochemical industry is recognized to possibly have more gains in terms of improving energy consumption. Beyond SSM, the AHP model, MCIR framework, UML, and financial feasibility study methods are used in the development of CSEL framework. The AHP model applied in this study transforms qualitative data into quantitative decision making results. The MCIR framework classifies the barriers which have interrelated nature and identifies the gaps of energy sustainability in industry. NPV and SPB of financial analysis methods are applied in this framework and finally UML diagrams depict the information process in the latter subsystem of this framework.
O objectivo desta tese é definir uma metodologia multidisciplinar, usando Soft Systems Methodology, com vista a analisar o sector da Indústria no Irão do ponto de vista de lançamento de novos projectos de sustentabilidade energética. Para a metodologia proposta uma indústria petroquímica, uma pequena empresa do ramo automóvel e uma empresa que faz consultoria em energia são analisadas. A indústria petroquímica surge como a que potencialmente terá maiores ganhos do ponto de vista de poupança energética. Para além de SSM, o modelo AHP, a framework MCIR, diagramas UML e um estudo de viabilidade financeira são usados para o desenvolvimento da metodologia proposta. O modelo AHP usado neste estudo permite trabalhar dados qualitativos de uma forma quantitativa. A framework MCIR classifica as barreiras interrelacionadas e identifica as necessidades de sustentabilidade energética na indústria. Métodos de análise financeira são usados na metodologia proposta e, por último, diagramas UML mostram o processo de informação.

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Ocakturk, Murat. "An Approach For Including Business Requirements To Soa Design." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/2/12611574/index.pdf.

Повний текст джерела

Анотація:

In this thesis, a service oriented decomposition approach: Use case Driven Service Oriented Architecture (UDSOA), is introduced to close the gap between business requirements and SOA (Service Oriented Architecture) design by including business use cases and system use cases into decomposition process. The approach is constructed upon Service Oriented Software Engineering (SOSE) modeling technique and aims to fill the deficits of it at the decomposition phase. Further, it aims to involve both business vision and Information Technologies concerns in the decomposition process. This approach starts with functional top-down decomposition of the domain. Then, business use cases are used for further decomposition because of their high-level view. This connects the business requirements and our SOA design. Also it raises the level of abstraction which allows us to focus on business services. Second step of the SOA approach uses system use cases to continue decomposition. System use cases help discovering technical web services and allocating them on the decomposition tree. Service oriented analysis also helps separating business and technical services in tightly coupled architecture conditions. Those two steps together bring quality in to both problem and solution domains.

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Patočka, Miroslav. "Informační systém pro správu projektů." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2010. http://www.nusl.cz/ntk/nusl-222524.

Повний текст джерела

Анотація:

The diploma thesis focuses on analysis of software tools used in a softwarehouse company. It contains detailed assessment of a used project management information system, business process design and information system modification. The thesis also includes complete implementation of a module for cost calculation of software projects. The module is based on Use Case Points method.

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Rogé, Sylvie. "Comparaison des comportements des processus communicants : application au langage FP2." Phd thesis, Grenoble INPG, 1986. http://tel.archives-ouvertes.fr/tel-00322013.

Повний текст джерела

Анотація:

Dans un premier temps, nous présentons des modèles permettant de décrire des systèmes de processus communicants, synchronisés par rendez-vous, ainsi que les différentes théories qui traitent le problème de la comparaison observationnelle. Nous abordons ensuite le problème à partir du langage FP2. Nous proposons une démarche qui permet de faire totalement abstraction des événements internes des processus et d'exprimer le comportement de communication des processus en n'utilisant que les événements de communication avec l'environnement. Enfin, une notion de contexte est définie et étudiée

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Nguyen, Thanh Dat. "Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles PARAD Repository: On the Capitalization of the Performance Analysis Process for AADL Designs Design ans analysis of semaphore precedence constraints Towards a model-based framework for prototyping performance analysis tests Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2020. http://www.theses.fr/2020ESMA0007.

Повний текст джерела

Анотація:

Les systèmes embarqués temps réel sont de plus en plus omniprésents dans la vie quotidienne. Le cycle de développement des systèmes embarqués temps réel critiques peut prendre des mois voire des années. Par conséquent, la modélisation de ces systèmes doit être analysée à un stade précoce du cycle de développement afin de vérifier si toutes les exigences sont satisfaites, y compris les exigences relatives à la performance temporelle (par exemple, les latences, les délais de bout en bout, etc.). Cette thèse, qui a été financée dans le cadre d’un projet FUI, propose trois contributions majeures. La première contribution porte sur le système de tâches monoprocesseur avec des relations de communication multi-périodique déterministe. Un pattern basé sur les relations de précédence avec sémaphore (SPC) a été étendu afin de supporter les cycles dans le cas d’ordonnancement à priorités dynamiques. Un graphe de dépliage a été également proposé afin de présenter la cyclicité des systèmes à base de SPC et garantir le non- blocage. Le pattern SPC étendu ainsi que le test d’ordonnançabilité correspondant ont été implémentés pour le langage standard AADL.La deuxième contribution de cette thèse consiste en la proposition d’un calcul exact de temps de réponse de bout en bout, en utilisant le formalisme de réseau de Petri temporel, pour les systèmes multiprocesseurs identiques. Il prend en compte la dépendance entre les tâches : la précédence et l’exclusion mutuelle sans protocole de gestion. La troisième contribution porte sur la capitalisation des efforts du processus d’analyse. En effet, de nombreux tests d’analyse ont été proposés, notamment par des chercheurs académiques, basés sur la théorie d’ordonnancement et dédiés aux différentes architectures logicielles et matérielles. Cependant, l’une des principales difficultés rencontrées par les concepteurs est de choisir le test d’analyse le plus approprié permettant de valider et/ou de dimensionner correctement leurs conceptions. Cette difficulté se concrétise, dans le milieu industriel, par le peu de tests d’analyse utilisés malgré la multitude de tests proposés. Cette thèse vise donc à faciliter le processus d’analyse, réduire le fossé sémantique entre le modèle métier et les entrées des tests d’analyse ainsi qu’accélérer le transfert technologique et l’adoption des tests académiques. La thèse propose un référentiel d’analyse jouant le rôle d’un dictionnaire de tests, leurs contextes pour une utilisation correcte, les outils les implémentant, ainsi qu’un mécanisme pour le choix des tests selon le modèle métier d’entrée
Real-time embedded systems are increasingly omnipresent in everyday life. The development cycle of critical systems can take months or even years. Therefore, modeling of these systems should be analyzed at an early stage in the development cycle to verify that all requirements are met, including temporal requirements (e.g., latencies, end-to-end delays). This thesis, which was funded as part of FUI project, offers three major contributions. The first contribution relates to mono-processor task system with deterministic multi-periodic communication relationships. A pattern based on Semaphore Precedence Constraint (SPC) has been extended to support cycles in the case of dynamic priority scheduling. An unfolding graph has also been proposed in order to present the cyclicity of SPC-based systems and guarantee deadlock free. The extended SPC pattern and the corresponding scheduling analysis tests have been implemented for the standard AADL language. The second contribution of this thesis consists in proposing an exact calculation of end-to-end response time using the time Petri net formalism for identical multiprocessor systems. It takes into account the dependence between the tasks : precedence and mutual exclusion. The third contribution concerns the capitalization of the efforts of the analysis process. Indeed, many analytical tests have been proposed, notably by academic researchers, based on scheduling theory and dedicated to the different software and hardware architectures. However, one of the main difficulties encountered by designers is to choose the most appropriate analysis test to validate and/or correctly dimension their designs. In industrial environment, there are few analytical tests used despite the multitude of the tests offered. This thesis therefore aims to facilitate the analysis process, reduce the semantic gap between the business model and the entries in the analysis tests as well as accelerate technology transfer and the adoption of academic tests. The thesis proposes an analysis repository playing the role of a dictionary of tests, their contexts for correct use, the tools implementing them, as well as a mechanism for choosing tests according to the input business model

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Justová, Markéta. "Aplikace objektových metod v návrhu informačního systému platební instituce." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-204003.

Повний текст джерела

Анотація:

The aim of the Diploma thesis is to evaluate the selected object-oriented (OO) methodology as it was defined by its author, on the basis of defined criteria, whether it is applicable in practice when designing an information system, with a main focus on analysis of the new core banking system supporting key processes of payment institution and Forex broker. Diploma thesis describes selected OO methodologies and notations used in the analysis and design of information systems. Further, it focuses on the evaluation of the real usage of selected method (Unified Process) in the environment of payment institution. It confronts the theoretical definition of a selected OO methodology with its application during the analysis of IS through practical demonstrations created within the case study.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Partika, Marek. "Publikace dat ze sítě meteostanic ve formátu DATEX II." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2016. http://www.nusl.cz/ntk/nusl-240798.

Повний текст джерела

Анотація:

Master’s thesis deals with implementation of a European standard DATEX II. This standard specifies the data format for information transmission in road transport. The road traffic is flowing streams of current information. For the work was selected network of meteorological stations, which will publish the measured data, ie weather conditions of road transport. Measured data will be available to consumers in the format DATEX II. Implementation will be operational in its entirety meteorological station from design to the actual web service that will produce data information for consumers.

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Scarlato, Michele. "Sicurezza di rete, analisi del traffico e monitoraggio." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3223/.

Повний текст джерела

Анотація:

Il lavoro è stato suddiviso in tre macro-aree. Una prima riguardante un'analisi teorica di come funzionano le intrusioni, di quali software vengono utilizzati per compierle, e di come proteggersi (usando i dispositivi che in termine generico si possono riconoscere come i firewall). Una seconda macro-area che analizza un'intrusione avvenuta dall'esterno verso dei server sensibili di una rete LAN. Questa analisi viene condotta sui file catturati dalle due interfacce di rete configurate in modalità promiscua su una sonda presente nella LAN. Le interfacce sono due per potersi interfacciare a due segmenti di LAN aventi due maschere di sotto-rete differenti. L'attacco viene analizzato mediante vari software. Si può infatti definire una terza parte del lavoro, la parte dove vengono analizzati i file catturati dalle due interfacce con i software che prima si occupano di analizzare i dati di contenuto completo, come Wireshark, poi dei software che si occupano di analizzare i dati di sessione che sono stati trattati con Argus, e infine i dati di tipo statistico che sono stati trattati con Ntop. Il penultimo capitolo, quello prima delle conclusioni, invece tratta l'installazione di Nagios, e la sua configurazione per il monitoraggio attraverso plugin dello spazio di disco rimanente su una macchina agent remota, e sui servizi MySql e DNS. Ovviamente Nagios può essere configurato per monitorare ogni tipo di servizio offerto sulla rete.

Стилі APA, Harvard, Vancouver, ISO та ін.

43

von, Wenckstern Michael. "Web applications using the Google Web Toolkit." Master's thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2013. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-115009.

Повний текст джерела

Анотація:

This diploma thesis describes how to create or convert traditional Java programs to desktop-like rich internet applications with the Google Web Toolkit. The Google Web Toolkit is an open source development environment, which translates Java code to browser and device independent HTML and JavaScript. Most of the GWT framework parts, including the Java to JavaScript compiler as well as important security issues of websites will be introduced. The famous Agricola board game will be implemented in the Model-View-Presenter pattern to show that complex user interfaces can be created with the Google Web Toolkit. The Google Web Toolkit framework will be compared with the JavaServer Faces one to find out which toolkit is the right one for the next web project
Diese Diplomarbeit beschreibt die Erzeugung desktopähnlicher Anwendungen mit dem Google Web Toolkit und die Umwandlung klassischer Java-Programme in diese. Das Google Web Toolkit ist eine Open-Source-Entwicklungsumgebung, die Java-Code in browserunabhängiges als auch in geräteübergreifendes HTML und JavaScript übersetzt. Vorgestellt wird der Großteil des GWT Frameworks inklusive des Java zu JavaScript-Compilers sowie wichtige Sicherheitsaspekte von Internetseiten. Um zu zeigen, dass auch komplizierte graphische Oberflächen mit dem Google Web Toolkit erzeugt werden können, wird das bekannte Brettspiel Agricola mittels Model-View-Presenter Designmuster implementiert. Zur Ermittlung der richtigen Technologie für das nächste Webprojekt findet ein Vergleich zwischen dem Google Web Toolkit und JavaServer Faces statt

Стилі APA, Harvard, Vancouver, ISO та ін.

44

GAMBINI, Mauro. "The Design of Graphical Process Modeling Languages: from Free Composition to Modular Construction." Doctoral thesis, 2012. http://hdl.handle.net/11562/460144.

Повний текст джерела

Анотація:

Un Process Modeling Language (PML) grafico è un linguaggio specializzato per la modellazione di sistemi software in termini di processi. Tale linguaggio è detto grafico perchè la rappresentazione principale dei modelli consiste in diagrammi ottenuti combinando costrutti grafici e componenti precedentemente definiti. Un Process-Aware Information System (PAIS) è un sistema software guidato da modelli di processi con lo scopo di coordinare e supportare gli agenti nello svolgimento delle loro attività. Tale sistema è responsabile della gestione simulatanea di diverse istanze di processo e del bilanciamento delle risorse disponibili. Un PML è l'interfaccia principale di un PAIS ed un aspetto fondamentale della sua progettazione, poichè è utilizzato da utenti finali, consulenti, e sviluppatori al fine di comprendere, implementare ed eseguire processi complessi. L'utilizzo di tecnologie PAIS può essere considerevolmente limitato dalle carenze di un PML nel descrivere casi complessi. Lo scopo principale della tesi è migliorare la progettazione di PML grafici al fine di costruire PAIS più efficaci. Tale obiettivo è perseguito attraverso tre percorsi interconnessi: per prima cosa, i PMLs esistenti e la loro teoria sottostante sono stati analizzati al fine di individuare pregi e difetti; successivamente, una tecnica di verifica molto diffusa in questo campo è stata consolidata ed estesa con una nuova tecnica per la correzione automatica di processi. Infine, una diversa soluzione per il design di PMLs è stata esplorata attraverso la definizione di un nuovo linguaggio, chiamato NestFlow, che migliora la modularità e la comprensibilità attraverso l'adozione di un approccio strutturato alla modellazione di processi. Un approccio modulare è possible solo se gli aspetti legati ai dati sono accettati come aspetto primario nel design di un PML. NestFlow cerca di semplificare l'attività di modellazione fornendo un insieme integrato di costrutti di control-flow e data-flow, promuovendo i secondi come aspetti principali nella modellazione di processi.
A graphical Process Modeling Language (PML) is a language tailored for modeling software systems by means of process models. It is said to be graphical because the primary representation of models are diagrams obtained combining visual constructs and previously defined components. Graphical PMLs are interesting as they open the design space to new geometric representations of complex interrelated aspects like concurrency and interaction. A Process-Aware Information System (PAIS) is a software system driven by explicit process models with the aim to coordinate and support agents in performing their activities. It is responsible for managing several process model instances at the same time balancing the available resources. A PML is the primary interface of a PAIS and a main concern in its design, because it is used by end-users, consultants, and developers for understanding, implementing and enacting complex processes. The adoption of PAIS technology may be severely limited by the weakness of PMLs in describing complex use cases. The overall aim of this thesis is to improve the design of graphical PMLs in order to engineer more effective PAISs. This goal is pursued following three intertwined paths: firstly, mainstream PMLs and their theoretical foundations are analyzed for exposing their features and limits; secondly, a widespread PML verification method is consolidated and then extended with a novel technique for automating process correction; finally, an alternative PML design solution is explored through a proof-of-concept language, called NestFlow, that improves both modularity and comprehensibility by providing a more structured modeling approach. A modular approach is only possible if data-flow dependencies are accepted as a main concern in PML design. NestFlow tries to ease the modeling activity by providing a comprehensive set of tightly integrated control-flow and data-flow constructs, promoting the latter as first-class citizens in process modeling.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Chen, Hsin-Chih, and 陳信志. "A Structured Methodology for Information Based Virtual Enterprise Process Modeling." Thesis, 1998. http://ndltd.ncl.edu.tw/handle/83544448787155415516.

Повний текст джерела

Анотація:

碩士
國立成功大學
製造工程研究所
86
Virtual enterprise is viewed as one of the most promising business strategies for manufacturing industries to meet global competition. The essence of virtual enterprise is to integrate the processes, activities, and resources from different enterprises through enterprise alliance and to quickly respond to customer expectations. Enterprise virtualization requires business process reengineering that involves the technologies of management, engineering, and information. Therefore, a virtual enterprise modelingThis research develops a structured methodology for information based virtual enterprise process modeling to facilitate the virtualization of traditional enterprises and the design and implementation of virtual processes. This methodology includes the phases of enterprise data analysis, process analysis and process modeling, as well as the methods used in each phase. In the phase of enterprise data analysis, potential enterprises for alliance are identified based on product life cycle characteristics. The c

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Lai, Chia-Way, and 賴家偉. "A Two-Leveled Process Modeling Language." Thesis, 2002. http://ndltd.ncl.edu.tw/handle/29930171444528768740.

Повний текст джерела

Анотація:

碩士
國立東華大學
資訊工程學系
90
This paper proposes an process modeling language named TPL(Two-Leveled Process Modeling Language). It is composed of high level UML-based diagrams and a low level process language. The high level diagrams facilitate process analysis and design, while the low level process language models processes as process programs. With the high level diagrams, process program development becomes easier. Between the two levels is a mapping which facilitates transforming high level diagrams into process programs. TPL offers the following features: 1)facilitate process program development, 2)modeling process components, including software product, developers, activities, uncertainties, private activities, activity sequence and synchronization, exceptions and their handlers, tools, schedules, budgets, feedback, and activities whose order can be changed . According to our surveys, almost no process languages can model private activities, feedback, and activities whose order can be changed .

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Kuo, Hong-Yi, and 郭鴻毅. "XML-based E-Commerce Process Modeling Language." Thesis, 2000. http://ndltd.ncl.edu.tw/handle/53992374939852252957.

Повний текст джерела

Анотація:

碩士
國立交通大學
資訊工程系
88
This research presents an XML-based E-Commerce process modeling language (PML) which models five components, namely, (1) activity, (2) organization, (3) service, (4) transition and (5) data. Then, an agent-based process environment enacts the process. The benefits of this language are (1) it is a generic process modeling language suitable for various PML by different organizations; (2) it is simple and handles international characters; (3) it enables smart agents. This appears to improve the business to business E-commerce process.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Malinova, Monika. "A Language for Designing Process Maps." Thesis, 2016. http://epub.wu.ac.at/5097/1/Malinova_thesis.pdf.

Повний текст джерела

Анотація:

Business Process Management (BPM) is often adopted by organizations as a method to increase awareness and knowledge of their business processes. Business process modeling is used as a method to represent business processes in form of business process models. The number of organizations adopting BPM is quickly increasing. By this means, so is the number of business process models as result of a BPM initiative. Within a single organization the number of business process models often ranges from hundreds to even thousands. In order to handle such large amount of business process models, organizations structure them by the help of a process architecture. It includes a process map, which is considered as the top-most view of the process architecture where the organization's business processes and the relations between them are visually and abstractly depicted. The details of each business process shown on the process map are stored in the lower levels of the corresponding process architecture. The purpose of a process map is to provide an overview of how an organization operates as a whole without necessarily going into the process details. Therefore, the design of a process map is vital not only for the understanding of the company's processes, but also for the subsequent detailed process modeling. This is primarily because, a process map is often the result of the process identification phase of the BPM lifecycle, and is used as a foundation for the subsequent phases, where the detailed process modeling and process improvement takes place. Despite their importance, the design of process maps is still more art than science, essentially because there is no standardized modeling language available for process map design. As a result, we are faced with a high heterogeneity of process map designs from practice, although they all serve a similar purpose. This has accordingly been our main motivation for pursuing the research presented in this thesis. The research question for this thesis is the following: How to effectively model processes on an abstract level? In this thesis, we document the development of a language for designing process maps. In particular, we provide the following contributions. First, we present a holistic reference BPM framework. It is a consolidation of procedural frameworks introduced by prominent BPM researchers. The framework includes eleven BPM elements, each holding activities organizations need to consider when adopting BPM. Second, we provide a method for assessing cognitive effectiveness of process maps used in practice. For this, we follow the nine principles for cognitively effective visual notations introduced by Moody cite{moody2012physics}. In addition, we employ the cognitive fit theory to check whether the design of process maps has an effect on the BPM success in the respective organization. Second, we conduct a systematic literature review on the quality of modeling languages and models. We use the quality requirements we found as basis for developing the language for designing process maps. Third, we define the abstract syntax, semantics, and concrete syntax of the language for process maps. We follow an explorative method, hence we rely on empirical data for the language development. Accordingly, we reuse symbols in our language which have already been used in practice as part of process maps. We follow this approach in order to ensure the language will consist of elements already familiar to organizations. We evaluate the language by means of an experiment, in which we assess the effectiveness and efficiency of process maps designed using elements from our language against process maps that have not been designed using our language. Last, this thesis provides a method for testing the suitability of existing languages for specific purposes. (author's abstract)

Стилі APA, Harvard, Vancouver, ISO та ін.

49

王崇丞. "Study on a declarative language for business process modeling." Thesis, 1999. http://ndltd.ncl.edu.tw/handle/14216042565065248603.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Chen, Lei. "Computer-assisted transformation of design documents from a natural language description to structured modeling languages." Thesis, 2008. http://spectrum.library.concordia.ca/975904/1/MR45333.pdf.

Повний текст джерела

Анотація:

In the present thesis, a novel approach is proposed to transform design documents described by a natural language into a structured modeling languages, particularly UML diagrams and FBS models. The transformation consists of two steps: (i) From natural language to an intermediate graphic language called Recursive Object Model (ROM). (ii) From a ROM diagram to a modeling language. The ROM diagram corresponding to a text includes the main semantic information implied in the text by modeling the relations between the words in a text. Based on the semantics implied in the ROM diagram, a set of criteria is proposed to mine the semantic meaning of the original text corresponding to the ROM diagram. Once the semantic meaning of the design documents through their corresponding ROM diagram is captured, a set of mapping rules from the ROM diagram criteria to the modeling language elements is proposed. After that, a set of generation rules to explore the relationship between these elements is proposed to generate UML diagrams and FBS models based on a ROM diagram. A software prototype R2U is presented as a proof of concept for transforming ROM diagrams to UML diagrams. Another software prototype R2FBS is also presented as a proof of concept for transforming ROM diagrams to FBS models. Several case studies show that the proposed approach is feasible. The proposed approach can be applied to requirements modeling in various engineering fields such as software engineering, automotive engineering, and aerospace engineering. Future work is indicated at the end of the present thesis

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Structured Process Modeling Language"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями