Download Full eBooks in PDF
Repairing Event Logs Using Stochastic Process Models Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Repairing Event Logs Using Stochastic Process Models book. This book definitely worth reading, it is an incredibly well-written.
Author : Rogge-Solti, Andreas,Mans, Ronny S.,van der Aalst, Wil M. P.,Weske, Mathias
Publisher : Universitätsverlag Potsdam
Page : 30 pages
File Size : 43,7 Mb
Release : 2013
Category : Electronic
ISBN : 9783869562582
Author : Andreas Rogge-Solti,Ronny S. Mans,Wil M. P. van der Aalst,Mathias Weske
Publisher : Unknown
Page : 0 pages
File Size : 41,6 Mb
Release : 2013
Category : Electronic
ISBN : OCLC:1236163854
Author : Janis Grabis,Marite Kirikova,Jelena Zdravkovic,Janis Stirna
Publisher : Springer
Page : 304 pages
File Size : 44,8 Mb
Release : 2013-11-01
Category : Business & Economics
ISBN : 9783642416415
This volume constitutes the proceedings of the 6th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling held in November 2013 in Riga, Latvia. The focus of the PoEM conference series is on advances in the practice of enterprise modeling through a forum for sharing knowledge and experiences between the academic community and practitioners from industry and the public sector. The 19 papers accepted were carefully reviewed and selected from 80 submissions. They reflect different topics of enterprise modeling including quality of models, change management and transformation, approaches and tools for agility and flexibility, enterprise modeling and business processes, enterprise modeling and information systems and enterprise modeling cases. Additionally, one of the two keynotes is also included in this volume.
Author : Meyer, Andreas,Weske, Mathias
Publisher : Universitätsverlag Potsdam
Page : 38 pages
File Size : 46,5 Mb
Release : 2015-06-09
Category : Computers
ISBN : 9783869563039
Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking.
Author : Carlos Fernandez-Llatas
Publisher : Springer Nature
Page : 310 pages
File Size : 47,8 Mb
Release : 2020-10-28
Category : Medical
ISBN : 9783030539931
This book provides a practically applicable guide to the methodologies and technologies for the application of interactive process mining paradigm. Case studies are presented where this paradigm has been successfully applied in emergency medicine, surgery processes, human behavior modelling, strokes and outpatients’ services, enabling the reader to develop a deep understanding of how to apply process mining technologies in healthcare to support them in inferring new knowledge from past actions, and providing accurate and personalized knowledge to improve their future clinical decision-making. Interactive Process Mining in Healthcare comprehensively covers how machine learning algorithms can be utilized to create real scientific evidence to improve daily healthcare protocols, and is a valuable resource for a variety of health professionals seeking to develop new methods to improve their clinical decision-making.
Author : Meinel, Christoph,Willems, Christian
Publisher : Universitätsverlag Potsdam
Page : 32 pages
File Size : 50,7 Mb
Release : 2013
Category : Electronic
ISBN : 9783869562643
Author : Pape, Tobias,Treffer, Arian, Hirschfeld, Robert,Haupt, Michael
Publisher : Universitätsverlag Potsdam
Page : 174 pages
File Size : 44,8 Mb
Release : 2013
Category : Electronic
ISBN : 9783869562667
Author : Felgentreff, Tim,Borning, Alan,Hirschfeld, Robert
Publisher : Universitätsverlag Potsdam
Page : 64 pages
File Size : 51,8 Mb
Release : 2014-10-09
Category : Electronic
ISBN : 9783869562650
Constraints allow developers to specify desired properties of systems in a number of domains, and have those properties be maintained automatically. This results in compact, declarative code, avoiding scattered code to check and imperatively re-satisfy invariants. Despite these advantages, constraint programming is not yet widespread, with standard imperative programming still the norm. There is a long history of research on integrating constraint programming with the imperative paradigm. However, this integration typically does not unify the constructs for encapsulation and abstraction from both paradigms. This impedes re-use of modules, as client code written in one paradigm can only use modules written to support that paradigm. Modules require redundant definitions if they are to be used in both paradigms. We present a language – Babelsberg – that unifies the constructs for en- capsulation and abstraction by using only object-oriented method definitions for both declarative and imperative code. Our prototype – Babelsberg/R – is an extension to Ruby, and continues to support Ruby’s object-oriented se- mantics. It allows programmers to add constraints to existing Ruby programs in incremental steps by placing them on the results of normal object-oriented message sends. It is implemented by modifying a state-of-the-art Ruby virtual machine. The performance of standard object-oriented code without con- straints is only modestly impacted, with typically less than 10% overhead compared with the unmodified virtual machine. Furthermore, our architec- ture for adding multiple constraint solvers allows Babelsberg to deal with constraints in a variety of domains. We argue that our approach provides a useful step toward making con- straint solving a generic tool for object-oriented programmers. We also provide example applications, written in our Ruby-based implementation, which use constraints in a variety of application domains, including interactive graphics, circuit simulations, data streaming with both hard and soft constraints on performance, and configuration file Management.
Author : Pufahl, Luise,Meyer, Andreas,Weske, Mathias
Publisher : Universitätsverlag Potsdam
Page : 28 pages
File Size : 51,9 Mb
Release : 2014-10-09
Category : Electronic
ISBN : 9783869562803
Business process automation improves organizations’ efficiency to perform work. In existing business process management systems, process instances run independently from each other. However, synchronizing instances carrying similar characteristics, i.e., sharing the same data, can reduce process execution costs. For example, if an online retailer receives two orders from one customer, there is a chance that they can be packed and shipped together to save shipment costs. In this paper, we use concepts from the database domain and introduce data views to business processes to identify instances which can be synchronized. Based on data views, we introduce the concept of batch regions for a context-aware instance synchronization over a set of connected activities. We also evaluate the concepts introduced in this paper with a case study comparing costs for normal and batch processing.
Author : Meinel, Christoph,Plattner, Hasso,Döllner, Jürgen
Publisher : Universitätsverlag Potsdam
Page : 218 pages
File Size : 43,9 Mb
Release : 2014-10-09
Category : Electronic
ISBN : 9783869562735
Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the Research Scholl, this technical report covers a wide range of research topics. These include but are not limited to: Self-Adaptive Service-Oriented Systems, Operating System Support for Service-Oriented Systems, Architecture and Modeling of Service-Oriented Systems, Adaptive Process Management, Services Composition and Workflow Planning, Security Engineering of Service-Based IT Systems, Quantitative Analysis and Optimization of Service-Oriented Systems, Service-Oriented Systems in 3D Computer Graphics sowie Service-Oriented Geoinformatics.
Author : Meinel, Christoph,Polze, Andreas ,Oswald, Gerhard,Strotmann, Rolf,Seibold, Ulrich,Schulzki, Bernhard
Publisher : Universitätsverlag Potsdam
Page : 125 pages
File Size : 47,7 Mb
Release : 2014
Category : Computers
ISBN : 9783869562766
The “HPI Future SOC Lab” is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard- and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2012. Selected projects have presented their results on June 18th and November 26th 2012 at the Future SOC Lab Day events.
Author : Meinel, Christoph, Polze, Andreas,Oswald, Gerhard,Strotmann, Rolf,Seibold, Ulrich,Schulzki, Bernard
Publisher : Universitätsverlag Potsdam
Page : 183 pages
File Size : 55,8 Mb
Release : 2015-06-03
Category : Computers
ISBN : 9783869562827
The “HPI Future SOC Lab” is a cooperation of the Hasso-Plattner-Institut (HPI) and industrial partners. Its mission is to enable and promote exchange and interaction between the research community and the industrial partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard- and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2013. Selected projects have presented their results on April 10th and September 24th 2013 at the Future SOC Lab Day events.
Author : Neuhaus, Christian,Polze, Andreas
Publisher : Universitätsverlag Potsdam
Page : 88 pages
File Size : 53,9 Mb
Release : 2014-10-09
Category : Electronic
ISBN : 9783869562810
Cloud computing has brought great benefits in cost and flexibility for provisioning services. The greatest challenge of cloud computing remains however the question of security. The current standard tools in access control mechanisms and cryptography can only partly solve the security challenges of cloud infrastructures. In the recent years of research in security and cryptography, novel mechanisms, protocols and algorithms have emerged that offer new ways to create secure services atop cloud infrastructures. This report provides introductions to a selection of security mechanisms that were part of the "Cloud Security Mechanisms" seminar in summer term 2013 at HPI.
Author : Manfred Reichert,Hajo A. Reijers
Publisher : Springer
Page : 596 pages
File Size : 44,7 Mb
Release : 2016-07-25
Category : Computers
ISBN : 9783319428871
This book constitutes the refereed proceedings of ten international workshops held in Innsbruck, Austria, in conjunction with the 13th International Conference on Business Process Management, BPM 2015, in September 2015. The seven workshops comprised Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 2015), Business Process Intelligence (BPI 2015), Social and Human Aspects of Business Process Management (BPMS2 2015), Data- and Artifact-centric BPM (DAB 2015), Decision Mining and Modeling for Business Processes (DeMiMoP 2015), Process Engineering (IWPE 2015), and Theory and Applications of Process Visualization (TaProViz 2015). The 42 revised papers presented were carefully reviewed and selected from 104 submissions. In addition, four short papers and one keynote (from TAProViz) are also included in this book.
Author : Hentschel, Uwe,Richter, Daniel,Polze, Andreas
Publisher : Universitätsverlag Potsdam
Page : 106 pages
File Size : 42,6 Mb
Release : 2014
Category : Electronic
ISBN : 9783869562964
In today’s life, embedded systems are ubiquitous. But they differ from traditional desktop systems in many aspects – these include predictable timing behavior (real-time), the management of scarce resources (memory, network), reliable communication protocols, energy management, special purpose user-interfaces (headless operation), system configuration, programming languages (to support software/hardware co-design), and modeling techniques. Within this technical report, authors present results from the lecture “Operating Systems for Embedded Computing” that has been offered by the “Operating Systems and Middleware” group at HPI in Winter term 2013/14. Focus of the lecture and accompanying projects was on principles of real-time computing. Students had the chance to gather practical experience with a number of different OSes and applications and present experiences with near-hardware programming. Projects address the entire spectrum, from bare-metal programming to harnessing a real-time OS to exercising the full software/hardware co-design cycle. Three outstanding projects are at the heart of this technical report. Project 1 focuses on the development of a bare-metal operating system for LEGO Mindstorms EV3. While still a toy, it comes with a powerful ARM processor, 64 MB of main memory, standard interfaces, such as Bluetooth and network protocol stacks. EV3 runs a version of 1 1 Introduction Linux. Sources are available from Lego’s web site. However, many devices and their driver software are proprietary and not well documented. Developing a new, bare-metal OS for the EV3 requires an understanding of the EV3 boot process. Since no standard input/output devices are available, initial debugging steps are tedious. After managing these initial steps, the project was able to adapt device drivers for a few Lego devices to an extent that a demonstrator (the Segway application) could be successfully run on the new OS. Project 2 looks at the EV3 from a different angle. The EV3 is running a pretty decent version of Linux- in principle, the RT_PREEMPT patch can turn any Linux system into a real-time OS by modifying the behavior of a number of synchronization constructs at the heart of the OS. Priority inversion is a problem that is solved by protocols such as priority inheritance or priority ceiling. Real-time OSes implement at least one of the protocols. The central idea of the project was the comparison of non-real-time and real-time variants of Linux on the EV3 hardware. A task set that showed effects of priority inversion on standard EV3 Linux would operate flawlessly on the Linux version with the RT_PREEMPT-patch applied. If only patching Lego’s version of Linux was that easy... Project 3 takes the notion of real-time computing more seriously. The application scenario was centered around our Carrera Digital 132 racetrack. Obtaining position information from the track, controlling individual cars, detecting and modifying the Carrera Digital protocol required design and implementation of custom controller hardware. What to implement in hardware, firmware, and what to implement in application software – this was the central question addressed by the project.
