DEEN
Magazine Humboldt Kosmos Newsroom Newsletter

Search

Awards and fellowships Search Humboldtians

Search for tags

Prof. Dr. Egon Boerger

Profile

Academic positionFull Professor
Research fieldsSoftware Engineering and Programming Languages,Computer Architecture, Embedded and Massively Parallel Systems,Numerical Analysis, Optimization, Simulation
KeywordsProgramming and Specification Languages, Collaboration Protocols and Transaction Models, Web Services, Abstract State Machines

Current contact address

CountryItaly
CityPisa
InstitutionUniversita di Pisa
InstituteDipartimento di Informatica

Host during sponsorship

Prof. Dr. Bernhard ThalheimInstitut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Kiel
Prof. Dr. Michael LeuschelInstitut für Informatik, Heinrich-Heine-Universität Düsseldorf, Düsseldorf
Prof. Dr. Andreas HenseFachbereich Informatik, Hochschule Bonn-Rhein-Sieg, Sankt Augustin
Start of initial sponsorship01/08/2007

Programme(s)

2007Humboldt Research Award Programme

Nominator's project description

Professor Boerger, a pioneer of applying logical methods in computer science, is also one of the founders of the Abstract State Machines (ASM) Method for accurate and controlled design and analysis of computer-based systems. He contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields, in particular programming languages, system architectures, requirements and software (re-)engineering, control systems, protocols, web services. To this date, he is one of the leading scientists in ASM-based modeling and verification technology, which he has crucially shaped by his activities. During his stay in Germany, he plans to further develop mathematical models for collaborating computations.

Publications (partial selection)

2015Egon Boerger, Albert Fleischmann: Abstract State Machine Nets. Closing the Gap between Business Process Models and their Implementation . In: Jens Ehlers, Bernhard Thalheim, Proc. S-BPM ONE 2015. ACM Digital Library, 2015.
2015Egon Boerger, Simone Zenzaro: Modeling for Change via Component-Based Decomposition and ASM Refinement . In: Jens Ehlers, Bernhard Thalheim, Proc.S-BPM ONE 2015. ACM Digital Library, 2015.
2014Egon Boerger, K.-D. Schewe: Specifying Transaction Control to Serialize Concurrent Program Executions. In: Y. Ait-Ameur, K.-D. Schewe, Proc. ABZ 2014 (LNCS 8477). Springer, 2014. 142-157
2012Egon Boerger: Approaches to Modeling Business Processes. A Critical Analysis of BPMN, Workflow Patterns and YAWL. In: J. SOFTWARE AND SYSTEMS MODELING, 2012, 305-318
2012 A. Fleischmann, W. Schmidt, C. Stary, S. Obermeier,Egon Boerger: Subject-Oriented Business Process Management. Springer Open Access Book, 2012
2012Egon Boerger: The Subject-Oriented Approach to Software Design and the {A}bstract {S}tate {M}achines Method. In: A. Duesterhoeft and M. Klettke and K.-D. Schewe, Conceptual Modelling and Its Theoretical Foundations -- Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday. Springer, 2012. 52-72
2011Albert Fleischmann, W. Schmidt, C. Stary, Stefan Obermeier,Egon Boerger: Subjektorientiertes Prozessmanagement. Hanser, 2011
2010Egon Boerger and and Ove Soerensen: BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics. In: D. Embley and B. Thalheim, Handbook of conceptual modelling. Springer-Verlag, 2010. 1-46
2009Michael Altenhofen, Egon Boerger: Concurrent Abstract State Machines and +CAL. In: A. Corradini and U. Montanari, Recent Trends in Algebraic Development Techniques (WADT 2008) (LNCS 5486). Springer, 2009. 1-17
2008Egon Boerger and Bernhard Thalheim: A Method for Verifiable and Validatable Business Process Modeling. In: Egon Boerger and Antonio Cisternino, Advances in Software Engineering (LNCS 5316). Springer-Verlag, 2008. 59-115
2008Egon Boerger and Bernhard Thalheim: Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. In: Egon Boerger and Michael Butler and Jonathan Bowen and Paul Boca, Abstract State Machines, B and Z (LNCS 5238) . Springer-Verlag 2008. 24-38
2008Egon Boerger Owe Soerensen Bernhard Thalheim: On defining the behavior of OR-joins in business process models. In: J. Universal Computer Science, 2008, 1-22