[PDF] Csom Pl eBook

Author : Michael Haupt
Publisher : Universitätsverlag Potsdam
Page : 38 pages
File Size : 26,22 MB
Release : 2011
Category : Computers
ISBN : 3869561343

GET BOOK

Business process models are abstractions of concrete operational procedures that occur in the daily business of organizations. To cope with the complexity of these models, business process model abstraction has been introduced recently. Its goal is to derive from a detailed process model several abstract models that provide a high-level understanding of the process. While techniques for constructing abstract models are reported in the literature, little is known about the relationships between process instances and abstract models. In this paper we show how the state of an abstract activity can be calculated from the states of related, detailed process activities as they happen. The approach uses activity state propagation. With state uniqueness and state transition correctness we introduce formal properties that improve the understanding of state propagation. Algorithms to check these properties are devised. Finally, we use behavioral profiles to identify and classify behavioral inconsistencies in abstract process models that might occur, once activity state propagation is used.

Author : Malte Appeltauer
Publisher : Universitätsverlag Potsdam
Page : 60 pages
File Size : 32,23 MB
Release : 2012
Category : Computers
ISBN : 3869561939

GET BOOK

Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today's applications, yet its representation is not sufficiently supported by programming languages. With context-oriented programming (COP), such context-dependent behavioral variations can be explicitly modularized and dynamically activated. In general, COP could be used to manage any context-specific behavior. However, its contemporary realizations limit the control of dynamic adaptation. This, in turn, limits the interaction of COP's adaptation mechanisms with widely used architectures, such as event-based, mobile, and distributed programming. The JCop programming language extends Java with language constructs for context-oriented programming and additionally provides a domain-specific aspect language for declarative control over runtime adaptations. As a result, these redesigned implementations are more concise and better modularized than their counterparts using plain COP. JCop's main features have been described in our previous publications. However, a complete language specification has not been presented so far. This report presents the entire JCop language including the syntax and semantics of its new language constructs.

Author : Matthias Kleine
Publisher : Universitätsverlag Potsdam
Page : 88 pages
File Size : 32,80 MB
Release : 2012
Category : Computers
ISBN : 3869561580

GET BOOK

Version Control Systems (VCS) allow developers to manage changes to software artifacts. Developers interact with VCSs through a variety of client programs, such as graphical front-ends or command line tools. It is desirable to use the same version control client program against different VCSs. Unfortunately, no established abstraction over VCS concepts exists. Instead, VCS client programs implement ad-hoc solutions to support interaction with multiple VCSs. This thesis presents Pur, an abstraction over version control concepts that allows building rich client programs that can interact with multiple VCSs. We provide an implementation of this abstraction and validate it by implementing a client application.

Author : K. Narayanasamy
Publisher : Alpha Science Int'l Ltd.
Page : 548 pages
File Size : 12,8 MB
Release : 2000
Category : Computers
ISBN : 9788173193514

GET BOOK

Micro-electronics, micro-optics and micro-mechanical components form an integral part of advanced engineered products coming under the broad area of precision engineering. This book covers theme articles and research reports covering the broad area of precision engineering.

Author : Ki Young Kim
Publisher : BoD – Books on Demand
Page : 560 pages
File Size : 37,90 MB
Release : 2012-10-24
Category : Technology & Engineering
ISBN : 9535107976

GET BOOK

The title of this book, Plasmonics: Principles and Applications, encompasses theory, technical issues, and practical applications which are of interest for diverse classes of the plasmonics. The book is a collection of the contemporary researches and developments in the area of plasmonics technology. It consists of 21 chapters that focus on interesting topics of modeling and computational methods, plasmonic structures for light transmission, focusing, and guiding, emerging concepts, and applications.

Author : Andreas Meyer
Publisher : Universitätsverlag Potsdam
Page : 50 pages
File Size : 25,17 MB
Release : 2011
Category : Computers
ISBN : 3869561440

GET BOOK

Prozesse und Daten sind gleichermaßen wichtig für das Geschäftsprozessmanagement. Prozessdaten sind dabei insbesondere im Kontext der Automatisierung von Geschäftsprozessen, dem Prozesscontrolling und der Repräsentation der Vermögensgegenstände von Organisationen relevant. Es existieren viele Prozessmodellierungssprachen, von denen jede die Darstellung von Daten durch eine fest spezifizierte Menge an Modellierungskonstrukten ermöglicht. Allerdings unterscheiden sich diese Darstellungenund damit der Grad der Datenmodellierung stark untereinander. Dieser Report evaluiert verschiedene Prozessmodellierungssprachen bezüglich der Unterstützung von Datenmodellierung. Als einheitliche Grundlage entwickeln wir ein Framework, welches prozess- und datenrelevante Aspekte systematisch organisiert. Die Kriterien legen dabei das Hauptaugenmerk auf die datenrelevanten Aspekte. Nach Einführung des Frameworks vergleichen wir zwölf Prozessmodellierungssprachen gegen dieses. Wir generalisieren die Erkenntnisse aus den Vergleichen und identifizieren Cluster bezüglich des Grades der Datenmodellierung, in welche die einzelnen Sprachen eingeordnet werden.

Author : Basil Becker
Publisher : Universitätsverlag Potsdam
Page : 40 pages
File Size : 44,23 MB
Release : 2012
Category : Computers
ISBN : 386956217X

GET BOOK

Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks.

Author : Jens Lincke
Publisher : Universitätsverlag Potsdam
Page : 70 pages
File Size : 39,63 MB
Release : 2012
Category : Computers
ISBN : 3869561602

GET BOOK

The World Wide Web as an application platform becomes increasingly important. However, the development of Web applications is often more complex than for the desktop. Web-based development environments like Lively Webwerkstatt can mitigate this problem by making the development process more interactive and direct. By moving the development environment into the Web, applications can be developed collaboratively in a Wiki-like manner. This report documents the results of the project seminar on Web-based Development Environments 2010. In this seminar, participants extended the Web-based development environment Lively Webwerkstatt. They worked in small teams on current research topics from the field of Web-development and tool support for programmers and implemented their results in the Webwerkstatt environment.

Author : Stefan Neumann
Publisher : Universitätsverlag Potsdam
Page : 82 pages
File Size : 19,77 MB
Release : 2013
Category : Computers
ISBN : 3869562269

GET BOOK

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis.

Author : Ziawasch Abedjan
Publisher : Universitätsverlag Potsdam
Page : 30 pages
File Size : 37,57 MB
Release : 2011
Category : Computers
ISBN : 3869561483

GET BOOK

Unique column combinations of a relational database table are sets of columns that contain only unique values. Discovering such combinations is a fundamental research problem and has many different data management and knowledge discovery applications. Existing discovery algorithms are either brute force or have a high memory load and can thus be applied only to small datasets or samples. In this paper, the wellknown GORDIAN algorithm and "Apriori-based" algorithms are compared and analyzed for further optimization. We greatly improve the Apriori algorithms through efficient candidate generation and statistics-based pruning methods. A hybrid solution HCAGORDIAN combines the advantages of GORDIAN and our new algorithm HCA, and it significantly outperforms all previous work in many situations.