Felix Kossak's Books

A Rigorous Semantics for BPMN 2.0 Process Diagrams

By: Felix Kossak,Christa Illibauer,Verena Geist,Jan Kubovy,Christine Natschläger,Thomas Ziebermayr,Theodorich Kopetzky,Bernhard Freudenthaler,Klaus-Dieter Schewe

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Rigorous Semantics for BPMN 2.0 Process Diagrams

By: Felix Kossak,Christa Illibauer,Verena Geist,Jan Kubovy,Christine Natschläger,Thomas Ziebermayr,Theodorich Kopetzky,Bernhard Freudenthaler,Klaus-Dieter Schewe

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management. BPMN – issued by the Object Management Group – is a widely used standard for business process modeling. However, major drawbacks of BPMN include its limited support for organizational modeling, its only implicit expression of modalities, and its lack of integrated user interaction and data modeling. Further, in many cases the syntactical and, in particular, semantic definitions of BPMN are inaccurate, incomplete or inconsistent. The book addresses concrete issues concerning the execution semantics of business processes and provides a formal definition of BPMN process diagrams, which can serve as a sound basis for further extensions, i.e., in the form of horizontal refinements of the core language. To this end, the Abstract State Machine (ASMs) method is used to formalize the semantics of BPMN. ASMs have demonstrated their value in various domains, e.g. specifying the semantics of programming or modeling languages, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process. This kind of improvement promotes more consistency in the interpretation of comprehensive models, as well as real exchangeability of models between different tools. In the outlook at the end of the book, the authors conclude with proposing extensions that address actor modeling (including an intuitive way to denote permissions and obligations), integration of user-centric views, a refined communication concept, and data integration.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

240

Publisher

Springer

Published Date

ISBN 10

3319099310

ISBN 13

9783319099316

Hagenberg Business Process Modelling Method

By: Felix Kossak,Christa Illibauer,Verena Geist,Christine Natschläger,Thomas Ziebermayr,Bernhard Freudenthaler,Theodorich Kopetzky,Klaus-Dieter Schewe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Hagenberg Business Process Modelling Method

By: Felix Kossak,Christa Illibauer,Verena Geist,Christine Natschläger,Thomas Ziebermayr,Bernhard Freudenthaler,Theodorich Kopetzky,Klaus-Dieter Schewe

This book presents a proposal for designing business process management (BPM) systems that comprise much more than just process modelling. Based on a purified Business Process Model and Notation (BPMN) variant, the authors present proposals for several important issues in BPM that have not been adequately considered in the BPMN 2.0 standard. It focusses on modality as well as actor and user interaction modelling and offers an enhanced communication concept. In order to render models executable, the semantics of the modelling language needs to be described rigorously enough to prevent deviating interpretations by different tools. For this reason, the semantics of the necessary concepts introduced in this book are defined using the Abstract State Machine (ASM) method. Finally, the authors show how the different parts of the model fit together using a simple example process, and introduce the enhanced Process Platform (eP2) architecture, which binds all the different components together. The resulting method is named Hagenberg Business Process Modelling (H-BPM) after the Austrian village where it was designed. The motivation for the development of the H-BPM method stems from several industrial projects in which business analysts and software developers struggled with redundancies and inconsistencies in system documentation due to missing integration. The book is aimed at researchers in business process management and industry 4.0 as well as advanced professionals in these areas.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

266

Publisher

Springer

Published Date

ISBN 10

3319304968

ISBN 13

9783319304960

Capital of Spies

Intelligence Agencies in Berlin During the Cold War

By: Sven Felix Kellerhoff,Bernd Von Kostka

Write a review Read reviews Take a Quiz Solve Book Puzzle

Capital of Spies

Intelligence Agencies in Berlin During the Cold War

By: Sven Felix Kellerhoff,Bernd Von Kostka

“An interesting, well-documented overview of Cold War espionage in Berlin” including photographs (Studies in Intelligence). For almost half a century, the hottest front in the Cold War ran through Berlin. From summer 1945 until 1990, the secret services of NATO and the Warsaw Pact fought an ongoing duel in the dark. Throughout the Cold War, espionage was part of everyday life in both East and West Berlin, with German spies playing a crucial part of operations on both sides: Erich Mielke’s Stasi and Reinhard Gehlen’s Federal Intelligence Service, for example. The construction of the wall in 1961 changed the political situation and the environment for espionage—the invisible front was now concreted and unmistakable. But the fundamentals had not changed: Berlin was and would remain the capital of spies until the fall of the Berlin Wall, a fact that makes it all the more surprising that there are hardly any books about the work of the secret services in Berlin during the Cold War. Now in this compelling volume, journalist Sven Felix Kellerhoff and historian Bernd von Kostka describe the spectacular successes and failures of the various secret services based in the city. “Engaging and useful.” —Journal of Military History

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

245

Publisher

Casemate

Published Date

ISBN 10

1636240011

ISBN 13

9781636240015

Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics

An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers

By: Juliet Floyd,Felix Mühlhölzer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics

An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers

By: Juliet Floyd,Felix Mühlhölzer

This monograph examines the private annotations that Ludwig Wittgenstein made to his copy of G.H. Hardy’s classic textbook, A Course of Pure Mathematics. Complete with actual images of the annotations, it gives readers a more complete picture of Wittgenstein’s remarks on irrational numbers, which have only been published in an excerpted form and, as a result, have often been unjustly criticized. The authors first establish the context behind the annotations and discuss the historical role of Hardy’s textbook. They then go on to outline Wittgenstein’s non-extensionalist point of view on real numbers, assessing his manuscripts and published remarks and discussing attitudes in play in the philosophy of mathematics since Dedekind. Next, coverage focuses on the annotations themselves. The discussion encompasses irrational numbers, the law of excluded middle in mathematics and the notion of an “improper picture," the continuum of real numbers, and Wittgenstein’s attitude toward functions and limits.

Average ratings

N/A