Runtime Models as Interfaces for Adapting Software Systems
|
|
- Giles Mosley
- 6 years ago
- Views:
Transcription
1 Runtime Models as Interfaces for Adapting Software Systems Seminar on Software Engineering for Self-Adaptive Systems Schloss Dagstuhl, October 24-29, 2010 Thomas Vogel System Analysis and Modeling Group Hasso Plattner Institute University of Potsdam
2 Introduction The term Model-Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations.... In our broad vision of MDE, models are not only the primary artifacts of development, they are also the primary means by which developers and other systems understand, interact with, configure and modify the runtime behavior of software. [France and Rumpe, 2007] Runtime models as interfaces for adaptation Typical or new MDE concepts and techniques for self-adaptive software systems (online vs. offline) Thomas Vogel Dagstuhl October 24-29,
3 One Runtime Model as an Interface Autonomic Manager Analyze Plan Knowledge Monitor Execute Autonomic Manager Analyze Plan Monitor Knowledge Execute Runtime Model Sensors Effectors Managed Element [Kephart and Chess, 2003] Sensors Managed Element Effectors Thomas Vogel Dagstuhl October 24-29,
4 A Metamodel for a Runtime Model Thomas Vogel Dagstuhl October 24-29,
5 A Metamodel for a Runtime Model simplified Thomas Vogel Dagstuhl October 24-29,
6 Abstract Runtime Models complex detailed multiple concerns platform-specific solution space Thomas Vogel Dagstuhl October 24-29,
7 Abstract Runtime Models complex detailed multiple concerns platform-specific solution space vs. less complex abstract one concern platform-independent problem space Thomas Vogel Dagstuhl October 24-29,
8 Abstract Runtime Models complex detailed multiple concerns platform-specific solution space Metamodel for a Source Model vs. less complex abstract one concern platform-independent problem space Metamodel for a Target Model Thomas Vogel Dagstuhl October 24-29,
9 MDE for Self-Adaptive Software Systems Different runtime models for monitoring performance, failures, and architectural constraints, and for parameter and structural adaptation. architectural element model monitoring adaptation defined by uses Metamodel TGG Rules Monitor Autonomic Manager Analyze Plan Knowledge Target Model Execute Model Transformation Engine Factories Incremental, bidirectional model synchronization based on Triple Graph Grammars (TGG). Metamodel Source Model Sensors Effectors Managed System Thomas Vogel Dagstuhl October 24-29,
10 Runtime Model Synchronization Monitoring Monitoring EJB System Adaptation Adaptation Further reading: ICAC 09, 09, SEAMS 10 Thomas Vogel Dagstuhl October 24-29,
11 Ongoing and Future Work Which kind of models at which level of abstraction for which adaptation/management task? Architecting self-adaptive systems Rules, Strategies, Constraints, Requirements and Goals Configuration Space and Variability Models Context and Resource Models Configuration and Architectural Models Implementation Models Runtime Models (M1) Runtime Metamodels (M2) Runtime Meta-Metamodels (M3) [Kramer and Magee, 2007] [Vogel et al., 2010b] Using models as interfaces for managed systems and within autonomic managers, how to specify the semantics of models and model operations? Thomas Vogel Dagstuhl October 24-29,
12 Ongoing and Future Work cont d Distributed Self-Adaptive Systems Self-organizing systems Distributed managed and managing systems Distribution vs. consistency Distributed models and MDE techniques Specialized models for monitoring and adapting managed systems coordination between autonomic managers... Thomas Vogel Dagstuhl October 24-29,
13 Ongoing and Future Work cont d Distributed Self-Adaptive Systems Self-organizing systems Distributed managed and managing systems Distribution vs. consistency Distributed models and MDE techniques Specialized models for monitoring and adapting managed systems coordination between autonomic managers...? Thomas Vogel Dagstuhl October 24-29,
14 References [France and Rumpe, 2007] France, R. and Rumpe, B. (2007). Model-driven Development of Complex Software: A Research Roadmap. In Proc. of the ICSE Workshop on Future of Software Engineering (FOSE), pages IEEE. [Kephart and Chess, 2003] Kephart, J. and Chess, D. (2003). The Vision of Autonomic Computing. IEEE Computer, 36(1): [Kramer and Magee, 2007] Kramer, J. and Magee, J. (2007). Self-Managed Systems: an Architectural Challenge. In Proc. of the ICSE Workshop on Future of Software Engineering, pages IEEE. [Vogel and Giese, 2010] Vogel, T. and Giese, H. (2010). Adaptation and Abstract Runtime Models. In Proc. of the 5th ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pages ACM. [Vogel et al., 2009] Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., and Becker, B. (2009). Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems. In Proc. of the 6th Intl. Conference on Autonomic Computing and Communications, pages ACM. [Vogel et al., 2010a] Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., and Becker, B. (2010a). Incremental Model Synchronization for Efficient Run-Time Monitoring. In Models in Software Engineering, Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers, volume 6002 of LNCS, pages Springer. [Vogel et al., 2010b] Vogel, T., Seibel, A., and Giese, H. (2010b). Toward Megamodels at Runtime. In Proceedings of the 5th International MODELS Workshop on Models@run.time, volume 641 of CEUR Workshop Proceedings, pages CEUR-WS.org. Thomas Vogel Dagstuhl October 24-29,
Incremental Model Synchronization for Efficient Run-time Monitoring
Incremental Model Synchronization for Efficient Run-time Monitoring 4th International Workshop on Models@run.time Denver, Colorado, USA, Oct 5, 2009 Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger
More informationIncremental Model Synchronization for Efficient Run-Time Monitoring
Incremental Model Synchronization for Efficient Run-Time Monitoring Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, and Basil Becker Hasso Plattner Institute at the University of Potsdam
More informationThe Implications of Optimality Results for Incremental Model Synchronization for TGGs Holger Giese, Stephan Hildebrandt
The Implications of Optimality Results for Incremental Model Synchronization for TGGs Bi-directional transformations (BX) Theory and Applications Across Disciplines (13w5115) December 1-6, 2013 Holger
More informationToward Megamodels at Runtime
Toward Megamodels at Runtime 5th International Workshop on Models@run.time Oslo, Norway, 5th October 2010 Thomas Vogel, Andreas Seibel, and Holger Giese System Analysis and Modeling Group Hasso Plattner
More informationApplying MDE Tools at Runtime: Experiments upon Runtime Models
Applying MDE Tools at Runtime: Experiments upon Runtime Models Hui Song, Gang Huang, Franck Chauvel, and Yanchun Sun Key Lab of High Confidence Software Technologies (Ministry of Education) School of Electronic
More informationIntegration of Existing Software Artifacts into a View- and Change-Driven Development Approach
Integration of Existing Software Artifacts into a View- and Change-Driven Development Approach Sven Leonhardt, Johannes Hoor, Benjamin Hettwer, Michael Langhammer 21.07.2015 SOFTWARE DESIGN AND QUALITY
More informationRuntime Software Architectural Models for Adaptation, Recovery and Evolution
Runtime Software Architectural Models for Adaptation, Recovery and Evolution Hassan Gomaa Dept. of Computer Science George Mason University Fairfax, Virginia, USA hgomaa@gmu.edu Emad Albassam Dept. of
More informationSynchronization of Models of Rich Languages with Triple Graph Grammars: an Experience Report *
Synchronization of Models of Rich Languages with Triple Graph Grammars: an Experience Report * Dominique Blouin 1, Alain Plantec 2, Pierre Dissaux 3, Frank Singhoff 2 and Jean- Philippe Diguet 1 1 Lab-STICC,
More informationMechanisms for Leveraging Models at Runtime in Self-Adaptive Software
Author manuscript, published in "Models@run.time Springer (Ed.) (2014) 19-46" DOI : 10.1007/978-3-319-08915-7_2 Mechanisms for Leveraging Models at Runtime in Self-Adaptive Software Amel Bennaceur 1, Robert
More informationTowards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization
Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization Holger Giese, Stephan Hildebrandt and Stefan Neumann [first name].[last name]@hpi.uni-potsdam.de Hasso Plattner Institute
More informationA Generic Framework for Realizing Semantic Model Differencing Operators
A Generic Framework for Realizing Semantic Model Differencing Operators Philip Langer, Tanja Mayerhofer, and Gerti Kappel Business Informatics Group, Vienna University of Technology, Vienna, Austria {langer,mayerhofer,gerti}@big.tuwien.ac.at
More informationJoint work with Basil Becker, Thomas Vogel, Sebastian Wätzoldt
Towards Smart Systems of Systems 6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015). 22-24 April, 2015. Tehran, Iran. Holger Giese System Analysis & Modeling Group, Hasso
More informationModel-based Run-Time Software Adaptation for Distributed Hierarchical Service Coordination
Model-based Run-Time Software Adaptation for Distributed Hierarchical Service Coordination Hassan Gomaa, Koji Hashimoto Department of Computer Science George Mason University Fairfax, VA, USA hgomaa@gmu.edu,
More informationRule Chains Coverage for Testing QVT-Relations Transformations
Rule Chains Coverage for Testing QVT-Relations Transformations Daniel Calegari and Andrea Delgado Instituto de Computación, Facultad de Ingeniería, Universidad de la República, 11300 Montevideo, Uruguay
More informationA Graphical Specification of Model Composition With Triple Graph Grammars
A Graphical Specification of Model Composition With Triple Graph Grammars Adil Anwar 1, Amine Benelallam 2, Akram Idani 3, Bernard Coulette 4, and Mahmoud Nassar 2 1 Siweb, Computer Science Department,
More informationTowards Supporting Multiple Execution Environments for UML/OCL Models at Runtime (Position Paper)
Towards Supporting Multiple Execution Environments for UML/OCL Models at Runtime (Position Paper) Lars Hamann University of Bremen Bremen, Germany lhamann@tzi.de Martin Gogolla University of Bremen Bremen,
More informationA Generic Framework for Analyzing Model Co-Evolution
A Generic Framework for Analyzing Model Co-Evolution Sinem Getir 1, Michaela Rindt 2 and Timo Kehrer 2 1 Reliable Software Systems, University of Stuttgart, Germany sinem.getir@informatik.uni-stuttart.de
More informationReflexive and Evolutional Digital Service Ecosystems with Models at Runtime
Reflexive and Evolutional Digital Service Ecosystems with Models at Runtime Dhaminda B. Abeywickrama Service and Information Architectures VTT Technical Research Centre of Finland Kaitoväylä 1, 90570 Oulu,
More informationSoftware Runtime
Hausi A. Müller Computer Science Faculty of Engineering University of Victoria hausi@cs.uvic.ca Engineering Autonomic Systems (EASy) Software Engineering @ Runtime Our research projects 2 1 + Instrumented
More informationWhole Platform Foundation. The Long Way Toward Language Oriented Programming
Whole Platform Foundation The Long Way Toward Language Oriented Programming 2008 by Riccardo Solmi made available under the Creative Commons License last updated 22 October 2008 Outline Aim: Engineering
More informationHenshinTGG: TGG-Extension of HenshinEMF
HenshinTGG: TGG-Extension of HenshinEMF BANFF Bidirectional Transformations 05-DECEMBER-203 Frank Hermann, frank.hermann@uni.lu SECAN-Lab Interdisciplinary Centre for Security, Reliability and Trust Université
More informationEngineering and Continuously Operating Self-Adaptive Software Systems: Required Design Decisions
Engineering and Continuously Operating Self-Adaptive Software Systems: Required Design Decisions André van Hoorn 1, Wilhelm Hasselbring 2, and Matthias Rohr 1,3 1 Graduate School TrustSoft, University
More informationOn Interacting Control Loops in Self-Adaptive Systems
On Interacting Control Loops in Self-Adaptive Systems Pieter Vromant and Danny Weyns Dept. of Computer Science Katholieke Universiteit Leuven danny.weyns@cs.kuleuven.be Sam Malek Dept. of Computer Science
More informationENGINEERING AND IMPLEMENTING SOFTWARE ARCHITECTURAL PATTERNS BASED ON FEEDBACK LOOPS
DOI 10.12694/scpe.v15i4.1052 Scalable Computing: Practice and Experience ISSN 1895-1767 Volume 15, Number 4, pp. 291 307. http://www.scpe.org c 2014 SCPE ENGINEERING AND IMPLEMENTING SOFTWARE ARCHITECTURAL
More informationProseminar. (with Eclipse) Jun.-Prof. Dr.-Ing. Steffen Becker. Model-Driven Software Engineering. Software Engineering Group
Proseminar Model-Driven Software Engineering (with Eclipse) Jun.-Prof. Dr.-Ing. Steffen Becker Model-Driven Software Engineering Software Engineering Group 1 Outline Basic Requirements Preliminary Dates
More informationEnterprise Models as Drivers for IT Security Management at Runtime
Enterprise Models as Drivers for IT Security Management at Runtime Anat Goldstein, Sietse Overbeek Institute for Computer Science and Business Information Systems, University of Duisburg-Essen, Germany
More informationICSA 2017 Tutorial Runtime Modeling and Visualization -- Introduction to Palladio
DFG Priority Programme 1593 Design For Future - Managed Software Evolution ICSA 2017 Tutorial Runtime Modeling and Visualization -- Introduction to Palladio R. Heinrich ICSA 2017 Tutorial Introduction
More informationResource-Definition Policies for Autonomic Computing
2009 Fifth International Conference on Autonomic and Autonomous Systems Resource-Definition Policies for Autonomic Computing Radu Calinescu Computing Laboratory, University of Oxford, UK Email: Radu.Calinescu@comlab.ox.ac.uk
More informationDynamic Management of Integration Testing for Self-Adaptive Systems
Dynamic Management of Integration Testing for Self-Adaptive Systems Carlos Eduardo da Silva Escola de Ciências e Tecnologia UFRN, Natal, RN, Brazil carlos.silva@ect.ufrn.br Rogério de Lemos School of Computing
More informationPostprint.
http://www.diva-portal.org Postprint This is the accepted version of a paper presented at 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 20-21 May,
More informationWelcome to SENG 480B / CSC 485A / CSC 586A Self-Adaptive and Self-Managing Systems
Welcome to SENG 480B / CSC 485A / CSC 586A Self-Adaptive and Self-Managing Systems Dr. Hausi A. Müller and Lorena Castañeda Department of Computer Science University of Victoria http://courses.seng.uvic.ca/courses/2015/summer/seng/480a
More informationResource Contention Analysis of Service-Based Systems through fuml-driven Model Execution
Resource Contention Analysis of Service-Based Systems through fuml-driven Model Execution Martin Fleck 1, Luca Berardinelli 2, Philip Langer 1, Tanja Mayerhofer 1, and Vittorio Cortellessa 2 1 Business
More informationDiverSE s Seminar about Software Language Engineering
DiverSE s Seminar about Software Language Engineering May 28 th, 2015 Rennes, France http://people.irisa.fr/benoit.combemale/sleseminar2015 THE DIVERSE TEAM DiverSE s Seminar about SLE - May 28 th, 2015-2
More informationA Runtime Model for fuml
A Runtime Model for fuml Tanja Mayerhofer, Philip Langer, and Gerti Kappel Business Informatics Group Institute of Software Technology and Interactive Systems Vienna University of Technology, Austria {mayerhofer,
More informationModel-Driven Design of Ensemble-Based Component Systems
Model-Driven Design of Ensemble-Based Component Systems Ilias Gerostathopoulos Faculty of Mathematics and Physics Charles University in Prague Malostranske Namesti 25, 11800, Prague, Czech Republic iliasg@d3s.mff.cuni.cz
More informationSketch-based Metamodel Construction. Research Internship II Lucas Heer
Sketch-based Metamodel Construction Research Internship II Lucas Heer lucas.heer@student.uantwerpen.be 31.01.2018 Motivation 2 Motivation 3 Solution What if we start from instance models? 4 Solution 5
More informationAMOR Towards Adaptable Model Versioning
AMOR Towards Adaptable Model Versioning Kerstin Altmanninger 1, Gerti Kappel 2, Angelika Kusel 1, Werner Retschitzegger 1, Wieland Schwinger 1, Martina Seidl 2, Manuel Wimmer 2 1 Johannes Kepler University
More informationTowards a Model-Driven Approach for Context-Aware Software
1 Towards a Model-Driven Approach for Context-Aware Software Jose Bocanegra Systems Engineering Department Pontificia Universidad Javeriana Bogotá, Colombia jose_bocanegra@javeriana.edu.co Abstract Context-aware
More informationSelf-aware Computing in Industry 4.0
Heiko Koziolek, ABB Corporate Research Germany, 2015-01-18 Self-aware Computing in Industry 4.0 January 22, 2015 Slide 1 Context German initiative Focused on production (Smart Factory) Communication between
More informationQoS Contract Preservation through Dynamic Reconfiguration: A Formal Semantics Approach
QoS Contract Preservation through Dynamic Reconfiguration: A Formal Semantics Approach Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien 1 QoS Contract Preservation through Dynamic Reconfiguration
More informationDynamic Context Management and Reference Models for Dynamic Self Adaptation
Dynamic Context Management and Reference Models for Dynamic Self Adaptation Norha Villegas Icesi University (Colombia) and University of Victoria (Canada) Gabriel Tamura Icesi University (Colombia) Hausi
More information2 nd UML 2 Semantics Symposium: Formal Semantics for UML
2 nd UML 2 Semantics Symposium: Formal Semantics for UML Manfred Broy 1, Michelle L. Crane 2, Juergen Dingel 2, Alan Hartman 3, Bernhard Rumpe 4, and Bran Selic 5 1 Technische Universität München, Germany
More informationSASSY: A Framework for Self-Architecting Service-Oriented Systems
FEATURE: SOFTWARE ARCHITECTURE SASSY: A Framework for Self-Architecting -Oriented Systems Daniel A. Menascé, Hassan Gomaa, Sam Malek, and João P. Sousa, George Mason University // The SASSY self-architecting
More informationAn Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com
An Introduction to Model Driven Engineering (MDE) Bahman Zamani, Ph.D. bahmanzamani.com Department of Software Systems Engineering University of Isfahan Fall 2013 Overview Model & Modeling UML & UML Profile
More informationA Reference Architecture for Component-Based Self-Adaptive Software Systems. Lorena Castañeda Bueno Advisor: Gabriel Tamura
A Reference Architecture for Component-Based Self-Adaptive Software Systems Lorena Castañeda Bueno Advisor: Gabriel Tamura Motivation Today s software applications face unpredictable context changes, including
More informationModeling Context and Dynamic Adaptations with Feature Models
Modeling Context and Dynamic Adaptations with Feature Models Mathieu Acher 1, Philippe Collet 1, Franck Fleurey 2, Philippe Lahire 1, Sabine Moisan 3, and Jean-Paul Rigault 3 1 University of Nice Sophia
More informationDefinition of Visual Language Editors Using Declarative Languages
Definition of Visual Language Editors Using Declarative Languages Torbjörn Lundkvist TUCS Turku Centre for Computer Science SoSE Graduate School on Software Systems and Engineering Department of Information
More informationSoftware Technology for Self-Adaptive Systems
Software Technology for Self-Adaptive Systems Danny Weyns, Mauro Caporuscio, Morgan Ericsson, Jesper Andersson, S. Pllana, Welf Löwe Department of Computer Science danny.weyns@kuleuven.be Overview Self-adaptation
More informationThomas Bleier, Zhendong Ma, Christian Wagner AIT Austrian Insitute of Technology
Thomas Bleier, Zhendong Ma, Christian Wagner AIT Austrian Insitute of Technology 3 rd International Workshop Modeling Methods in Motion, Vienna, September 13 th, 2012 Outline ICT Security Research @ AIT
More informationProceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012)
Electronic Communications of the EASST Volume 54 (2012) Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012) Visual Modeling and Analysis of EMF Model Transformations Based
More informationLeveraging UML Profiles to Generate Plugins From Visual Model Transformations
Electronic Notes in Theoretical Computer Science 127 (2005) 5 16 www.elsevier.com/locate/entcs Leveraging UML Profiles to Generate Plugins From Visual Model Transformations Hans Schippers, Pieter Van Gorp,
More informationDetecting and Preventing Power Outages in a Smart Grid using emoflon
Detecting and Preventing Power Outages in a Smart Grid using emoflon Sven Peldszus, Jens Bürger, Daniel Strüber {speldszus,buerger,strueber}@uni-koblenz.de University of Koblenz and Landau Abstract We
More informationUnifying Software Reuse
Unifying Software Reuse Jörg Kienzle Software Composition and Reuse Laboratory (SCORE) School of Computer Science McGill University Montreal, Canada Email: Joerg.Kienzle@mcgill.ca 1 How Did We Get Here?
More informationModel-Driven Management of Docker Containers
Model-Driven Management of Docker Containers Fawaz Paraiso, Stéphanie Challita, Yahya Al-Dhuraibi, Philippe Merle To cite this version: Fawaz Paraiso, Stéphanie Challita, Yahya Al-Dhuraibi, Philippe Merle.
More informationMDD with OMG Standards MOF, OCL, QVT & Graph Transformations
1 MDD with OMG Standards MOF, OCL, QVT & Graph Transformations Andy Schürr Darmstadt University of Technology andy. schuerr@es.tu-darmstadt.de 20th Feb. 2007, Trento Outline of Presentation 2 Languages
More informationEmergent Model-Driven Engineering Ecosystems by means of Patterns
Emergent Model-Driven Engineering Ecosystems by means of Patterns Antonio Cicchetti 1 Mälardalen University, IDT, Västerås, Sweden, antonio.cicchetti@mdh.se Abstract. In Model-Driven Engineering (MDE)
More informationA Look-Ahead Strategy for Rule-Based Model Transformations
A Look-Ahead Strategy for Rule-Based Model Transformations Lars Fritsche, Erhan Leblebici, Anthony Anjorin and Andy Schürr TU Darmstadt, Germany Email: firstname.lastname@es.tu-darmstadt.de Paderborn University,
More informationSupporting Architectural Design Decisions Evolution through Model Driven Engineering
Supporting Architectural Design Decisions Evolution through Model Driven Engineering Ivano Malavolta 1, Henry Muccini 1, V. Smrithi Rekha 1,2 1 University of L Aquila, Dipartimento di Informatica, Italy
More informationA Traceability-Driven Approach to Model Transformation Testing
A Traceability-Driven Approach to Transformation Testing Nicholas D. Matragkas, Dimitrios S. Kolovos, Richard F. Paige, and Athanasios Zolotas Department of Computer Science, University of York, Deramore
More informationAvailable online at ScienceDirect. Procedia Computer Science 43 (2015 ) 3 10
Available online at www.sciencedirect.com ScienceDirect Procedia Computer Science 43 (2015 ) 3 10 ICTE in Regional Development, December 2014, Valmiera, Latvia Models for Implementation of Software Configuration
More informationarxiv: v1 [cs.se] 28 Feb 2018
Autonomous Reconfiguration Procedures for EJB-based Enterprise Applications Thomas Vogel, Jens Bruhn, and Guido Wirtz Distributed and Mobile Systems Group, University of Bamberg Feldkirchenstraße 21, 96052
More informationA Flexible Approach for Validating ı Models
A Flexible Approach for Validating ı Models Ralf Laue, Arian Storch Chair of Applied Telematics / e-business, University of Leipzig, Germany laue@ebus.informatik.uni-leipzig.de Abstract. In this article,
More informationSoftware Language Engineering of Architectural Viewpoints
Software Language Engineering of Architectural Viewpoints Elif Demirli and Bedir Tekinerdogan Department of Computer Engineering, Bilkent University, Ankara 06800, Turkey {demirli,bedir}@cs.bilkent.edu.tr
More informationProcess-Integrated Refinement Patterns in UML
Process-Integrated Refinement Patterns in UML Timo Kehrer Dept. of Computer Science and Media Stuttgart Media University (HdM) Nobelstr. 10, D-70569 Stuttgart, Germany Tel: +49 711 8923 2619 Fax: +49 711
More informationJohann Bourcier Associate Professor University of Rennes 1
Johann Bourcier Associate Professor University of Rennes 1 Johann.Bourcier@irisa.fr PhD in Computer Science from Grenoble University France (2005 2008) Auto-Home: A Framework for Autonomic Pervasive Applications
More informationUser-Driven Adaptation of Model Differencing Results
User-Driven Adaptation of Model Differencing Results Klaus Müller, Bernhard Rumpe Software Engineering RWTH Aachen University Aachen, Germany http://www.se-rwth.de/ Abstract In model-based software development,
More informationUML is still inconsistent!
Department of Computer Science Institute for Software and Multimedia Engineering, Software Technology Group UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure Claas
More informationPerspectives on User Story Based Visual Transformations
Perspectives on User Story Based Visual Transformations Yves Wautelet 1, Samedi Heng 2, and Manuel Kolp 2 1 KU Leuven, Belgium yves.wautelet@kuleuven.be, 2 LouRIM, Université catholique de Louvain, Belgium
More informationRealizing the Model-Driven Engineering (MDE) Vision
Realizing the Model-Driven Engineering (MDE) Vision Robert B. France Dept. of Computer Science Colorado State University france@cs.colostate.edu Outline of talk On the difficulty of developing complex
More informationA Prototype for Guideline Checking and Model Transformation in Matlab/Simulink
A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink Holger Giese, Matthias Meyer, Robert Wagner Software Engineering Group Department of Computer Science University of Paderborn
More informationDeveloping Web-Based Applications Using Model Driven Architecture and Domain Specific Languages
Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 2. pp. 287 293. Developing Web-Based Applications Using Model Driven Architecture and Domain
More informationALE Agile Language Engineering
ALE Agile Language Engineering (2017 2019) Thomas Degueule CWI Inria Workshop September 19 20, 2017 CWI, Amsterdam http://gemoc.org/ale/ Context Software intensive systems CWI-Inria Workshop Agile Language
More informationMiddleware for Ubiquitous Computing
Middleware for Ubiquitous Computing Software Testing for Mobile Computing National Institute of Informatics Ichiro Satoh Abstract When a portable computing device is moved into and attached to a new local
More informationA Formalism for Automated Verification of Model Transformations
Magyar Kutatók 10. Nemzetközi Szimpóziuma 10 th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics A Formalism for Automated Verification of Model Transformations
More informationModeling with the Timing Definition Language (TDL)
Modeling with the Timing Definition Language (TDL) W. Pree, J. Templ Automotive Software Workshop San Diego (ASWSD 2006) on Model-Driven Development of Reliable Automotive Services San Diego, CA (USA)
More information(An Example for) Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
(An Example for) Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion Martin Gogolla University of Bremen, Computer Science Department Database Systems
More informationTowards 2D Traceability
Towards 2D Traceability in a platform for Contract Aware Visual Transformations with Tolerated Inconsistencies Pieter Van Gorp pieter.vangorp@ua.ac.be Frank Altheide frank.altheide@gmail.com Dirk Janssens
More informationAutomatic Verification of Closures and Lambda-Functions in Python Master s Thesis Project Description
Automatic Verification of Closures and Lambda-Functions in Python Master s Thesis Project Description Benjamin Weber March 2017 Introduction Higher-order functions take other functions as parameters. Thus,
More informationModels in Conflict Towards a Semantically Enhanced Version Control System for Models
Models in Conflict Towards a Semantically Enhanced ersion Control System for Models Kerstin Altmanninger Department of Telecooperation, Johannes Kepler University Linz, Austria kerstin.altmanninger@jku.at
More informationUsing Component-oriented Process Models for Multi-Metamodel Applications
Using Component-oriented Process Models for Multi-Metamodel Applications Fahad R. Golra Université Européenne de Bretagne Institut Télécom / Télécom Bretagne Brest, France Email: fahad.golra@telecom-bretagne.eu
More informationA generic conceptual framework for selfmanaged
A generic conceptual framework for selfmanaged environments E. Lavinal, T. Desprats, and Y. Raynaud IRIT, UMR 5505 - Paul Sabatier University 8 route de Narbonne, F-3062 Toulouse cedex 9 {lavinal, desprats,
More informationExperimenting with Multi-Level Models in a Two-Level Modeling Tool
Experimenting with Multi-Level Models in a Two-Level Modeling Tool Martin Gogolla Database Systems Group, University of Bremen, Germany gogolla@informatik.uni-bremen.de Abstract. This paper discusses two
More informationDresden OCL2 in MOFLON
Dresden OCL2 in MOFLON 10 Jahre Dresden-OCL Workshop Felix Klar Felix.Klar@es.tu-darmstadt.de ES Real-Time Systems Lab Prof. Dr. rer. nat. Andy Schürr Dept. of Electrical Engineering and Information Technology
More informationEMF Code Generation with Fujaba
EMF Code Generation with Fujaba Leif Geiger Universität Kassel Wilhelmshöher Allee 73 34121 Kassel leif.geiger@uni-kassel.de Thomas Buchmann Universität Bayreuth Universitätsstr. 30 95447 Bayreuth thomas.buchmann@unibayreuth.de
More informationTowards Compositional Domain Specific Languages
Andreas Horst, Bernhard Rumpe Software Engineering RWTH Aachen University, Germany http://www.se-rwth.de/ 1 Introduction The deployment of Domain Specific Languages (DSL) and in particular Domain Specific
More informationA Directive-Based Transformation Approach for UML Class Diagrams
Int'l Conf. Software Eng. Research and Practice SERP'15 203 A Directive-Based Transformation Approach for UML Class Diagrams Devon M. Simmonds Department of Computer Science University of North Carolina,
More informationUsing Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented s Alban Rasse*, Jean-Marc Perronne*, Pierre-Alain Muller**, Bernard Thirion* * MIPS, ESSAIM, Université de Haute Alsace 2 rue des
More informationThe Role of Metamodeling in MDA
The Role of Metamodeling in MDA Colin Atkinson colin.atkinson@ieee.org Thomas Kühne Darmstadt University of Technology 64283 Darmstadt, Germany kuehne@informatik.tu-darmstadt.de Accepted at International
More informationIntegrating semantically-related Legacy Models in Vitruvius
2018 ACM/IEEE 10th International Workshop on Modelling in Software Engineering Integrating semantically-related Legacy Models in Vitruvius ABSTRACT Manar Mazkatli Karlsruhe Institute of Techlogy Karlsruhe,
More informationA Reflective Database-Oriented Framework for Autonomic Managers
A Reflective Database-Oriented Framework for Autonomic Managers Wendy Powley and Pat Martin School of Computing, Queen s University Kingston, ON Canada {wendy, martin}@cs.queensu.ca Abstract The trend
More informationStatic analysis and testing of executable DSL specification
Static analysis and testing of executable DSL specification Qinan Lai 1, Andy Carpenter 1 1 School of Computer Science, the University of Manchester, Manchester, UK {laiq,afc}@cs.man.ac.uk Keywords: Abstract:
More informationObject-Oriented Theories for Model Driven Architecture
Object-Oriented Theories for Model Driven Architecture Tony Clark 1, Andy Evans 2, Robert France 3 1 King s College London, UK, anclark@dcs.kcl.ac.uk, 2 University of York, UK, andye@cs.york.ac.uk, 3 University
More informationOntology-based Model Transformation
Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed Systems Institute of Computer Science, University of Augsburg, Germany [roser,bauer]@informatik.uni-augsburg.de
More informationOntology driven voice-based interaction in mobile environment
Ontology driven voice-based interaction in mobile environment Jiri Kopsa 1, Zdenek Mikovec 1, Pavel Slavik 1 1 Czech Technical University in Prague Karlovo namesti 13, Prague 2, Czech Republic j.kopsa@fee.ctup.cz,
More informationMeta-Modeling and Modeling Languages
member of Meta-Modeling and Modeling Languages Models and Modelling Model A reproduction of the part of reality which contains the essential aspects to be investigated. Modelling Describing and Representing
More informationUnit Testing of Model to Text Transformations
Unit Testing of Model to Text Transformations Alessandro Tiso, Gianna Reggio, Maurizio Leotta DIBRIS Università di Genova, Italy alessandro.tiso gianna.reggio maurizio.leotta@unige.it Abstract. Assuring
More informationWeaving Variability into Domain Metamodels
1 Weaving Variability into Domain Metamodels B. Morin, G. Perrouin, Ph. Lahire, O. Barais, G. Vanwormhoudt and J-M. Jézéquel MODELS 09 Variability Management session Friday 9th October Outline Introduction
More informationGenerating JMI model transformation code from UML profile models for SDM Aligning Graph Rewriting with MDA-light
Segravis School on Foundations of Visual Modelling Techniques, May 2004, Schloss Dagstuhl Generating JMI model transformation code from UML profile models for SDM Aligning Graph Rewriting with MDA-light
More informationExtensible BPMN Process Simulator
Extensible BPMN Process Simulator Luise Pufahl and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Germany {Luise.Pufahl,Mathias.Weske}@hpi.uni-potsdam.de Abstract. Business process
More informationFrom Object Composition to Model Transformation with the MDA
From Object Composition to Transformation with the MDA Jean Bézivin University of Nantes 2, rue de la Houssinière, BP 92208 44322 Nantes cedex 3, France Jean.Bezivin@sciences.univ-nantes.fr Abstract The
More information