Technical Talk
January 27, 2016
Technical Talk at Meeting of Working Group Leaders of Silicon Saxony
Fog Computing is a new reference architecture for sensor networks at the edge of the cloud. Its basic idea is to process data locally, in complex sensor nodes, gateways and routers, before moving them into the cloud. Thereby, it protects privacy by default, and delivers speed (low latency, high bandwidth). Its business perspectives for Germany are tremendous, because starting from the sensor markets, Germany companies can try to penetrate into the future cloud markets. And combined with LED-based transmission of data (LiFi), it will also result in highly energy-efficient infrastructures for Industry 4.0, smart homes and smart environments. Watch out!
Technical Talk
Nov 03, 2014
Technical Talk at the seminar of the Collaborative Research Center HAEC
So far, autotuning has been a form of continuous optimization for specific kernels and algorithms. In the Collaborative Research Center “Highly-Adaptive Energy-Efficient Computing (HAEC)”, we develop a generalized form of autotuning for software product lines. The approach is based on cost-utility functions and relations, which are specified in quality contracts. A more specific form treats energy-utility functions, which describe constraints on energy behavior. From these contracts, constraint-based systems are generated to be solved by constraint solvers. Generalized autotuning attributes every variant of a software product line with quality and energy contracts, and then decides at run time of the application, which variant is the most appropriate with regard to a specific objective function. This generalizes autotuning from the level of specific kernels to dynamic software product lines.
Technical Talk
Oct 28, 2014
RoSI PhD training group, Kickoff meeting
Roles compartmentalize objects by context.
This compartmentalization helps both on the object and the type level. The number of aliases are reduced, the lifetime of attributes is better known, and the state of an object naturally decomposes by context. Roles therefore improve modeling and programming in many ways.
The RoSI PhD training group investigates many research questions for role-based languages and infrastructures.
Technical Talk
May 05, 2012
Linköpings Universitet, Sweden
We are going from fly-by-wire to drive-by-wire to life-by-wire. Many aspects of our life are already controlled by software and electronics, and many more will be in the future. In this talk, we investigate the technical requirements for reliable cyber-physical systems in the future internet of things (iot). We show that CPS must be self-adaptive to changing requirements, while nevertheless offering full reliability and safety. This can be mastered with MOO architectures based on multi-objective optimization. We also look at the market mechanisms and software platforms for life-by-wire and the resulting software ecosystems. A new global player is searched for the platform leadership for cyber-physical systems.
Technical Talk
December 17, 2009
Technical Talk at Workshop at University of Twente, The Netherlands
Uwe Aßmann
We discuss an aspect-oriented decomposition scheme for software, Essence-Administration-Infrastructure (EAI), from Steve McMenamin. We show its similarity to Composition Filters and show how to employ it for simple evolution of software systems.
Technical Talk
Feb 13, 2009
Technical Talk at Queens University, Kinston, Canada
Jakob Henriksson, Jendrik Johannes, Steffen Zschaler and Uwe Aßmann
Software languages differ in their support for software reuse - some offer pretty poor mechanisms (C, Cobol,…) and others are very smart (BETA, Scala,UML,…). Wouldn’t it be good to be able to separate the reuse mechanism from the core language? Can we define something like Reuse Languages (RL) that can be combined with algorithmic or declarative core languages to support universal reuse mechanisms?
Universal invasive software composition is a new technology to specify reuse languages. Module systems, class systems, fragment systems and other reuse techniques can be developed for languages in a universal way. Given a grammar or metamodel of a core language, a component model can be specified, from which a composition system can be generated that offers sophisticated forms of reuse of all software artefacts written in the core language. Since this works language-universally, all languages, even if they do not offer reuse mechanisms, can be equipped with reuse technology: reuse for the reuse-agnostic. Several examples are presented based on the Reuseware system (www.reuseware.org).
Technical Talk
2005
Technical Talk at Dagstuhl Seminar “XML and Ownership Types”
Prof. Dr. Uwe Aßmann http://www.rewerse.net
For the future Semantic Web, an integration of ontologies into standard languages is urgendly needed. This talk presents a concept for the integration of ontologies as domain models into the MDA process (Model-Driven Architectures). In this way, they can form the basis of a product line.
The talk is supported by the EU 6th framework Network of Excellence REWERSE http://www.rewerse.net
Technical Talk
2002
Technical Talk at Linöpings Universitet
Dr. Uwe Aßmann, Martin Nilsson, Leif Stensson, Marcus Comstedt http://www.gotpike.org https://github.com/pikelang http://pike.lysator.liu.se/
For the future Semantic Web, languages for rapid application development are urgendly needed. This talk presents a concept for the integration of ontologies into the scripting language Pike, which is hosted at Linköpings Universitet http://www.gotpike.org
Technical Talk
2001
Linköpings Universitet
Dr. Uwe Aßmann, Prof. Dr. Peter Fritzson
The first-generation web appeared in 1990 and brought an industrial revolution - all document formats in all industries have changed since then. We claim that the next industrial revolution will be provoced by the “Semantic Web”, an initiative started by the W3C and supported by the European Commission. The Semantic Web technology adds typing to the documents of the future and will serve for better interoperability and type-checking of documents and specifications in all industries. To be early on the train, we propose a Swedish Semantic Web initiative.
Keynote
July 26, 2016
Keynote at “ICSOFT”, July 26, 2016, Lisboa
Prof. Uwe Aßmann
Technische Universität Dresden
Software Engineeringhttp://www.icsoft.org/KeynoteSpeakers.aspx
Co-working is a new trend for integrating smart robots into assembly lines of manufactures. Modern smart robots recognize human beings in their neighborhood and stop when touched. Therefore, they can be integrated into manufacturing lines in small and medium enterprises. Robots come out of the cage, and this creates a lot of opportunities for scalable automation. Because the simple steps of a manufacturing line can be performed by a smart robot and the rest can be done by humans, the investment costs for using robots sink, while the degree of automation can be scaled in small enterprises.
This new deployment model of smart robots will have a tremendous effect on all kinds of manufacture, because it changes the costs of robot-based automation in small companies. Entire industries could make use of robots that did not deploy them so far. However - we must get the software engineering right, and this poses new challenges for research and industry. This talk presents World-Oriented Modeling, a novel principle to separate world modeling and software system programming. If the world model is a formal model, robotic co-working applications can be verified easily.
Keynote
Jun 29, 2016
Talk at the workshop and inauguration lecture of Prof. Thomas Schlegel
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering
Cyber-Physical Systems (CPS) are the first step towards the so-called Internet of Things. CPS connect the hardware of our material environment - cars, buildings, office spaces - with intelligent networks of sensors, actuators, and micro-controllers. This new condition of “Every-ware Computing” has many fields of applications: drive-by-wire solutions for autonomous cars, smart workplaces with human-CPS interfaces, or intelligent robots helping elderly people at home. The ultimate goal of CPS is to enable control of space and time of all things constituting our environment. According to this trend, all engineering disciplines will thoroughly change until 2020 - including architecture, transportation, and urban design.
Keynote
Feb 25, 2016
Keynote at Software Engineering, Imperial Riding School, Vienna
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering With Georg Püschel, Christian Piechnick, Maria Piechnick, Jan Falkenberg, Sebastian Werner.
Co-working is a new trend for integrating smart robots into assembly lines of manufactures. Modern smart robots recognize human beings in their neighborhood and stop when touched. Therefore, they can be integrated into manufacturing lines in small and medium enterprises. Robots come out of the cage, and this creates a lot of opportunities for scalable automation. Because the simple steps of a manufacturing line can be performed by a smart robot and the rest can be done by humans, the investment costs for using robots sink, while the degree of automation can be scaled in small enterprises. This new deployment model of smart robots will have a tremendous effect on all kinds of manufacture, because it changes the costs of robot-based automation in small companies. Entire industries could make use of robots that did not deploy them so far.
Film of the demo of a robotic co-worker at SE 2016 http://web.inf.tu-dresden.de/~ua1/Talks/2016/Video_SE16_Keynote_Assmann.MOV
Keynote
Feb 04, 2016
SoftED User Conference, Art’Hotel Dresden
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering Deputy chair of the DFG Research Training Group “Role-based software infrastructures (RoSI)”. With Georg Püschel, Christian Piechnick, Maria Piechnick, Jan Falkenberg, Sebastian Werner.
Co-working is a new trend for integrating smart robots into assembly lines of manufactures. Modern smart robots recognize human beings in their neighborhood and stop when touched. Therefore, they can be integrated into manufacturing lines in small and medium enterprises. Robots come out of the cage, and this creates a lot of opportunities for scalable automation. Because the simple steps of a manufacturing line can be performed by a smart robot and the rest can be done by humans, the investment costs for using robots sink, while the degree of automation can be scaled in small enterprises. This new deployment model of smart robots will have a tremendous effect on all kinds of manufacture, because it changes the costs of robot-based automation in small companies. Entire industries could make use of robots that did not deploy them so far.
Keynote
Oct 14, 2014
Keynote at Leibniz-Tagung, Lichtenwalde, Chemnitz, Germany
Cyber-physikalische Systeme kombinieren Sensor-, System- und Aktuatortechnik mit dualer Realität, d.h. koppeln auf kausale Weise Gegenstände in der realen Welt mit Objekten in der Cyber-Welt. Damit spiegelt sich, was in der Cyber-Welt geschieht, in der phyischen Welt und umgekehrt. Cyber-physikalische Systeme bilden die erste Stufe des Internets der Dinge, in der alle Gegenstände der Welt miteinander vernetzt sind und miteinander kommunizieren.
Cyber-physikalische Systeme fallen in zwei Klassen. Welt-Datenbanken bilden die physische Welt in der Cyber-Welt nach, um Realzeit-Anfragen und -Prognosen über die Welt zu ermöglichen. Dazu ist der Einsatz von Sensortechnik unabdingbar. Cloud-Roboter verbinden dies zusätzlich mit Aktuatorik, d.h. verändern die reale Welt durch Manipulation. Wir zeigen in diesem Vortrag einige der Herausforderungen an die Software- und Systemtechnologie für Welt-Datenbanken und Cloud-Roboter auf sowie die Einsatzchancen in einigen Industrien.
Keynote
September 17, 2014
Keynote at the international summer school “SynCity - The City of the Future”
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering http://http://openaccess.tu-dresden.de/ocs/index.php/synCity/synCity2014
Cyber-Physical Systems (CPS) are the first step towards the so-called Internet of Things. CPS connect the hardware of our material environment - cars, buildings, office spaces - with intelligent networks of sensors, actuators, and micro-controllers. This new condition of “Every-ware Computing” has many fields of applications: drive-by-wire solutions for autonomous cars, smart workplaces with human-CPS interfaces, or intelligent robots helping elderly people at home. The ultimate goal of CPS is to enable control of space and time of all things constituting our environment. According to this trend, all engineering disciplines will thoroughly change until 2020 - including architecture, transportation, and urban design.
Keynote
Oct. 24, 2011
Keynote at Workshop Semantic-Web Enabled Software Engineering 2011
Prof. Dr. Uwe Aßmann, Katja Siegemund
We present a goal-oriented requirements engineering technique derived from the work of Lambsweerde and show how to realize it with ontologies.
Keynote
September 16, 2010
Keynote at Workshop Modellierung Betrieblicher Informationssysteme (MOBIS), Technische Universität Dresden
U. Aßmann, J. Johannes, M. Seifert, R. Samlaus
For realistic scenarios, software has to incorporate models and code in several technical spaces, i.e., several metamodeling spaces. In this talk, we present bridges between the technical spaces of Ontologyware and the EMF modeling space. We also discuss flexible reuse of models with invasive software composition systems.
Keynote
Nov 27, 2007
Keynote at European Conference of Web Services, Halle, Germany
Uwe Aßmann, Jendrik Johannes, Sebastian Richly
The web is a dynamic heterogeneous net of components, providing services to each other. How to find these services, how to execute them, how to compose them is a complicated matter and requires massive amount of technology and tools. As one of these technologies, aspect-oriented development has been used for the composition of web services for quite some time. However, we postulate that its era has just begun. Since the world of aspect-oriented development is currently being broadened from implementation languages to modeling languages, aspect-oriented, model-driven development of web services comes into sight. In this new technology, aspect weaving on the model level plays a major role: business processes, relieved from the technical aspects, can be specified in isolation, and refined by aspect model weaving over several levels of models, down to the technical processes, including web services. As a result, a full-blown model-driven, but also aspect-oriented stack of service models results, in which some of thelevels are static, others are dynamic. We present an outline of the technology, as well as tools that are available for its realization.
Keynote
March 25, 2007Nov. 4, 2009
Keynote at LDTA workshop, Braga, PortugalTechnical Talk at Technische Universität Wien, Lehrstuhl Prof. Knoop
Uwe Aßmann Christian Wende
To achieve compositionality for languages, we transfer the notion of collaboration-based design from software modelling to language design. In software modelling, collaboration schemes (also called role models) describe interactions between model concepts, encapsulating the interactions so that they can be reused in different scenarios. While collaboration schemes have been successfully used for system models, they have not yet been applied to language design, for which they provide a huge potential: they can describe the interaction of language concepts from different language components, explain and constrain their interplay, and adapt them to each other, even if they had not been designed for each other. Hence, the use of collaboration schemes in language design paves the way to a new flexible technique for the composition of languages from off-the-shelf components.
Keynote
July 2003
Uwe Aßmann
Im Laufe der Zeit hat die Softwaretechnik verschiedene Komponentensyteme entwickelt. Es begann mit modularer Technik, setzte sich mit objektorientierter Technik, klassischen Komponentensystemen, und Web Services fort. In letzter Zeit sind die ersten Ansätze erschienen, die Graue Kästen miteinander komponieren (graybox composition). Dieser Vortrag gibt einen Überblick über Software aus Komponenten, ihre Komponentenmodelle und Kompositionstechniken. Er zeigt auf, warum bestimmte Komponentenmodelle mächtiger und flexibler als andere sind und wann man welches in der Praxis für welchen Zweck einsetzen sollte.
Keynote
appr. Feb. 2002
Keynote at ICSTI conference and general assembly in Stockholm
Dr. Uwe Aßmann http://www.iupac.org/publications/ci/2002/2406/sti.html
The first-generation web appeared in 1990 and brought an industrial revolution - all document formats in all industries have changed since then. We discuss the second-generation web, the “Semantic Web”, an initiative started by the W3C and supported by the European Commission.
The Semantic Web technology adds typing to the documents of the future and will serve for better document processing, vocabularies for interoperability and constraint checking of documents and specifications in all industries. It will also improve match-making on web services.
Keynote
2001
Keynote at Workshop of Lund University, LUCAS laboratory
Dr. Uwe Aßmann
The first-generation web appeared in 1990 and brought an industrial revolution - all document formats in all industries have changed since then. We claim that the next industrial revolution will be provoced by the “Semantic Web”, an initiative started by the W3C and supported by the European Commission. The Semantic Web technology adds typing to the documents of the future and will serve for better interoperability and type-checking of documents and specifications in all industries.
We give an overview on the languages, the difference of static and dynamic semantics, and show the influences of the Semantic Web on document management in different industries. Semantic Web technologies deliver much more powerful checking techniques for the context constraints of static semantics in documents than the usual XML technologies. That is why they lift specification techniques to a new level.
To be early on the train, we propose a Swedish Semantic Web initiative.
Invited Talk
June 7, 2016
Invited Talk at Meeting of Working Group Cyber-Physical Systems of Silicon Saxony
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering
Fog Computing is a new reference architecture for sensor networks at the edge of the cloud. Its basic idea is to process data locally, in complex sensor nodes, gateways and routers, before moving them into the cloud. Thereby, it protects privacy by default, and delivers speed (low latency, high bandwidth). Its business perspectives for Germany are tremendous, because starting from the sensor markets, Germany companies can try to penetrate into the future cloud markets.
Fog Computing has a very interesting application area, Robotic Co-Working. The talk reports about a case study of the Chair of Software Engineering for Hannover Fair 2016, WEIR, in which a KUKA LBR iiwa is controlled with a sensor-equipped jacket and glove. The sensor-data aggregation is done via a little fog with an Intel gateway, a laptop, and a robot server. Starting from this example, we show how to program a fog, with a world statechart and an adaptive software platform, SMAGS (smart application grids).
Invited Talk
June 14, 2014
AIS User Conference Dresden
Cloud-based robots are a specific forms of cyber-physical system, in which sensors, actuators, embedded system and cloud technology have to play together reliably. Future industry-4.0 systems will massively rely on cloud robots, because individualized products, ordered by singular customers, can only be built just-in-time, if a swarm of cloud robots collaborates effectively.
By definition, cloud robots must sense their environment and react on context changes. Therefore, cloud robots pose a new challenge for software engineering: apps running on cloud robots must inherently be context-sensitive and context-adaptive. We present a new software architecture language, Smart Application Grids (SMAGs), for such context-adaptive apps, as well some case studies worked out the ResUbic Lab of Technische Universität Dresden. http://www.resubic.org
Invited Talk
March 09, 2011
Silicon Saxony Day 2011
Cyber-physikalische Systeme (CPS) bilden den ersten Schritt zum Internet der Dinge (IoT). Sie beruhen auf dem Prinzip der “dualen Realität”, in dem jedes Objekt der Realität ein Schattenobjekt in der Cyberwelt erhält, das kausal zusammenhängt und mit dem Anfragen, Simulationen, sowie Voraussagen für die Zukunft ermöglicht werden. CPS werden sehr viele Bereiche derIndustrie revolutionieren, zum Beispiel das Stromnetz, den Verkehr, die Fabrik, und die moderne Stadt.
CPS benötigen Plattformen, auf denen Dritte Plugins liefern, um Produkte mit gemischter Wertschöpfung zu schaffen. Daher ist eine zentrale Frage für Sachsen und Deutschland, wer solche Plattformen bauen und beherrschen wird. Das Dresdner ResUbic Lab der Technischen Universität Dresden besteht aus einer Gruppe von Nachwuchsforschergruppen, die das Thema CPS von 2011-2013 erforschen wird. Watch out!
Der Vortrag beruht auf Studien des BITKOM, der Acatech, sowie des Feldafinger Kreises.
Invited Talk
Sept. 21, 2006
Invited Talk at XOOTIC Symposium, Eindhoven University
Prof. Dr. Uwe Aßmann, Technische Universität Dresden
Model-driven development and component-based software development are approaches to product-lines, in which software artifacts, both models or code are reused thoroughly. However, the manner in which skeletons of applications (here called PIMs, platform-independent models, or DSMs, domain-specific models; there called frameworks) are instantiated towards applications, differs enormously. While PIMs are translated towards applications, components are linked, composed, or connected. Is there a way to combine both approaches? How to embed components into MDD, i.e., how to build, design and use MDD components? In the last years, our group has found a way to build fragment-based component models for every language. Given a metamodel of a language L, a component model can be systematically generated for L, so that a reuse-language results, in which fragment components can be composed.
Since this principle is universal, component models for modeling and specification languages come for free and the way to a UML component model is no longer far. With such a component model, many interesting UML-component-based compositions come for free: semantic templates, semantic macros, views, mixin layers, and aspects. Since the underlying tools are universal, this paves the way for true MDD components.
Invited Talk
March 9, 2004
Professor Uwe Assmann, Department of Computing, Linkopings University, Sweden
This talk presents a new, component based way to construct software systems, “invasive software composition”. This composition method adapts and integrates components, treating them as greyboxes. Although being distinct in design, components may be merged in implementations, leading to highly integrated and more efficient systems. Hence, invasive composition is a technique that can be employed to tackle the design-implementation gap.
Building on a minimal set of program transformations, composition operator libraries can be developed that parameterize, extend, connect, mediate, and aspect-weave components. Hence, invasive composition unifies several software engineering techniques such as generic programming, architecture systems, inheritance, view-based programming, and aspect oriented programming (AOP). Invasive composition is centered around a standard language, Java.
A demonstrator library, COMPOST, is freely available and can be used by the system architect in his everyday processes (http://www.the-compost-system.org).
Keynote
Nov 14, 2019
Berlin Requirements Symposium (BRES)
Uwe Aßmann Technische Universität Dresden Chair of Software Engineering
Lean Robotics is the new design activity for designing effective and efficient robotic coworking cells for industry, smart home, and smart care. Coworking needs to be designed, i.e., detailed and precise requirements have to be eluidated and managed together with the design and the optimization of the robotic cell. This creates a new opportunity for companies and startups: offering services for the management and operation of efficient robotic coworking cells.
Technical Talk
Sept 16, 2019
Dagstuhl Summer School “Development, Deployment, and Runtime of Context-Aware Software Systems”
Uwe Aßmann Technische Universität Dresden Chair of Software Engineering
This talk presents the concepts of roles and contexts as techniques for static and dynamic adaptation of software systems.
Invited Talk
Aug 30, 2019
Meeting of NuP Informationssysteme
Uwe Aßmann Technische Universität Dresden Chair of Software Engineering
This talk presents some techniques for scalable innovation in service and software ecosystems.
Keynote
January 30, 2019
SOFSEM 2019
Uwe Aßmann Technische Universität Dresden Chair of Software Engineering
https://beda.dcs.fmph.uniba.sk/sofsem2019/#invited
This talk presents a new reference architecture for multi-layer autonomic systems, called context-controlled autonomic controllers (ConAC). Usually, the principle of multiple layers contradicts the principle of a global adaptation strategy, because layers are considered to be black boxes. The presented architecture relies on an explicit context model, so that adaptation strategies for all layers can be consistently varied by a simple change of contexts. Thus, explicit context modeling enables consistent meta-adaptation in multi-layer autonomic systems. The paper presents two application areas for the ConAC architecture, robotic co-working and energy-adaptive servers, but many more multi-layered system designs should benefit from ConAC.
Youtube video of Cinderella case study (Georg Püschel, TU Dresden, June 2017)
Technical Talk
September 21, 2017
HAEC Summer School 2017
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering
https://tu-dresden.de/ing/forschung/sfb912/veranstaltungen/haec-sommerschule-2017
This talk presents the basics of the energy autotuning, as developed in the HAEC project. The energy contract language QCL, the contract refinement by energy profiling, and its code generation to ILP is presented. Multiple qualities can be added (multi-quality autotuning). HAEC provides energy-adaptive multi-variant applications.
Technical Talk
September 21, 2017
HAEC Summer School 2017
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering
https://tu-dresden.de/ing/forschung/sfb912/veranstaltungen/haec-sommerschule-2017
This talk presents the basics of the development of energy-adaptive software. The energy testing framework JouleUnit is presented, as well as the energy labelling framework QMark. Energy State Charts for User, Hardware, Software are discussed.
Invited Talk
March 4, 2017
“Modularity Symposium” at Programming
Uwe Aßmann Technische Universität Dresden Chair of Software Engineering
“Separation of Concerns” is an important aid to understand and construct large software systems. The concept of a “Separation of Concerns” Space (SoC Space) separates concerns from components and thereby, provides indices to structure component spaces, aids decomposition and composition.
The talk presents the concept, shows that it generalizes feature modeling, hybrid automata, context-oriented programming and other so far unrelated programming paradigms. We also define several general laws on SoC spaces that have a profound consequences for modularity and reuse. Since a SoC space provides indices to the component space, it offers techniques of index-based decomposition and composition. SoC Spaces form a new, specific and abstract form of composition system naturally supporting the principle of separation of concerns for a wide range of applications.
Keynote
Febuary 19, 2017
Keynote at “MODELSWARD”, Febuary 19, 2017
Prof. Uwe Aßmann
Technische Universität Dresden
Software Engineeringhttp://www.modelsward.org/KeynoteSpeakers.aspx
Robotic co-working is a new trend for integrating sensitive robots into assembly lines and manufactures. Sensitive robots recognize human beings in their neighborhood and stop when being touched. They can easily be taught new actions and quickly be re-targeted to new complex manufacturing tasks. Therefore, they could enable human-robot collaboration in small and medium enterprises. However, how to develop safe software for these new robotic colleagues? This talk presents a new architectural pattern called World-Oriented Modeling (WOM), which splits a human-robotic co-working application into a world model and a software variant family. WOM extracts the ubiquituous checks on contexts of the robot from the applications to the world model, thereby supporting the separation of concerns. WOM extends dynamic software product lines to robotic co-working, but replaces the usual feature model by a runtime state-based model. If the world model is a formal model, safety predicates can easily be verified for robotic co-working applications, as it is the case for hybrid automata. Since the world model needs to be managed at runtime, WOM is an Models@Runtime approach, i.e., leads to a specific adaptive systems design. However, WOM opens a huge design space for many more modeling techniques and formal methods, which should be explored in the next years. Have fun!
Technical Talk
Sept 14, 2016
Keynote at Camline User Conf, Dresden Hilton Hotel
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering tures (RoSI)". With Georg Püschel, Christian Piechnick, Maria Piechnick, Jan Falkenberg, Sebastian Werner.
Fog Computing is a new reference architecture for sensor networks at the edge of the cloud. Its basic idea is to process data locally, in complex sensor nodes, gateways and routers, before moving them into the cloud. Thereby, it protects privacy by default, and delivers speed (low latency, high bandwidth). Its business perspectives for Germany are tremendous, because starting from the sensor markets, Germany companies can try to penetrate into the future cloud markets.
Fog Computing has a very interesting application area, Robotic Co-Working. The talk reports about a case study of the Chair of Software Engineering for Hannover Fair 2016, WEIR, in which a KUKA LBR iiwa is controlled with a sensor-equipped jacket and glove. The sensor-data aggregation is done via a little fog with an Intel gateway, a laptop, and a robot server. Starting from this example, we show how to program a fog, with a world statechart and an adaptive software platform, SMAGS (smart application grids).
Keynote
July 26, 2016
Keynote at “ICSOFT”, July 26, 2016, Lisboa
Prof. Uwe Aßmann
Technische Universität Dresden
Software Engineeringhttp://www.icsoft.org/KeynoteSpeakers.aspx
Co-working is a new trend for integrating smart robots into assembly lines of manufactures. Modern smart robots recognize human beings in their neighborhood and stop when touched. Therefore, they can be integrated into manufacturing lines in small and medium enterprises. Robots come out of the cage, and this creates a lot of opportunities for scalable automation. Because the simple steps of a manufacturing line can be performed by a smart robot and the rest can be done by humans, the investment costs for using robots sink, while the degree of automation can be scaled in small enterprises.
This new deployment model of smart robots will have a tremendous effect on all kinds of manufacture, because it changes the costs of robot-based automation in small companies. Entire industries could make use of robots that did not deploy them so far. However - we must get the software engineering right, and this poses new challenges for research and industry. This talk presents World-Oriented Modeling, a novel principle to separate world modeling and software system programming. If the world model is a formal model, robotic co-working applications can be verified easily.
Keynote
Jun 29, 2016
Talk at the workshop and inauguration lecture of Prof. Thomas Schlegel
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering
Cyber-Physical Systems (CPS) are the first step towards the so-called Internet of Things. CPS connect the hardware of our material environment - cars, buildings, office spaces - with intelligent networks of sensors, actuators, and micro-controllers. This new condition of “Every-ware Computing” has many fields of applications: drive-by-wire solutions for autonomous cars, smart workplaces with human-CPS interfaces, or intelligent robots helping elderly people at home. The ultimate goal of CPS is to enable control of space and time of all things constituting our environment. According to this trend, all engineering disciplines will thoroughly change until 2020 - including architecture, transportation, and urban design.
Invited Talk
June 7, 2016
Invited Talk at Meeting of Working Group Cyber-Physical Systems of Silicon Saxony
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering
Fog Computing is a new reference architecture for sensor networks at the edge of the cloud. Its basic idea is to process data locally, in complex sensor nodes, gateways and routers, before moving them into the cloud. Thereby, it protects privacy by default, and delivers speed (low latency, high bandwidth). Its business perspectives for Germany are tremendous, because starting from the sensor markets, Germany companies can try to penetrate into the future cloud markets.
Fog Computing has a very interesting application area, Robotic Co-Working. The talk reports about a case study of the Chair of Software Engineering for Hannover Fair 2016, WEIR, in which a KUKA LBR iiwa is controlled with a sensor-equipped jacket and glove. The sensor-data aggregation is done via a little fog with an Intel gateway, a laptop, and a robot server. Starting from this example, we show how to program a fog, with a world statechart and an adaptive software platform, SMAGS (smart application grids).
March 11, 2016
Technical Talk at AMADEOS Workshop, Vienna
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering Deputy chair of the DFG Research Training Group “Role-based software infrastructures (RoSI)” http://wwwdb.inf.tu-dresden.de/rosi/
A System of Systems results when several systems meet, interact, and collaborate, even if they had not been designed for the encounter. Meeting, interaction and collaboration, however, are well-known terms from the theory of role-based object-oriented modeling - though they are rarely used for the construction of Systems of Systems. For collaboration of systems, the objects contained in the consitutent systems take on new roles in the context of a collaboration partner, enter dynamic contexts, teams and ensembles. In most modeling languages, however, the collaborations are isolated against each other, i.e., new collaborations do not influence old collaborations, which implies that SoS with roles can only show monotonic behavior. While monotonic behavior is a nice algebraic feature for systems, it is not realistic for SoS. Therefore, we present several feedback effects on role-based SoS, which superimpose old collaborations in the consistuent systems when an SoS is formed. Many of these feedback effects are governed by global or regional invariants, which leads us to the notion of “invariant-based SoS”. Our goal is a taxonomy of feedback effects in collaboration-based SoS.
Keynote
Feb 25, 2016
Keynote at Software Engineering, Imperial Riding School, Vienna
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering With Georg Püschel, Christian Piechnick, Maria Piechnick, Jan Falkenberg, Sebastian Werner.
Co-working is a new trend for integrating smart robots into assembly lines of manufactures. Modern smart robots recognize human beings in their neighborhood and stop when touched. Therefore, they can be integrated into manufacturing lines in small and medium enterprises. Robots come out of the cage, and this creates a lot of opportunities for scalable automation. Because the simple steps of a manufacturing line can be performed by a smart robot and the rest can be done by humans, the investment costs for using robots sink, while the degree of automation can be scaled in small enterprises. This new deployment model of smart robots will have a tremendous effect on all kinds of manufacture, because it changes the costs of robot-based automation in small companies. Entire industries could make use of robots that did not deploy them so far.
Film of the demo of a robotic co-worker at SE 2016 http://web.inf.tu-dresden.de/~ua1/Talks/2016/Video_SE16_Keynote_Assmann.MOV
Keynote
Feb 04, 2016
SoftED User Conference, Art’Hotel Dresden
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering Deputy chair of the DFG Research Training Group “Role-based software infrastructures (RoSI)”. With Georg Püschel, Christian Piechnick, Maria Piechnick, Jan Falkenberg, Sebastian Werner.
Co-working is a new trend for integrating smart robots into assembly lines of manufactures. Modern smart robots recognize human beings in their neighborhood and stop when touched. Therefore, they can be integrated into manufacturing lines in small and medium enterprises. Robots come out of the cage, and this creates a lot of opportunities for scalable automation. Because the simple steps of a manufacturing line can be performed by a smart robot and the rest can be done by humans, the investment costs for using robots sink, while the degree of automation can be scaled in small enterprises. This new deployment model of smart robots will have a tremendous effect on all kinds of manufacture, because it changes the costs of robot-based automation in small companies. Entire industries could make use of robots that did not deploy them so far.
Technical Talk
January 27, 2016
Technical Talk at Meeting of Working Group Leaders of Silicon Saxony
Fog Computing is a new reference architecture for sensor networks at the edge of the cloud. Its basic idea is to process data locally, in complex sensor nodes, gateways and routers, before moving them into the cloud. Thereby, it protects privacy by default, and delivers speed (low latency, high bandwidth). Its business perspectives for Germany are tremendous, because starting from the sensor markets, Germany companies can try to penetrate into the future cloud markets. And combined with LED-based transmission of data (LiFi), it will also result in highly energy-efficient infrastructures for Industry 4.0, smart homes and smart environments. Watch out!
Oct 2015
Talk at SemiCon Dresden
We presume that there are two dominant forms of systems in the future internet of things: world databases and cloud-based robots. Both will create massive amount of data and rely on efficient real-time online query processing. First, a world database is an online query system to a pertinent domain of the world, i.e., it creates insights about all physical things in that domain in time and space. Second, cloud-based robots are combining world databases with actuators, i.e., they provide a specific form of cyber-physical system, in which sensors, actuators, embedded system and cloud technology have to play together reliably. Future industry-4.0 systems will massively rely on world databases and cloud robots, because individualized products, ordered by singular customers, can only be built just-in-time, if a swarm of cloud robots collaborates effectively, relying on real-time data analytics.
Thus, both forms of CPS rely thoroughly on query processing (big data). However, due to the hierarchical structure of physical space, we need other types of data than relational: data about real things is usually hierarchical, so that new query languages and calculi have to be developed that treat hierarchies efficently and effectively. We present several projects at Technische Universität Dresden to research important aspects of big data for CPS, such as energy efficiency, context-adaptivity, and parallel processing.
Paper presentation
July 21, 2015
Paper presentation, MORSE/VAO 2015, STAF, L’Aquila, Italy
Christian Piechnick, Sebastian Götz, Rene Schöne, Uwe Aßmann Paper-DOI
For the Simultaneous Localization and Mapping (SLAM) problem, many implementations exist, which meet different requirements w.r.t. non-functional properties (e.g., performance). If those requirements change during runtime, the application should change the SLAM implementation. Implementing the selection of the optimal SLAM-algorithms for robots by hand is time consuming and leads to bad code maintainability by mixing application and adaptation logic. Moreover, the realization of the optimization in code requires the developer to reimplement parts of general purpose optimizers, which impairs reusability. An external adaptation logic selecting the optimal SLAM algorithm addresses the maintainability and programmability issues. A model-driven approach for both, application and selection problem, highly increases reusability. To reach these goals, we propose to use Multi-Quality Auto-Tuning (MQuAT), a model-driven ap proach to build and operate self-optimizing systems following the Models@run.time paradigm. We evaluate our approach by a case study, where robots have to choose between several variants of a distributed SLAM algorithm.
Technical Talk
Nov 03, 2014
Technical Talk at the seminar of the Collaborative Research Center HAEC
So far, autotuning has been a form of continuous optimization for specific kernels and algorithms. In the Collaborative Research Center “Highly-Adaptive Energy-Efficient Computing (HAEC)”, we develop a generalized form of autotuning for software product lines. The approach is based on cost-utility functions and relations, which are specified in quality contracts. A more specific form treats energy-utility functions, which describe constraints on energy behavior. From these contracts, constraint-based systems are generated to be solved by constraint solvers. Generalized autotuning attributes every variant of a software product line with quality and energy contracts, and then decides at run time of the application, which variant is the most appropriate with regard to a specific objective function. This generalizes autotuning from the level of specific kernels to dynamic software product lines.
Lecture
Oct 28, 2014
Course of the PhD training group “Role-Based Software Infrastructures (RoSI)”
Roles capture the context-sensitive behavior of an object. Roles change when contexts change. Therefore, roles are a perfect basis for self-adaptive cyber-physical systems, in which the real world interplays with the cyber world.
Keynote
Oct 14, 2014
Keynote at Leibniz-Tagung, Lichtenwalde, Chemnitz, Germany
Cyber-physikalische Systeme kombinieren Sensor-, System- und Aktuatortechnik mit dualer Realität, d.h. koppeln auf kausale Weise Gegenstände in der realen Welt mit Objekten in der Cyber-Welt. Damit spiegelt sich, was in der Cyber-Welt geschieht, in der phyischen Welt und umgekehrt. Cyber-physikalische Systeme bilden die erste Stufe des Internets der Dinge, in der alle Gegenstände der Welt miteinander vernetzt sind und miteinander kommunizieren.
Cyber-physikalische Systeme fallen in zwei Klassen. Welt-Datenbanken bilden die physische Welt in der Cyber-Welt nach, um Realzeit-Anfragen und -Prognosen über die Welt zu ermöglichen. Dazu ist der Einsatz von Sensortechnik unabdingbar. Cloud-Roboter verbinden dies zusätzlich mit Aktuatorik, d.h. verändern die reale Welt durch Manipulation. Wir zeigen in diesem Vortrag einige der Herausforderungen an die Software- und Systemtechnologie für Welt-Datenbanken und Cloud-Roboter auf sowie die Einsatzchancen in einigen Industrien.
Sept 26, 2014
GWT Innovationstag, Technische Universität Dresden
Uwe Aßmann, Claas Wilke, Sebastian Götz, Sebastian Richly
Der Lehrstuhl Softwaretechnologie hat in den letzten Jahren eine neue Technologie zum energie-sparsamen Rechnen entwickelt, “multi-quality tuning” (MQuAT)". Der Kern dieser Technologie ist eine Adaptionstechnik für Soft- und Hardware, die bezüglich der gewünschten Leistung einen adäquaten Energieverbrauch einstellt bzw. bezüglich eines gewünschten Energieverbrauchs eine bestmögliche Leistung bereit stellt. Die Technologie läuft während des Ausführens einer Anwendung parallel, um an bestimmten Punkten die Software umkonfigurieren, d.h. auf veränderte Bedürfnisse und Parameter einzustellen. Der Vortrag erklärt die Spezifikationssprache, mit der man die Bedürfnisse spezifizieren kann und zeigt die Laufzeitinfrastruktur, die die Software geeignet adaptiert.
MQuAT kann auf weitere Anwendungsgebiete übertragen werden, wie z.B. das Smart Grid oder Smart City.
Keynote
September 17, 2014
Keynote at the international summer school “SynCity - The City of the Future”
Prof. Uwe Aßmann Technische Universität Dresden Software Engineering http://http://openaccess.tu-dresden.de/ocs/index.php/synCity/synCity2014
Cyber-Physical Systems (CPS) are the first step towards the so-called Internet of Things. CPS connect the hardware of our material environment - cars, buildings, office spaces - with intelligent networks of sensors, actuators, and micro-controllers. This new condition of “Every-ware Computing” has many fields of applications: drive-by-wire solutions for autonomous cars, smart workplaces with human-CPS interfaces, or intelligent robots helping elderly people at home. The ultimate goal of CPS is to enable control of space and time of all things constituting our environment. According to this trend, all engineering disciplines will thoroughly change until 2020 - including architecture, transportation, and urban design.
Technical talk
Oct 27, 2014
BITKOM Working Group on Cyber-physical systems, Infineon Dresden
Roles capture the context-sensitive behavior of an object. Roles change when contexts change. Therefore, roles are a perfect basis for context-adaptive cloud robots, a specific form of cyber-physical systems, in which the real world interplays with the cyber world. The talk presents the architectural language SMAGS as an implementation platform for context-sensitive cloud robots.
Invited Talk
June 14, 2014
AIS User Conference Dresden
Cloud-based robots are a specific forms of cyber-physical system, in which sensors, actuators, embedded system and cloud technology have to play together reliably. Future industry-4.0 systems will massively rely on cloud robots, because individualized products, ordered by singular customers, can only be built just-in-time, if a swarm of cloud robots collaborates effectively.
By definition, cloud robots must sense their environment and react on context changes. Therefore, cloud robots pose a new challenge for software engineering: apps running on cloud robots must inherently be context-sensitive and context-adaptive. We present a new software architecture language, Smart Application Grids (SMAGs), for such context-adaptive apps, as well some case studies worked out the ResUbic Lab of Technische Universität Dresden. http://www.resubic.org
Technical Talk
Oct 28, 2014
RoSI PhD training group, Kickoff meeting
Roles compartmentalize objects by context.
This compartmentalization helps both on the object and the type level. The number of aliases are reduced, the lifetime of attributes is better known, and the state of an object naturally decomposes by context. Roles therefore improve modeling and programming in many ways.
The RoSI PhD training group investigates many research questions for role-based languages and infrastructures.
Lecture 1
Aug 27, 2013
ICCL international Summer School
For realistic scenarios, software has to incorporate models and code in several technical spaces, i.e., several metamodeling spaces. In this talk, we present bridges between the technical spaces of Ontologyware and the EMF modeling space. We also discuss software development styles for Ontolgy-Driven Software Development (ODSD), for example Model-Driven Integration of Technical Spaces (MDI) and Ontology-Integrated Modeling (OIM).
The talk builds on the work of the EU 6th framework project MOST (Marrying Ontology and Software Technologies).
Lecture 2
Aug 27, 2013
ICCL international Summer School
Domain-specific languages (DSL) can be built in the technical spaces ModelWare (e.g., EMF) as well as in OntologyWare (e.g., in OWL). We give an overview on both software development technologies, highlighting two powerful language modeling environments, EMFText and OWLText.
We also show how families of logic-based DSL can be built based on the MOST feature modeling framework.
The talk builds on the work of the EU 6th framework project MOST (Marrying Ontology and Software Technologies).
Talk at IFIP Working Group 2.4 Meeting, Mysore, India
Prof. Uwe Aßmann, ResUbic Lab, Technische Universität Dresden
A subclass of mobile cyber-physical systems are “cloud robots”, semi-autonomous robots being directed from the cloud. They form the basic building blocks of factories, cars, airplanes, traffic, transport, and logistics of the future. We will discuss some example systems, such as from Kivi Systems (now Amazon) and Fraunhofer. In contrast to normal software systems, cloud robots are, by definition, safety-critical and real-time systems, so that their control software must be verified for function and qualities. Thus, cloud robot software engineering must use the most modern software specification and verification techniques, such as metamodeling, quality modeling, dynamics modeling, model checking, and ontology-based reasoning.
If we want to engineer cloud robots, the more verification support we can apply the better. Cloud Robots introduce research challenges like contract-based compositionality (compositional verification), virtual prototyping, online simulation and behavior prediction, energy verification, incremental verification and certification. Therefore, it is probable that cloud robots will be modeled instead of being programmed. For models, such global and modular proofs seem to be much more feasible than for programs. Whenever a program shall be used for such systems, it must be proven conformant to a contract of a hook of the cloud robot control system. Hence, the new field of Model-Driven Cloud-Robot Software Engineering (MORSE) appears on the horizon, and we discuss its current state, development perspectives, and the activities of the ResUbic lab of Technische Universität Dresden.
June 1, 2012
Keynote at Int. Symposium on Software Composition, Prague
Software composition has come a long way from the times of the end of the 80s, when the problem of inheritance anomaly stopped the parallel object-oriented languages. It is time to look back at some of the old challenges that started the field and discuss, how we can solve them now or in the near future, the next decade. These challenges include the coordination of parallel objects in pools with roles, the staged composition of software architectures, and the quality-based dispatch in multi-objective optimized systems (MOO systems) for the modeling and programming of cyber-physical systems. The talk gives an overview on these challenges for software composition for the next decade, and formulates several research problems (The Prague composition manifesto).
Technical Talk
May 05, 2012
Linköpings Universitet, Sweden
We are going from fly-by-wire to drive-by-wire to life-by-wire. Many aspects of our life are already controlled by software and electronics, and many more will be in the future. In this talk, we investigate the technical requirements for reliable cyber-physical systems in the future internet of things (iot). We show that CPS must be self-adaptive to changing requirements, while nevertheless offering full reliability and safety. This can be mastered with MOO architectures based on multi-objective optimization. We also look at the market mechanisms and software platforms for life-by-wire and the resulting software ecosystems. A new global player is searched for the platform leadership for cyber-physical systems.
Keynote
Oct. 24, 2011
Keynote at Workshop Semantic-Web Enabled Software Engineering 2011
Prof. Dr. Uwe Aßmann, Katja Siegemund
We present a goal-oriented requirements engineering technique derived from the work of Lambsweerde and show how to realize it with ontologies.
Invited Talk
March 09, 2011
Silicon Saxony Day 2011
Cyber-physikalische Systeme (CPS) bilden den ersten Schritt zum Internet der Dinge (IoT). Sie beruhen auf dem Prinzip der “dualen Realität”, in dem jedes Objekt der Realität ein Schattenobjekt in der Cyberwelt erhält, das kausal zusammenhängt und mit dem Anfragen, Simulationen, sowie Voraussagen für die Zukunft ermöglicht werden. CPS werden sehr viele Bereiche derIndustrie revolutionieren, zum Beispiel das Stromnetz, den Verkehr, die Fabrik, und die moderne Stadt.
CPS benötigen Plattformen, auf denen Dritte Plugins liefern, um Produkte mit gemischter Wertschöpfung zu schaffen. Daher ist eine zentrale Frage für Sachsen und Deutschland, wer solche Plattformen bauen und beherrschen wird. Das Dresdner ResUbic Lab der Technischen Universität Dresden besteht aus einer Gruppe von Nachwuchsforschergruppen, die das Thema CPS von 2011-2013 erforschen wird. Watch out!
Der Vortrag beruht auf Studien des BITKOM, der Acatech, sowie des Feldafinger Kreises.
Keynote
September 16, 2010
Keynote at Workshop Modellierung Betrieblicher Informationssysteme (MOBIS), Technische Universität Dresden
U. Aßmann, J. Johannes, M. Seifert, R. Samlaus
For realistic scenarios, software has to incorporate models and code in several technical spaces, i.e., several metamodeling spaces. In this talk, we present bridges between the technical spaces of Ontologyware and the EMF modeling space. We also discuss flexible reuse of models with invasive software composition systems.
May 10, 2010
Dagstuhl Seminar on Software Composition and Autotuning
Uwe Aßmann, Technische Universität Dresden, Germany Welf Löwe, Linnaeus University, Växjö, Sweden
Component-based software engineering (CBSE) was initiated as a research field at the first Int. Conf. on Software Engineering in 1968, pushed by a talk of Doug McIlroy, in which he challenged his discipline to research into a component technology for component-based software markets. Over time, the CBSE discipline has discovered that component technology needs component models and composition languages. Many such composition systems have been developed, providing a component model, composition technique and composition language. These composition systems can be arranged in a ladder, showing progress over time. The newer approaches (grey-box compositions) do no longer work require black-box components, but allow for merging of design-time components to run-time components, enabling the component-based development of tightly-integrated systems. Finally, we present three research challenges for CBSE: weaving of parallel aspects, reuse languages for language-independent composition, and multi-staged composition.
Technical Talk
December 17, 2009
Technical Talk at Workshop at University of Twente, The Netherlands
Uwe Aßmann
We discuss an aspect-oriented decomposition scheme for software, Essence-Administration-Infrastructure (EAI), from Steve McMenamin. We show its similarity to Composition Filters and show how to employ it for simple evolution of software systems.
Technical Talk
Feb 13, 2009
Technical Talk at Queens University, Kinston, Canada
Jakob Henriksson, Jendrik Johannes, Steffen Zschaler and Uwe Aßmann
Software languages differ in their support for software reuse - some offer pretty poor mechanisms (C, Cobol,…) and others are very smart (BETA, Scala,UML,…). Wouldn’t it be good to be able to separate the reuse mechanism from the core language? Can we define something like Reuse Languages (RL) that can be combined with algorithmic or declarative core languages to support universal reuse mechanisms?
Universal invasive software composition is a new technology to specify reuse languages. Module systems, class systems, fragment systems and other reuse techniques can be developed for languages in a universal way. Given a grammar or metamodel of a core language, a component model can be specified, from which a composition system can be generated that offers sophisticated forms of reuse of all software artefacts written in the core language. Since this works language-universally, all languages, even if they do not offer reuse mechanisms, can be equipped with reuse technology: reuse for the reuse-agnostic. Several examples are presented based on the Reuseware system (www.reuseware.org).
Technical Talk
April 18, 2004
Innovationsforum Software Saxony
Uwe Aßmann
Modellgetriebene Softwareentwicklung hat in den letzten Jahren bei vielen Firmen zur Steigerung der Produktivität in der Softwareerstellung geführt. Im Wesentlichen beruht dieser Effekt auf der Integration von mächtigen Modellierungssprachen in den Softwareenwicklungsprozess, wie zum Beispiel UML oder domänenspezifischen Sprachen. Allerdings bleiben logikbasierte Modellierungssprachen wie OWL aussen vor, die eigentlich große Vorteile, wie die Unterstützung von Deduktion oder die automatische Prüfung von Integritätsbedingungen der Modelle bieten. Statt dessen baut das Web-Konsoritum W3C fröhlich an seiner eigenen Parallelwelt von Modellierungssprachen, der Familie der OWL-basierten Ontologiesprachen, und es gibt bisher nur recht rudimentäre Versuche, diese Welt mit dem in der modellgetriebenen Entwicklung dominierenden UML zu verbinden, um die Vorteile von Ontologiesprachen in der Softwareentwicklung zu nutzen.
Daher ist eine wichtige Aufgabe der Softwaretechnologie-Forschung, diese Dichotomie zu überbrücken und Ontologiesprachen sauber mit der UML-Welt zu integrieren, so dass eine ontologiegetriebene modellbasierte Entwicklung möglich wird. Dazu dient ein neues europäisches Projekt "Marrying Ontologies and Software Engineering (MOST, 2008-10), das die TU Dresden in Zusammenarbeit mit mehreren europäischen Partnern durchführt. Es hat zum Ziel, semantische Technologien in die modellgetriebene Entwicklung von Produktlinien zu integrieren. Der Vortrag gibt einen Überblick über die beiden erwähnten Sprachwelten, die sich ergebenden Chancen und Probleme für das Produktlinien-Engineering und die Innovationen von MOST.
Keynote
Nov 27, 2007
Keynote at European Conference of Web Services, Halle, Germany
Uwe Aßmann, Jendrik Johannes, Sebastian Richly
The web is a dynamic heterogeneous net of components, providing services to each other. How to find these services, how to execute them, how to compose them is a complicated matter and requires massive amount of technology and tools. As one of these technologies, aspect-oriented development has been used for the composition of web services for quite some time. However, we postulate that its era has just begun. Since the world of aspect-oriented development is currently being broadened from implementation languages to modeling languages, aspect-oriented, model-driven development of web services comes into sight. In this new technology, aspect weaving on the model level plays a major role: business processes, relieved from the technical aspects, can be specified in isolation, and refined by aspect model weaving over several levels of models, down to the technical processes, including web services. As a result, a full-blown model-driven, but also aspect-oriented stack of service models results, in which some of thelevels are static, others are dynamic. We present an outline of the technology, as well as tools that are available for its realization.
Keynote
March 25, 2007Nov. 4, 2009
Keynote at LDTA workshop, Braga, PortugalTechnical Talk at Technische Universität Wien, Lehrstuhl Prof. Knoop
Uwe Aßmann Christian Wende
To achieve compositionality for languages, we transfer the notion of collaboration-based design from software modelling to language design. In software modelling, collaboration schemes (also called role models) describe interactions between model concepts, encapsulating the interactions so that they can be reused in different scenarios. While collaboration schemes have been successfully used for system models, they have not yet been applied to language design, for which they provide a huge potential: they can describe the interaction of language concepts from different language components, explain and constrain their interplay, and adapt them to each other, even if they had not been designed for each other. Hence, the use of collaboration schemes in language design paves the way to a new flexible technique for the composition of languages from off-the-shelf components.
Invited Talk
Sept. 21, 2006
Invited Talk at XOOTIC Symposium, Eindhoven University
Prof. Dr. Uwe Aßmann, Technische Universität Dresden
Model-driven development and component-based software development are approaches to product-lines, in which software artifacts, both models or code are reused thoroughly. However, the manner in which skeletons of applications (here called PIMs, platform-independent models, or DSMs, domain-specific models; there called frameworks) are instantiated towards applications, differs enormously. While PIMs are translated towards applications, components are linked, composed, or connected. Is there a way to combine both approaches? How to embed components into MDD, i.e., how to build, design and use MDD components? In the last years, our group has found a way to build fragment-based component models for every language. Given a metamodel of a language L, a component model can be systematically generated for L, so that a reuse-language results, in which fragment components can be composed.
Since this principle is universal, component models for modeling and specification languages come for free and the way to a UML component model is no longer far. With such a component model, many interesting UML-component-based compositions come for free: semantic templates, semantic macros, views, mixin layers, and aspects. Since the underlying tools are universal, this paves the way for true MDD components.
Technical Talk
2005
Technical Talk at Dagstuhl Seminar “XML and Ownership Types”
Prof. Dr. Uwe Aßmann http://www.rewerse.net
For the future Semantic Web, an integration of ontologies into standard languages is urgendly needed. This talk presents a concept for the integration of ontologies as domain models into the MDA process (Model-Driven Architectures). In this way, they can form the basis of a product line.
The talk is supported by the EU 6th framework Network of Excellence REWERSE http://www.rewerse.net
Lecture
June 25, 2004
Inauguration Lecture at Technische Universität Dresden
Prof. Dr. rer. nat. Uwe Aßmann, TU Dresden, Lehrstuhl Softwaretechnologie
We present the concept of a staged architecture for software systems and active documents. Such an architecture consists of several computation stages that generate each other. Every stage employs a specific component model as well as a software architecture. With a staged architecture, very complex systems can be described very concisely. Also variant configuration is very simple. We give an overview to the connection to model-driven architecture and web engineering.
Invited Talk
March 9, 2004
Professor Uwe Assmann, Department of Computing, Linkopings University, Sweden
This talk presents a new, component based way to construct software systems, “invasive software composition”. This composition method adapts and integrates components, treating them as greyboxes. Although being distinct in design, components may be merged in implementations, leading to highly integrated and more efficient systems. Hence, invasive composition is a technique that can be employed to tackle the design-implementation gap.
Building on a minimal set of program transformations, composition operator libraries can be developed that parameterize, extend, connect, mediate, and aspect-weave components. Hence, invasive composition unifies several software engineering techniques such as generic programming, architecture systems, inheritance, view-based programming, and aspect oriented programming (AOP). Invasive composition is centered around a standard language, Java.
A demonstrator library, COMPOST, is freely available and can be used by the system architect in his everyday processes (http://www.the-compost-system.org).
Invited Talk
Feb 2004
Oxford University, Prof. Ooge de Moor
Uwe Aßmann
This talk presents Automatic Roundtrip Engineering (ARE), a new architectural style, which keeps views on artifacts consistent. ARE has been developed for view-based development of design models and software systems. Whenever a view is changed, the ARE technology can recalculate changes to other views automatically, so that all views are kept consistent. The technology relies on invertible domain transformations, and can be realized, for instance, with double-pushout graph rewriting. Many systems turn out to be, or should be ARE systems. Also, ARE is the first technology world-wide for a successful realization of full MDA (Model-Driven Architecture) of OMG.
Keynote
July 2003
Uwe Aßmann
Im Laufe der Zeit hat die Softwaretechnik verschiedene Komponentensyteme entwickelt. Es begann mit modularer Technik, setzte sich mit objektorientierter Technik, klassischen Komponentensystemen, und Web Services fort. In letzter Zeit sind die ersten Ansätze erschienen, die Graue Kästen miteinander komponieren (graybox composition). Dieser Vortrag gibt einen Überblick über Software aus Komponenten, ihre Komponentenmodelle und Kompositionstechniken. Er zeigt auf, warum bestimmte Komponentenmodelle mächtiger und flexibler als andere sind und wann man welches in der Praxis für welchen Zweck einsetzen sollte.
High Integrity Distributed Object-Oriented Realtime Systems (HIDOORS) - Model Checking Real-Time Specifications in an Industrial Environment
Technical Talk
Feb 14, 2003
Dagstuhl-Seminar “Can Optimization meet its Demands?” Dagstuhl, Feb10-14, 2003. Organized by Mary-Lou Soffa, Christine Eisenbeis.
Uwe Assmann, Linköpings Universitet, Sweden
The HIDOORS project combines a modern compiler system for real-time Java with advanced program optimizers, model checkers, and a case tool for real-time UML diagrams. Combining real-time message sequence charts with real-time statecharts, a model checker can check the system automaton. Its verification results can give feedback to the user and also the program analysis. HIDOORS builds a software architecture for this environment. The first task is a merge algorithm for real-time message sequence charts, which is based on graph unification.
Technical Talk
Uwe Aßmann
Since about 40 years, semantic specifications have played a large role in compiler research and industry. Many mechanisms have been invented and employed successfully: attribute grammars, denotational semantics, natural semantics, and rewrite systems. Also logics has been used in the works of Uhl, Odersky, and Poetzsch-Heffter.
Recently, the Web consortium has announced a new initiative for the second generation web, the Semantic Web. Its idea is to describe the static semantics of documents with logic. Finally, this generalizes the grammar-based approach of XML-document type definitions to context-sensitive syntax anc context conditions. Static semantics of documents will be described in so-called ontologies, with languages such as DAML, DAML-L, and others. This will be done uniformly for all kinds of documents, also programs.
This immediately threatens the compiler field. Ontologies for Java, C, and all other languages will be developed; XML parsers will parse programs, and ontology check engines will check the static semantics according to the ontologies. We discuss the relationship of the compiler field and the Semantic Web.
NB.: The talk is somewhat changed.
Technical Talk
2002
Technical Talk at Linöpings Universitet
Dr. Uwe Aßmann, Martin Nilsson, Leif Stensson, Marcus Comstedt http://www.gotpike.org https://github.com/pikelang http://pike.lysator.liu.se/
For the future Semantic Web, languages for rapid application development are urgendly needed. This talk presents a concept for the integration of ontologies into the scripting language Pike, which is hosted at Linköpings Universitet http://www.gotpike.org
Nov 2002
Dagstuhl-Seminar of IFIP Working Group 2.4
Uwe Aßmann Research Center for Integrational Software Engineering (RISE)
Software and active documents are similar to each other and can be composed with the same invasive composition techniques based on fragments and their composition operators. We argue that active documents are software and need an architecture, just like large programs. We show that the approach of invasive software composition covers both the composition of software and active documents.
Keynote
appr. Feb. 2002
Keynote at ICSTI conference and general assembly in Stockholm
Dr. Uwe Aßmann http://www.iupac.org/publications/ci/2002/2406/sti.html
The first-generation web appeared in 1990 and brought an industrial revolution - all document formats in all industries have changed since then. We discuss the second-generation web, the “Semantic Web”, an initiative started by the W3C and supported by the European Commission.
The Semantic Web technology adds typing to the documents of the future and will serve for better document processing, vocabularies for interoperability and constraint checking of documents and specifications in all industries. It will also improve match-making on web services.
Keynote
2001
Keynote at Workshop of Lund University, LUCAS laboratory
Dr. Uwe Aßmann
The first-generation web appeared in 1990 and brought an industrial revolution - all document formats in all industries have changed since then. We claim that the next industrial revolution will be provoced by the “Semantic Web”, an initiative started by the W3C and supported by the European Commission. The Semantic Web technology adds typing to the documents of the future and will serve for better interoperability and type-checking of documents and specifications in all industries.
We give an overview on the languages, the difference of static and dynamic semantics, and show the influences of the Semantic Web on document management in different industries. Semantic Web technologies deliver much more powerful checking techniques for the context constraints of static semantics in documents than the usual XML technologies. That is why they lift specification techniques to a new level.
To be early on the train, we propose a Swedish Semantic Web initiative.
Technical Talk
2001
Linköpings Universitet
Dr. Uwe Aßmann, Prof. Dr. Peter Fritzson
The first-generation web appeared in 1990 and brought an industrial revolution - all document formats in all industries have changed since then. We claim that the next industrial revolution will be provoced by the “Semantic Web”, an initiative started by the W3C and supported by the European Commission. The Semantic Web technology adds typing to the documents of the future and will serve for better interoperability and type-checking of documents and specifications in all industries. To be early on the train, we propose a Swedish Semantic Web initiative.
Technical Talk
Dec 10, 2001
{
We are entering a new age of software construction, the age of composition. Software is no longer programmed, but assembled from components of the shelf. In particular, composition systems which can integrate components are desired because they lead to integrated, fast systems. The Research Center for Integrational Software Engineering (RISE) at Programming Environments Lab (PELAB) devotes itself to research in integrational software composition techniques.
Invited Talk
Feb. 2001
Eureopan Media Lab of IFIP Working Group 2.4
{
Software and active documents based on XML are similar to each other and can be composed with the same invasive composition techniques based on fragments and their composition operators. We argue that active documents are software and need an architecture, just like large programs. We show that the approach of invasive software composition covers both the composition of software and active documents.