Vortrag: Ambient Abstract State Machines
Einladung zum Vortrag von Professor Börger am 30. August.
Weitere Informationen
Einen kurzen Abstract und CV (in Englisch) finden Sie hier:
Ambient Abstract State Machines
We define a simple and flexible abstract ambient concept which turned out to support current programming practice, in fact can be instantiated to apparently all environment paradigms in use in frameworks for distributed computing with heterogeneous components. For the sake of generality and to also support rigorous high-level system design practice we give the definition in terms of Abstract State Machines (ASMs). Their most general notion of state allows one to fully exploit the power of parameterization for defining an arguably most general abstract notion AMB exp IN M of machines working in a given environment. We show the definition to uniformly capture the common static and dynamic disciplines for isolating states or run behavior as well as for sharing memory, numerous well-known patterns of object-oriented programming (e.g. for subclassing, encapsulation, delegation, views), but also Cardelli's and Gordon's ambient calculus for mobile agents.
Speaker
Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain (in Louvain-la-Neuve, Belgium), University of Münster (Germany). Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Professor Egon Boerger is a pioneer of applying logical methods in computer science.
He is co-founder of the international conference series. He is also one of the founders of the Abstract State Machines (ASM) Method for accurate and controlled design and analysis of computer-based systems and cofounder of the series of international ASM workshops. He contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields, in particular programming languages, System architecture, 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. In 2007, he received the Humboldt Research Award.
Wir freuen uns, Herr Professor Börger am SCCH begrüßen zu dürfen!
- Termin: Montag, 30. August. 13:00 - 14:00. SCCH, Raum 0/2.