Language Family Engineering

Size: px
Start display at page:

Download "Language Family Engineering"

Transcription

1 Language Family Engineering with Features and Role-Based Composition Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der Technischen Universität Dresden Fakultät Informatik eingereicht von Dipl.-Inf. Christian Wende geboren am 01. April 1982 in Hoyerswerda Gutachter: Prof. Dr. rer. nat. habil. Uwe Aßmann (Technische Universität Dresden) Prof. Dr. Colin Atkinson (Universität Mannheim) Tag der Verteidigung: 16. März 2012 Dresden im Januar 2012

2

3 Abstract The benefits of Model-Driven Software Development (MDSD) and Domain-Specific Languages (DSLs) wrt. efficiency and quality in software engineering increase the demand for custom languages and the need for efficient methods for language engineering. This motivated the introduction of language families that aim at further reducing the development costs and the maintenance effort for custom languages. The basic idea is to exploit the commonalities and provide means to enable systematic variation among a set of related languages. Current techniques and methodologies for language engineering are not prepared to deal with the particular challenges of language families. First, language engineering processes lack means for a systematic analysis, specification and management of variability as found in language families. Second, technical approaches for a modular specification and realisation of languages suffer from insufficient modularity properties. They lack means for information hiding, for explicit module interfaces, for loose coupling, and for flexible module integration. Our first contribution, Feature-Oriented Language Family Engineering (LFE), adapts methods from Software Product Line Engineering (SPLE) to the domain of language engineering. It extends Feature-Oriented Software Development (FOSD) to support metamodelling approaches used for language engineering and replaces state-of-the-art processes by a variability- and reuse-oriented LFE process. Feature-oriented techniques are used as means for systematic variability analysis, variability management, language variant specification, and the automatic derivation of custom language variants. Our second contribution, Integrative Role-Based Language Composition, extends existing metamodelling approaches with roles. Role models introduce enhanced modularity for object-oriented specifications like abstract syntax metamodels. We introduce a rolebased language for the specification of language components, a role-based composition language, and an extensible composition system to evaluate role-based language composition programs. The composition system introduces integrative, grey-box composition techniques for language syntax and semantics that realise the statics and dynamics of role composition, respectively. To evaluate the introduced approaches and to show their applicability, we apply them in three major case studies. First, we use feature-oriented LFE to implement a language family for the ontology language OWL. Second, we employ role-based language composition to realise a component-based version of the language OCL. Third, we apply both approaches in combination for the development of SumUp, a family of languages for mathematical equations. iii

4

5 Acknowledgements I would like to thank my supervisor Uwe Aßmann. He gave me the opportunity to spend my time on the interesting and challenging topic of language engineering. Uwe inspired my early ideas on role-based language composition and helped me in shaping them to a real research topic. He was a steady source of new inspiration, helpful advice, surprising insights, and far-reaching objectives. I m very thankful for the excellent scientific and personal atmosphere he creates in his group. I want to thank my colleague Florian Heidenreich for his indispensable contributions to this thesis. His steady interest in my research and the intensive discussions about features, product lines, and metamodelling contributed a lot to my perception and knowledge of these topics. His contributions to model-driven product-line engineering, his tool FeatureMapper, and our joint work in the project feasiple are an inevitable foundation to feature-oriented language family engineering. In addition to Florian, Jendrik Johannes and Mirko Seifert had a huge impact on my research. Jendrik s work on grammars in Reuseware prepared what later became our joint project EMFText. Mirko s amazing perfectionism transformed EMFText to the stable tool it is today and the solid foundation my research on model-driven language composition is based on. The joined publications with Florian, Jendrik and Mirko, taught me a lot about scientific and collaborative writing and opened my mind for many topics beyond my thesis. On the other hand, the three became close friends during the countless hours in the office and our joint trips to conferences or project meetings. We always mixed business and pleasure and had the best and worst ideas during endless nights in pubs in Dresden-Neustadt. In addition, Birgit Demuth, Claas Wilke, Matthias Bräuer, Steffen Zschaler, and Sven Karol had a great influence on this thesis. Birgit introduced me into the world of research during my diploma thesis. Together with Claas, and Matthias she inspired the OCL case study during our joint work on the Dresden OCL Toolkit. Steffen worked with me on the early design of role-based language composition and taught me a lot about research and scientific writing. Steffen s and Sven s critical thinking and their constructive comments helped me in revising and refining the contributions of this thesis. v

6 Lots of the research in this thesis was done in the research projects feasiple and MOST. I want to mention Henrik Lochmann, who shared my passion for enhanced language integration in feasiple. I want to mention Srdjan Zivkovic. We worked together on the MOST TOPF case study and developed a family of ontology-based software development tools. I also want to mention Fernando Silva Parreiras, Tobias Walter, and Gerd Gröner who worked with me on the integration of metamodels and ontologies in OWLizer and taught me a lot on the application of ontologies in software engineering. I thank Yuting Zhao, Jeff Z. Pan, and Edward Thomas who introduced me to the details of ontology reasoning with TrOWL and helped in realising the OWL case study. I had the privilege to supervise Beata Dryzmajllo, Nils Thieme, Henri Mühle, Michael Thiele, and Johannes Mey during their diploma theses. They did some excellent work and contributed a lot to the design, realisation, and extension of the role-based language composition system introduced in this thesis. I thank them for our productive joint work and their patience with me. Many thanks to Uwe, Florian, Mirko, and Jendrik for their invaluable comments on the written text. They spent their valuable time to comment draft versions of this thesis. I also acknowledge the effort of the various, anonymous reviewers of the publications related to this thesis. They helped a lot to improve the presentation of our ideas. Finally, but not lastly, I want to thank my family: my parents Marion and Frank who always encouraged and supported me, my brother Martin, who tolerates his bothering brother since many years, my great-grandfather Hans who taught me to be passionate about learning new things, and my great-grandmother Hildegart who taught me serenity. I am deeply indebted to my love Nicole and our little daughter Hannah. They suffered most during the last weeks of finishing this thesis. Nicole took care of Hannah during my endless overtime hours and Hannah took care of keeping Nicole in a positive mood. You never doubted my abilities and encouraged me during the hardest parts of this work. I love you. Christian Wende December 2011 vi

7 Publications This thesis is based on a number of publications. We first enumerate peer-reviewed publications that directly relate to contributions of this thesis, i.e., feature-based language family engineering and role-based language composition. Then we enumerate peer-reviewed publications that provide or concern foundations of each contribution. Finally, we enumerate tutorials related to topics of this thesis and non-peer-reviewed publications. In co-authored publications, the author contributed a large part and in particular the parts this thesis is based on or relates to. Peer-reviewed Publications on Feature-Oriented Language Family Engineering Christian Wende, Srdjan Zivkovic, Uwe Aßmann, and Harald Kühn. Feature-based Customisation of Tool Environments for Model-Driven Software Development. Proceedings of 15th Software Product Line Conference (SPLC 2011), Christian Wende and Florian Heidenreich. A Model-based Product-Line for Scalable Ontology Languages. Proceedings of the 1st International Workshop on Model- Driven Product Line Engineering (MDPLE 2009) at ECMFA Conference (ECMFA 2009), Peer-reviewed Publications on Role-Based Language Composition Henri Mühle and Christian Wende. Describing Role Models in Terms of Formal Concept Analysis. 8th International Conference on Formal Concept Analysis (ICFCA 2010), Mirko Seifert, Christian Wende, and Uwe Aßmann. Anticipating Unanticipated Tool Interoperability using Role Models. Proceedings of the First Workshop on Model Driven Interoperability (MDI 2010) at ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), vii

8 Christian Wende, Nils Thieme, and Steffen Zschaler. A Role-based Approach Towards Modular Language Engineering. Proceedings of 2nd International Conference on Software Language Engineering, (SLE 2009), Revised Selected Papers, Peer-reviewed Publications on Feature-Oriented Development Gerd Gröner, Christian Wende, M. Boskovic, F. S. Parreiras, Tobias Walter, Florian Heidenreich, D. Gasevic, and Steffen Staab. Validation of Families of Business Processes. Proceedings of 23rd International Conference on Advanced Information Systems Engineering (CAiSE 2011), Florian Heidenreich, Ilie Savga, and Christian Wende. On Controlled Visualisations in Software Product Line Engineering. Proceedings of the 2nd International Workshop on Visualisation in Software Product Line Engineering (ViSPLE 08) at 12th International Software Product Line Conference (SPLC 2008), Florian Heidenreich and Christian Wende. Bridging the Gap Between Features and Models. Proceedings of the 2nd International Workshop on Aspect-Oriented Product Line Engineering (AOPLE 07) at 6th International Conference on Generative Programming and Component Engineering (GPCE 2007), Peer-reviewed Publications on Language Engineering and Language Family Engineering Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende, Claas Wilke, and Uwe Aßmann. NaoText: A Role-based Language for Collaborative Robot Applications. Proceeedings of International ISoLA Workshops on Software Aspects of Robotic Systems (ISoLA 2011), Florian Heidenreich, Jendrik Johannes, Jan Reimann, Mirko Seifert, Christian Wende, Christian Werner, Claas Wilke, and Uwe Aßmann. Model-driven Modernisation of Java Programs with JaMoPP. Joint Proceedings of the First International Workshop on Model-Driven Software Migration (MDSM 2011) and the Fifth International Workshop on System Quality and Maintainability (SQM 2011), Christoff Bürger, Sven Karol, Christian Wende, and Uwe Aßmann. Reference Attribute Grammars for Metamodel Semantics. Proceedings of 3rd International Conference on Software Language Engineering (SLE 2010), Florian Heidenreich, Jenrik Johannes, Mirko Seifert, Michael Thiele, Christian Wende, and Claas Wilke. Integrating OCL and Textual Modelling Languages. Proceedings of Workshop on OCL and Textual Modelling at ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), viii

9 Christoff Bürger, Sven Karol, and Christian Wende. Applying Attribute Grammars for Metamodel Semantics. Proceedings of International Workshop on Formalization of Modeling Languages (FML 2010) at 24th European Conference on Object-Oriented Programming (ECOOP 2010), Florian Heidenreich, Jendrik Johannes, Mirko Seifert, and Christian Wende. Closing the Gap between Modelling and Java. Proceedings of 2nd International Conference on Software Language Engineering (SLE 2009), Revised Selected Papers, T. Walter, F.S. Parreiras, G. Gröner, and C. Wende. OWLizing: Transforming Software Models to Ontologies. Proceedings of 2nd International Workshop on Ontology-Driven Software Engineering (ODiSE 2010) at 25th Anual ACM SIG- PLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Claas Wilke, Michael Thiele, and Christian Wende. Extending Variability for OCL Interpretation. Proceedings of ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, and Marcel Böhme. Generating Safe Template Languages. Proceedings of 8th International Conference on Generative Programming and Component Engineering (GPCE 2009)), Florian Heidenreich, Jendrik Johannes, Sven Karol, Mirko Seifert, and Christian Wende. EMFText and JaMoPP - Tool Presentation. Proceedings of Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA 2009), Florian Heidenreich, Jendrik Johannes, Mirko Seifert, and Christian Wende. Construct to Reconstruct - Reverse Engineering Java Code with JaMoPP. Proceedings of the International Workshop on Reverse Engineering Models from Software Artifacts at the 16th Working Conference on Reverse Engineering (WCRE 2009), Florian Heidenreich, Jenrik Johannes, Sven Karol, Mirko Seifert, and Christian Wende. Derivation and Refinement of Textual Syntax for Models. Proceedings of 5th European Conference on Model-Driven Architecture (ECMDA 2009), Florian Heidenreich, Christian Wende, and Birgit Demuth. A Framework for Generating Query Language Code from OCL Invariants. Proceedings of 7th OCL Workshop at the UML/MoDELS Conference (MoDELS 2007), 2007 ix

10 Tutorials at International Summer Schools and Conferences Florian Heidenreich, Sven Karol, and Christian Wende. Model-Driven Language Engineering with EMFText. Tutorial at 4th Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2011), Braga, Portuagal, Fernando Parreiras, Tobias Walter, Christian Wende, and Edward Thomas. Bridging Software Languages and Ontology Technologies. Tutorial at the 25th Anual ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Fernando Parreiras, Tobias Walter, Christian Wende, and Edward Thomas. Model Driven Development with Semantic Web Technologies. Tutorial at the 6th European Conference on Modeling Foundations and Applications (ECMFA 2010), Paris, France, Technical Reports Related to this Thesis Christian Wende, Srdjan Zivkovic, Uwe Aßmann, and Harald Kühn. Feature-based Customisation of MDSD Tool Environments. Technical Report, Technische Universität Dresden, Fakultät Informatik, TUD-FI10-05, ISSN X, Tom Dinkelaker, Christian Wende, and Henrik Lochmann. Implementing and Composing MDSD-Typical DSLs. Technical Report, Technische Universität Darmstadt, Fakultät Informatik, TUD-CS , Florian Heidenreich, Jendrik Johannes, Mirko Seifert, and Christian Wende. JaMoPP: The Java Model Parser and Printer. Technical Report, Technische Universität Dresden, Fakultät Informatik, TUD-FI09-10, ISSN X, Steffen Zschaler and Christian Wende. Collaborating Languages and Tools: A Study in Feasibility. Technical Report, Technische Universität Dresden, Fakultät Informatik, TUD-FI08-06, ISSN X, x

11 Contents List of Figures List of Tables List of Listings xv xix xxi 1. Introduction The Omnipresence of Language Families Challenges for Language Family Engineering Language Family Engineering with Features and Role-Based Composition 7 2. Review of Current Language Engineering Language Engineering Processes Analysis Phase Design Phase Implementation Phase Applicability in Language Family Engineering Requirements for an Enhanced LFE Process Technical Approaches in Language Engineering Specification of Abstract Syntax Specification of Concrete Syntax Specification of Semantics Requirements for an Enhanced LFE Technique Feature-Oriented Language Family Engineering Foundations of Feature-Oriented SPLE Introduction to SPLE Feature-Oriented Software Development xi

12 Contents 3.2. Feature-Oriented Language Family Engineering Variability and Variant Specification in LFE Product-Line Realisation, Mapping and Variant Derivation for LFE Case Study: Scalability in Ontology Specification, Evaluation and Application Review of Evolution, Customisation and Combination in the OWL Language Family Application of Feature-Oriented Language Family Engineering for OWL Discussion Contributions Related Work Conclusion Integrative, Role-Based Composition for Language Family Engineering Foundations of Role-Based Modelling Information Hiding and Interface Specification in Role Models Loose Coupling and Flexible Integration in Role Composition The LanGems Language Composition System The Language Component Specification Language The Language Composition Language Techniques of Language Composition Case Study: Component-based OCL Role-Based OCL Modularisation Role-Based OCL Composition Discussion Contributions Related Work Conclusion LFE with Integrative, Role-Based Syntax and Semantics Composition Integrating Features and Roles SumUp Case Study Motivation Feature-Oriented Variability and Variant Specification Role-Based Component Realisation Feature-Oriented Variability and Variant Evolution Model-driven Concrete Syntax Realisation Model-driven Semantics Realisation Role-Based Composition and Feature Mapping Language Variant Derivation Conclusion Conclusion 175 xii

13 Contents 6.1. Contributions Outlook Co-Evolution in Language Families Role-Based Tool Integration Automatic Modularisation of Existing Language Families Language Component Library A. OCL Case Study 183 A.1. core Component A.2. logic Component A.3. math Component A.4. collection Component A.5. messages Component A.6. tuple Component A.7. string Component A.8. classifiercontext Component A.9. attributecontext Component A.10.operationcontext Component A.11.package Component A.12.initial Component A.13.temporal Component A.14.OCL Composition Program B. SumUp Case Study 203 B.1. sheet Component B.2. math Component B.3. conditional Component B.4. units Component B.5. variables Component B.6. strings Component B.7. SumUp Composition Program Abbreviations 219 Bibliography 225 xiii

14

15 List of Figures 1.1. Phenomena of language development, their motivating force and results LFE with features and role-based composition Combination of role-based language composition and feature-oriented LFE EMF implementation of MOF three-layered metamodelling architecture GXL approach for metamodelling for graph-based languages OWL ontologies applied in metamodelling and modelling Generic process for SPLE FOSD process for SPLE Feature-oriented process for LFE Variability in language features of DL language family Variability on language families used in software development activities Variability for language families tooling built with EMFText Variability of metamodelling languages in Eclipse/EMF Categorisation of exemplary variability dimensions wrt. abstraction and metamodelling level Combination of FeatureMapper and EMFText for variability mapping and variant derivation in LFE Application of FeatureMapper for mapping variability to metamodel elements in LFE Application of variant editor in variant specification for OWL2 language features Application of custom editor derived for OWL2 language variant Variability for OWL2 reasoning infrastructure Application of FeatureMapper for mapping variability to TrOWL configuration files in LFE Variability for OWL2 application in MOST TOPF tool environments xv

16 List of Figures Generic architecture for ontology-based MDSD tool environments Application of FeatureMapper for mapping variability to components of the MOST TOPF architecture in LFE Variant model for SAP MOST TOPF variant Demonstrator for SAP case study derived from MOST TOPF Overview of the LanGems language composition system Syntactic and semantic interface of the language metamodel and their relation to concrete syntax and semantics Introduction of explicit interfaces for metamodel composition in role-based metamodelling Metamodel of the basic Ecore metamodelling language Metamodel of the LanGems LCSL Control flow between integrated language components for role operation and augmentation bindings Metamodel of the LanGems LCL Overview of the LanGems composition process Exemplary instance of LanGems composition process Process for EMF abstract syntax composition in LanGems Integrative composition pattern for EMF to implement statics of role composition Integrated, object-oriented metamodel of composed formflow language Process for EMFText textual concrete syntax composition in LanGems Textual editor generated from integrated formflow syntax Concepts of GMF specification languages mapped to an exemplary GMF editor Process for GMF graphical concrete syntax composition in LanGems Example of GMF graphical editor composition for CPNs Process for Java operational semantics composition in LanGems Exemplary wizard dialogue derived from a formflow specification Evolution, customisation and combination in the OCL language family Modularisation of OCL grammar using grammar inheritance [Akehurst 2007] OCL core component Editor generated for OCL with temporal and initial extensions Process for LFE with features and integrative, role-based composition Feature model for SumUp variability specification Variant specifications for custom SumUp variants SumUp language components Refined feature model for SumUp variability specification Guided refinement of SumUp variant specification for Martin CPN component for semantics specification of sheet component CPN component for semantics specification of math component xvi

17 List of Figures 5.9. Process for CPN semantics composition in LanGems Integrative composition pattern for CPN to implement dynamics of role composition Exemplary application of CPN composition pattern Exemplary role bindings in SumUp composition program Reduced role bindings for Christian s SumUp variant Editors derived for custom SumUp variants Contribution I: Feature-oriented LFE process Contribution II: Role-based language composition technique xvii

18

19 List of Tables 1.1. Exemplary selection of families of modelling languages and their founding phenomena Formalisms and technical spaces for metamodelling Alignment of terminology for metamodelling formalisms and technical spaces Subclassing ambiguity: subtyping vs. inheritance Formalisms and technical spaces for textual syntax specification Formalisms and technical spaces for graphical syntax specification Formalisms and technical spaces for semantics specification Feature relationships and their semantics in propositional logic Classification of variability dimensions Selection of languages from EMFText zoo applicable for variability mapping Variability of MOST Case studies wrt. common requirements for tool environments Mapping of Steimann s role features (feature numbers refer to [Steimann 2000b]) to modularity properties desired for language modularisation Concepts and Syntax for CPNs Overview of case studies used for qualitative evaluation of our approach xix

20

21 List of Listings 3.1. Excerpt of OWL2 metamodel definition in TextEcore syntax Excerpt of OWL2 syntax definition in EMFText syntax Role-based specification of statechart language component in LCSL Role-based specification of form language component in LCSL Role-based composition of formflow language in LCL Role-based composition of logging for formflow language in LCL Role-based specification of logger language component in LCSL Role-based composition of CPN language in LCL Pattern to generate AspectJ aspect for role binding Pattern to generate AspectJ pointcut-advice for role operation binding binding Pattern to generate AspectJ pointcut-advice for before binding of augmentation Pattern to generate AspectJ pointcut-advice for after binding of augmentation AspectJ aspect generated for role binding of natural State to role LoggingArtifact defined in Listing AspectJ aspect generated for role binding of natural Form to role Activity defined in Listing Realisation of priorities in syntax specification of OCL math component Excerpt of SumUp composition program in LCL A.1. Role-based specification of OCL core component in LCSL A.2. Syntax specification of OCL core component A.3. Role-based specification of OCL logic component in LCSL A.4. Syntax specification of OCL logic component xxi

22 List of Listings A.5. Role-based specification of OCL math component in LCSL A.6. Syntax specification of OCL math component A.7. Role-based specification of OCL collection component in LCSL A.8. Syntax specification of OCL collection component A.9. Role-based specification of OCL messages component in LCSL A.10.Syntax specification of OCL messages component A.11.Role-based specification of OCL tuple component in LCSL A.12.Syntax specification of OCL tuple component A.13.Role-based specification of OCL string component in LCSL A.14.Syntax specification of OCL string component A.15.Role-based specification of OCL classifiercontext component in LCSL A.16.Syntax specification of OCL classifiercontext component A.17.Role-based specification of OCL attributecontext component in LCSL A.18.Syntax specification of OCL attributecontext component A.19.Role-based specification of OCL operationcontext component in LCSL A.20.Syntax specification of OCL operationcontext component A.21.Role-based specification of OCL package component in LCSL A.22.Syntax specification of OCL oclpackage component A.23.Role-based specification of OCL initial component in LCSL A.24.Syntax specification of OCL initial component A.25.Role-based specification of OCL temporal component in LCSL A.26.Syntax specification of OCL temporal component A.27.Composition program for complete OCL including temporal and initial extensions in LCL B.1. Role-based specification of SumUp sheet component in LCSL B.2. Syntax specification of SumUp sheet component B.3. CPN-based semantics specification of SumUp sheet component B.4. Role-based specification of SumUp math component in LCSL B.5. Syntax specification of SumUp math component B.6. CPN-based semantics specification of SumUp math component B.7. Role-based specification of SumUp conditional component in LCSL B.8. Syntax specification of SumUp conditional component B.9. CPN-based semantics specification of SumUp conditional component B.10.Role-based specification of SumUp units component in LCSL B.11.Syntax specification of SumUp units component B.12.CPN-based semantics specification of SumUp units component B.13.Role-based specification of SumUp variables component in LCSL B.14.Syntax specification of SumUp variables component B.15.CPN-based semantics specification of SumUp variables component B.16.Role-based specification of SumUp strings component in LCSL B.17.Syntax specification of SumUp strings component B.18.CPN-based semantics specification of SumUp strings component B.19.Composition program for complete SumUp language in LCL xxii

Designing Round-Trip Systems by Change Propagation and Model Partitioning

Designing Round-Trip Systems by Change Propagation and Model Partitioning Designing Round-Trip Systems by Change Propagation and Model Partitioning Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der Technischen Universität Dresden

More information

JastEMF: Reference Attribute Grammars for EMF-based DSLs

JastEMF: Reference Attribute Grammars for EMF-based DSLs Fakultät Informatik Institut Software- und Multimediatechnik, Lehrstuhl Softwaretechnologie JastEMF: Reference Attribute Grammars for EMF-based DSLs Sven Karol, Christoff Bürger ACSE 17.12.2012 What s

More information

Lecture 2: Domain-Specific Logic Languages (DSLL) or Logic-based Domain-Specific Languages (LDSL)

Lecture 2: Domain-Specific Logic Languages (DSLL) or Logic-based Domain-Specific Languages (LDSL) Lecture 2: Domain-Specific Logic Languages (DSLL) or Logic-based Domain-Specific Languages (LDSL) Prof. Uwe Aßmann Christian Wende Technische Universität Dresden Software Engineering Group http://st.inf.tu-dresden.de

More information

Development of Tool Extensions with MOFLON

Development of Tool Extensions with MOFLON Development of Tool Extensions with MOFLON Ingo Weisemöller, Felix Klar, and Andy Schürr Fachgebiet Echtzeitsysteme Technische Universität Darmstadt D-64283 Darmstadt, Germany {weisemoeller klar schuerr}@es.tu-darmstadt.de

More information

CommentTemplate: A Lightweight Code Generator for Java built with Eclipse Modeling Technology

CommentTemplate: A Lightweight Code Generator for Java built with Eclipse Modeling Technology CommentTemplate: A Lightweight Code Generator for Java built with Eclipse Modeling Technology Jendrik Johannes, Mirko Seifert, Christian Wende, Florian Heidenreich, and Uwe Aßmann DevBoost GmbH D-10179,

More information

Run-time Variability Issues in Software Product Lines

Run-time Variability Issues in Software Product Lines Run-time Variability Issues in Software Product Lines Alexandre Bragança 1 and Ricardo J. Machado 2 1 Dep. I&D, I2S Informática Sistemas e Serviços SA, Porto, Portugal, alexandre.braganca@i2s.pt 2 Dep.

More information

25.1 Translational Frameworks (MDA with transformations)

25.1 Translational Frameworks (MDA with transformations) Literature TU Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik 25. From Code Frameworks to Model-Driven Architecture (MDA) and Component-Based Software Development (CBSD) Prof.

More information

User Guidance in Business Process Modelling

User Guidance in Business Process Modelling User Guidance in Business Process Modelling Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften vorgelegt von Diplom-Wirtschaftsinformatiker (FH) Matthias Born aus Albstadt genehmigt von

More information

Structure of Presentation. The Role of Programming in Informatics Curricula. Concepts of Informatics 2. Concepts of Informatics 1

Structure of Presentation. The Role of Programming in Informatics Curricula. Concepts of Informatics 2. Concepts of Informatics 1 The Role of Programming in Informatics Curricula A. J. Cowling Department of Computer Science University of Sheffield Structure of Presentation Introduction The problem, and the key concepts. Dimensions

More information

MDE Adoption in Industry: Challenges and Success Criteria

MDE Adoption in Industry: Challenges and Success Criteria MDE Adoption in Industry: Challenges and Success Criteria Parastoo Mohagheghi 1, Miguel A. Fernandez 2, Juan A. Martell 2, Mathias Fritzsche 3 and Wasif Gilani 3 1 SINTEF, P.O.Box 124-Blindern, N-0314

More information

A Lightweight Framework for Universal Fragment Composition

A Lightweight Framework for Universal Fragment Composition A Lightweight Framework for Universal Fragment Composition with an application in the Semantic Web Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) vorgelegt an der Technischen

More information

Domain Models and Product Lines

Domain Models and Product Lines Fakultät Informatik, Institut für Software- und Multimediatechnik, Lehrstuhl für Softwaretechnologie Domain Models and Product Lines Prof. Dr. U. Aßmann Technische Universität Dresden Institut für Software-

More information

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools

Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools Jack Greenfield Keith Short WILEY Wiley Publishing, Inc. Preface Acknowledgments Foreword Parti Introduction to

More information

Roles in Software Development using Domain Specific Modelling Languages

Roles in Software Development using Domain Specific Modelling Languages Roles in Software Development using Domain Specific Modelling Languages Holger Krahn Bernhard Rumpe Steven Völkel Institute for Software Systems Engineering Technische Universität Braunschweig, Braunschweig,

More information

An Enterprise Modeling Framework for Banks using. Algebraic Graph Transformation

An Enterprise Modeling Framework for Banks using. Algebraic Graph Transformation An Enterprise Modeling Framework for Banks using Algebraic Graph Transformation vorgelegt von Diplom-Wirtschaftsinformatiker Christoph Brandt aus Berlin-Lichterfelde von der Fakultät IV - Elektrotechnik

More information

Towards Collaborative Requirements Engineering Tool for ERP product customization

Towards Collaborative Requirements Engineering Tool for ERP product customization Towards Collaborative Requirements Engineering Tool for ERP product customization Boban Celebic, Ruth Breu, Michael Felderer, Florian Häser Institute of Computer Science, University of Innsbruck 6020 Innsbruck,

More information

Institut für Software- und Multimediatechnik

Institut für Software- und Multimediatechnik Fakultät Informatik Technische Berichte Technical Reports ISSN 1430-211X TUD-FI12-01-Januar 2012 C. Wilke, A. Bartho, J. Schroeter, S. Karol, U. Aßmann Institut für Software- und Multimediatechnik Extended

More information

A Framework for Software Product Line Engineering

A Framework for Software Product Line Engineering Günter Böckle Klaus Pohl Frank van der Linden 2 A Framework for Software Product Line Engineering In this chapter you will learn: o The principles of software product line subsumed by our software product

More information

A Case Study on Model-Driven and Conventional Software Development: The Palladio Editor

A Case Study on Model-Driven and Conventional Software Development: The Palladio Editor A Case Study on Model-Driven and Conventional Software Development: The Palladio Editor Klaus Krogmann, Steffen Becker University of Karlsruhe (TH) {krogmann, sbecker}@ipd.uka.de Abstract: The actual benefits

More information

for High Performance Computing

for High Performance Computing Technische Universität München Institut für Informatik Lehrstuhl für Rechnertechnik und Rechnerorganisation Automatic Performance Engineering Workflows for High Performance Computing Ventsislav Petkov

More information

VARIABILITY MODELING FOR CUSTOMIZABLE SAAS APPLICATIONS

VARIABILITY MODELING FOR CUSTOMIZABLE SAAS APPLICATIONS VARIABILITY MODELING FOR CUSTOMIZABLE SAAS APPLICATIONS Ashraf A. Shahin 1, 2 1 College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU) Riyadh, Kingdom of Saudi

More information

An Approach for the Systematic Development of Domain-Specific Languages

An Approach for the Systematic Development of Domain-Specific Languages An Approach for the Systematic Development of Domain-Specific Languages Mark Strembeck 1, Uwe Zdun 2 1 Institute of Information Systems, New Media Lab Vienna University of Economics and BA, Austria mark.strembeck@wu-wien.ac.at

More information

Co-Creation of Models and Metamodels for Enterprise. Architecture Projects.

Co-Creation of Models and Metamodels for Enterprise. Architecture Projects. Co-Creation of Models and Metamodels for Enterprise Architecture Projects Paola Gómez pa.gomez398@uniandes.edu.co Hector Florez ha.florez39@uniandes.edu.co ABSTRACT The linguistic conformance and the ontological

More information

Contributions To Ontology-Driven Requirements Engineering

Contributions To Ontology-Driven Requirements Engineering Dissertation Contributions To Ontology-Driven Requirements Engineering bearbeitet von Dipl.-Medieninf. Katja Siegemund geboren am 26.05.1981 in Leipzig vorgelegt an der Technischen Universität Dresden

More information

Extension of a SCA Editor and Deployment-Strategies for Software as a Service Applications

Extension of a SCA Editor and Deployment-Strategies for Software as a Service Applications Institut fur Architektur von Anwendungssystemen Universität Stuttgart Universitätsstraße 38 70569 Stuttgart Diplomarbeit Nr. 2810 Extension of a SCA Editor and Deployment-Strategies for Software as a Service

More information

Model-Driven Development - From Frontend to Code

Model-Driven Development - From Frontend to Code Model-Driven Development - From Frontend to Code Sven Efftinge sven@efftinge.de www.efftinge.de Bernd Kolb bernd@kolbware.de www.kolbware.de Markus Völter voelter@acm.org www.voelter.de -1- Model Driven

More information

Model Driven Interoperability through Semantic Annotations using SoaML and ODM

Model Driven Interoperability through Semantic Annotations using SoaML and ODM Model Driven Interoperability through Semantic Annotations using SoaML and ODM JiuCheng Xu*, ZhaoYang Bai*, Arne J.Berre*, Odd Christer Brovig** *SINTEF, Pb. 124 Blindern, NO-0314 Oslo, Norway (e-mail:

More information

Family Evaluation Framework overview & introduction

Family Evaluation Framework overview & introduction A Family Evaluation Framework overview & introduction P B Frank van der Linden O Partner: Philips Medical Systems Veenpluis 4-6 5684 PC Best, the Netherlands Date: 29 August, 2005 Number: PH-0503-01 Version:

More information

Lecture 03 (04.11.2013) Quality of the Software Development Process

Lecture 03 (04.11.2013) Quality of the Software Development Process Systeme hoher Qualität und Sicherheit Universität Bremen, WS 2013/14 Lecture 03 (04.11.2013) Quality of the Software Development Process Christoph Lüth Christian Liguda Your Daily Menu Models of Software

More information

Evolution in Feature-Oriented Model-Based Software Product Line Engineering

Evolution in Feature-Oriented Model-Based Software Product Line Engineering Diploma Thesis Evolution in Feature-Oriented Model-Based Software Product Line Engineering submitted by Christoph Seidl born December 5, 1982 in Freiburg im Br. Technische Universität Dresden Faculty of

More information

GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs

GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs Doctoral Symposium Reiner Jung Christian-Albrechts-Universität zu Kiel Institut für Informatik 26.02.2014 Domain-specific Languages Motivation

More information

An Aspect-Oriented Product Line Framework to Support the Development of Software Product Lines of Web Applications

An Aspect-Oriented Product Line Framework to Support the Development of Software Product Lines of Web Applications An Aspect-Oriented Product Line Framework to Support the Development of Software Product Lines of Web Applications Germán Harvey Alférez Salinas Department of Computer Information Systems, Mission College,

More information

Draft Martin Doerr ICS-FORTH, Heraklion, Crete Oct 4, 2001

Draft Martin Doerr ICS-FORTH, Heraklion, Crete Oct 4, 2001 A comparison of the OpenGIS TM Abstract Specification with the CIDOC CRM 3.2 Draft Martin Doerr ICS-FORTH, Heraklion, Crete Oct 4, 2001 1 Introduction This Mapping has the purpose to identify, if the OpenGIS

More information

Concern Driven Software Development

Concern Driven Software Development Concern Driven Software Development Omar Alam School of Computer Science, McGill University, Montreal, Canada Omar.Alam@mail.mcgill.ca Abstract Model Driven Engineering (MDE) has achieved success in many

More information

Jairson Vitorino. PhD Thesis, CIn-UFPE February 2009. Supervisor: Prof. Jacques Robin. Ontologies Reasoning Components Agents Simulations

Jairson Vitorino. PhD Thesis, CIn-UFPE February 2009. Supervisor: Prof. Jacques Robin. Ontologies Reasoning Components Agents Simulations CHROME: A Model-Driven Component- Based Rule Engine Jairson Vitorino PhD Thesis, CIn-UFPE February 2009 Supervisor: Prof. Jacques Robin Ontologies Reasoning Components Agents Simulations Contents 1. Context

More information

1.. This UI allows the performance of the business process, for instance, on an ecommerce system buy a book.

1.. This UI allows the performance of the business process, for instance, on an ecommerce system buy a book. * ** Today s organization increasingly prompted to integrate their business processes and to automate the largest portion possible of them. A common term used to reflect the automation of these processes

More information

A Framework for Creating Domain-specific Process Modeling Languages

A Framework for Creating Domain-specific Process Modeling Languages A Framework for Creating Domain-specific Process Modeling Languages Henning Heitkötter Department of Information Systems, University of Münster, Münster, Germany heitkoetter@wi.uni-muenster.de Keywords:

More information

Foundations of Model-Driven Software Engineering

Foundations of Model-Driven Software Engineering Model-Driven Software Engineering Foundations of Model-Driven Software Engineering Dr. Jochen Küster (jku@zurich.ibm.com) Contents Introduction to Models and Modeling Concepts of Model-Driven Software

More information

Contents. Introduction and System Engineering 1. Introduction 2. Software Process and Methodology 16. System Engineering 53

Contents. Introduction and System Engineering 1. Introduction 2. Software Process and Methodology 16. System Engineering 53 Preface xvi Part I Introduction and System Engineering 1 Chapter 1 Introduction 2 1.1 What Is Software Engineering? 2 1.2 Why Software Engineering? 3 1.3 Software Life-Cycle Activities 4 1.3.1 Software

More information

Implementing reusable software components for SNOMED CT diagram and expression concept representations

Implementing reusable software components for SNOMED CT diagram and expression concept representations 1028 e-health For Continuity of Care C. Lovis et al. (Eds.) 2014 European Federation for Medical Informatics and IOS Press. This article is published online with Open Access by IOS Press and distributed

More information

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT

A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT A SYSTEMATIC APPROACH FOR COMPONENT-BASED SOFTWARE DEVELOPMENT Cléver Ricardo Guareis de Farias, Marten van Sinderen and Luís Ferreira Pires Centre for Telematics and Information Technology (CTIT) PO Box

More information

Simplifying e Business Collaboration by providing a Semantic Mapping Platform

Simplifying e Business Collaboration by providing a Semantic Mapping Platform Simplifying e Business Collaboration by providing a Semantic Mapping Platform Abels, Sven 1 ; Sheikhhasan Hamzeh 1 ; Cranner, Paul 2 1 TIE Nederland BV, 1119 PS Amsterdam, Netherlands 2 University of Sunderland,

More information

Language-Driven, Technology-Enhanced Instructional Systems Design

Language-Driven, Technology-Enhanced Instructional Systems Design Language-Driven, Technology-Enhanced Instructional s Design Iván Martínez-Ortiz, José-Luis Sierra, Baltasar Fernández-Manjón Fac. Informática. Universidad Complutense de Madrid C/ Prof. José García Santesmases

More information

Modeling Turnpike: a Model-Driven Framework for Domain-Specific Software Development *

Modeling Turnpike: a Model-Driven Framework for Domain-Specific Software Development * for Domain-Specific Software Development * Hiroshi Wada Advisor: Junichi Suzuki Department of Computer Science University of Massachusetts, Boston hiroshi_wada@otij.org and jxs@cs.umb.edu Abstract. This

More information

Tool Support for Software Variability Management and Product Derivation in Software Product Lines

Tool Support for Software Variability Management and Product Derivation in Software Product Lines Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,

More information

Textual Modeling Languages

Textual Modeling Languages Textual Modeling Languages Slides 4-31 and 38-40 of this lecture are reused from the Model Engineering course at TU Vienna with the kind permission of Prof. Gerti Kappel (head of the Business Informatics

More information

Generating Aspect Code from UML Models

Generating Aspect Code from UML Models Generating Aspect Code from UML Models Iris Groher Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich, Germany Iris.Groher@fh-hagenberg.at Stefan Schulze Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich,

More information

Mapping between Levels in the Metamodel Architecture

Mapping between Levels in the Metamodel Architecture Mapping between Levels in the Metamodel Architecture José Álvarez, Andy Evans 2, Paul Sammut 2 Dpto. de Lenguajes y Ciencias de la Computación, University Málaga, Málaga, 2907, Spain alvarezp@lcc.uma.es

More information

Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations

Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations Thorsten Arendt, Gabriele Taentzer, Alexander Weber Philipps-Universität Marburg, Germany {arendt,taentzer,weber87}@informatik.uni-marburg.de

More information

Object-Oriented Systems Analysis and Design

Object-Oriented Systems Analysis and Design Object-Oriented Systems Analysis and Design Noushin Ashrafi Professor of Information System University of Massachusetts-Boston Hessam Ashrafi Software Architect Pearson Education International CONTENTS

More information

GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs

GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs GECO: Automatic Generator-Composition for (Aspect-oriented) DSLs Doctoral Symposium - MODELS 2014 Reiner Jung Christian-Albrechts-University Kiel, Germany 30.09.2014 Domain-specific Languages Motivation

More information

A Framework for Generating Query Language Code from OCL Invariants

A Framework for Generating Query Language Code from OCL Invariants A Framework for Generating Query Language Code from OCL Invariants Florian Heidenreich, Christian Wende, and Birgit Demuth Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062,

More information

Model-Driven Scientific Workflow Engineering

Model-Driven Scientific Workflow Engineering A Framework for Model-Driven Scientific Workflow Engineering Dipl-Inform Guido Scherp Dissertation zur Erlangung des akademischen Grades Doktor der Ingenieurwissenschaften (Dr-Ing) der Technischen Fakultat

More information

2 nd UML 2 Semantics Symposium: Formal Semantics for UML

2 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 information

Knowledge-based Expressive Technologies within Cloud Computing Environments

Knowledge-based Expressive Technologies within Cloud Computing Environments Knowledge-based Expressive Technologies within Cloud Computing Environments Sergey V. Kovalchuk, Pavel A. Smirnov, Konstantin V. Knyazkov, Alexander S. Zagarskikh, Alexander V. Boukhanovsky 1 Abstract.

More information

A Pattern-based Approach to Business Process Modeling and Implementation in Web Services

A Pattern-based Approach to Business Process Modeling and Implementation in Web Services A Pattern-based Approach to Business Process Modeling and Implementation in Web Services Steen Brahe 1 and Behzad Bordbar 2 1 Danske Bank & IT University of Copenhagen, Denmark stbr@itu.dk 2 University

More information

Toward Families of QVT DSL and Tool

Toward Families of QVT DSL and Tool Toward Families of QVT DSL and Tool Benoît Langlois, Daniel Exertier, Ghanshyamsinh Devda Thales Research & Technology RD 128 91767 Palaiseau, France {benoit.langlois, daniel.exertier, ghanshyamsinh.devda}@thalesgroup.com

More information

Towards a Generic Layout Composition Framework for Domain Specific Models

Towards a Generic Layout Composition Framework for Domain Specific Models Towards a Generic Layout Composition Framework for Domain Specific Models Jendrik Johannes Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany jendrik.johannes@tu-dresden.de

More information

A Configuration Management Model for Software Product Line

A Configuration Management Model for Software Product Line A Configuration Management Model for Software Product Line Liguo Yu 1 and Srini Ramaswamy 2 1 Computer Science and Informatics Indiana University South Bend South Bend, IN 46634, USA ligyu@iusb.edu 2 Computer

More information

Model-Driven Development: A Metamodeling Foundation

Model-Driven Development: A Metamodeling Foundation Model-Driven Development: A Metamodeling Foundation Colin Atkinson University of Mannheim 68161 Mannheim, Germany atkinson@informatik.uni-mannheim.de Thomas Kühne Darmstadt University of Technology 64283

More information

How to Model Aspect-Oriented Web Services

How to Model Aspect-Oriented Web Services How to Model Aspect-Oriented Web Services Guadalupe Ortiz Juan Hernández gobellot@unex.es juanher@unex.es Quercus Software Engineering Group University of Extremadura Computer Science Department Pedro

More information

MDA Transformations Applied to Web Application Development 1

MDA Transformations Applied to Web Application Development 1 MDA Transformations Applied to Web Application Development 1 Santiago Meliá 1, Andreas Kraus 2, and Nora Koch 2, 3 1 Universidad de Alicante, Spain 2 Ludwig-Maximilians-Universität München, Germany 3 F.A.S.T

More information

Using Ontologies in the Domain Analysis of Domain-Specific Languages

Using Ontologies in the Domain Analysis of Domain-Specific Languages Using Ontologies in the Domain Analysis of Domain-Specific Languages Robert Tairas 1, Marjan Mernik 2, Jeff Gray 1 1 University of Alabama at Birmingham, Birmingham, Alabama, USA {tairasr,gray}@cis.uab.edu

More information

Business-Driven Software Engineering Lecture 3 Foundations of Processes

Business-Driven Software Engineering Lecture 3 Foundations of Processes Business-Driven Software Engineering Lecture 3 Foundations of Processes Jochen Küster jku@zurich.ibm.com Agenda Introduction and Background Process Modeling Foundations Activities and Process Models Summary

More information

Masters in Information Technology

Masters in Information Technology Computer - Information Technology MSc & MPhil - 2015/6 - July 2015 Masters in Information Technology Programme Requirements Taught Element, and PG Diploma in Information Technology: 120 credits: IS5101

More information

A Methodology for the Development of New Telecommunications Services

A Methodology for the Development of New Telecommunications Services A Methodology for the Development of New Telecommunications Services DIONISIS X. ADAMOPOULOS Centre for Communication Systems Research School of Elec. Eng., IT and Mathematics University of Surrey Guildford

More information

Scalable End-User Access to Big Data http://www.optique-project.eu/ HELLENIC REPUBLIC National and Kapodistrian University of Athens

Scalable End-User Access to Big Data http://www.optique-project.eu/ HELLENIC REPUBLIC National and Kapodistrian University of Athens Scalable End-User Access to Big Data http://www.optique-project.eu/ HELLENIC REPUBLIC National and Kapodistrian University of Athens 1 Optique: Improving the competitiveness of European industry For many

More information

An approach for the systematic development of domain-specific languages

An approach for the systematic development of domain-specific languages SOFTWARE PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2009; 39:1253 1292 Published online 28 August 2009 in Wiley InterScience (www.interscience.wiley.com)..936 An approach for the systematic development

More information

Data Model ing Essentials

Data Model ing Essentials Data Model ing Essentials Third Edition Graeme C. Simsion and Graham C. Witt MORGAN KAUFMANN PUBLISHERS AN IMPRINT OF ELSEVIER AMSTERDAM BOSTON LONDON NEW YORK OXFORD PARIS SAN DIEGO SAN FRANCISCO SINGAPORE

More information

Overview of major concepts in the service oriented extended OeBTO

Overview of major concepts in the service oriented extended OeBTO Modelling business policies and behaviour based on extended Open edi Business Transaction Ontology (OeBTO) Introduction Model Driven Development (MDD) provides a basis for the alignment between business

More information

Controlling Model-Driven Software Development through Composition Systems

Controlling Model-Driven Software Development through Composition Systems Fakultät Informatik, Institut für Software- und Multimediatechnologie, Lehrstuhl Softwaretechnologie Controlling Model-Driven Software Development through Composition Systems Jendrik Johannes, NW-MODE

More information

School of Computer Science

School of Computer Science School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level

More information

Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics:

Organization of DSLE part. Overview of DSLE. Model driven software engineering. Engineering. Tooling. Topics: Organization of DSLE part Domain Specific Language Engineering Tooling Eclipse plus EMF Xtext, Xtend, Xpand, QVTo and ATL Prof.dr. Mark van den Brand GLT 2010/11 Topics: Meta-modeling Model transformations

More information

TEHNICAL UNIVERSITY OF CLUJ-NAPOCA FACULTY OF ELECTRICAL ENGINEERING

TEHNICAL UNIVERSITY OF CLUJ-NAPOCA FACULTY OF ELECTRICAL ENGINEERING TEHNICAL UNIVERSITY OF CLUJ-NAPOCA FACULTY OF ELECTRICAL ENGINEERING Eng. Marius-Ștefan MUJI PHD THESIS (abstract) CONTRIBUTIONS TO THE DEVELOPMENT OF DATABASE-DRIVEN INFORMATION SYSTEMS Scientific advisor

More information

From Business World to Software World: Deriving Class Diagrams from Business Process Models

From Business World to Software World: Deriving Class Diagrams from Business Process Models From Business World to Software World: Deriving Class Diagrams from Business Process Models WARARAT RUNGWORAWUT 1 AND TWITTIE SENIVONGSE 2 Department of Computer Engineering, Chulalongkorn University 254

More information

A Multi-layered Domain-specific Language for Stencil Computations

A Multi-layered Domain-specific Language for Stencil Computations A Multi-layered Domain-specific Language for Stencil Computations Christian Schmitt, Frank Hannig, Jürgen Teich Hardware/Software Co-Design, University of Erlangen-Nuremberg Workshop ExaStencils 2014,

More information

VICCI. The Eclipse Modeling Framework (EMF) A Practical Introduction and Technology Overview. Dipl.-Inf. Christoph Seidl

VICCI. The Eclipse Modeling Framework (EMF) A Practical Introduction and Technology Overview. Dipl.-Inf. Christoph Seidl VICCI Visual and Interactive Cyber-Physical Systems Control and Integration The Eclipse Modeling Framework (EMF) A Practical Introduction and Technology Overview Dipl.-Inf. Christoph Seidl Overview of

More information

Lecture 03 (26.10.2015) The Software Development Process. Software Development Models. Where are we? Your Daily Menu.

Lecture 03 (26.10.2015) The Software Development Process. Software Development Models. Where are we? Your Daily Menu. Your Daily Menu Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 03 (26.10.2015) The Software Development Process Christoph Lüth Jan Peleska Dieter Hutter Models of software

More information

Agile Requirements Traceability Using Domain-Specific Modelling Languages

Agile Requirements Traceability Using Domain-Specific Modelling Languages Agile Requirements Traceability Using Domain-Specific Modelling Languages Masoumeh Taromirad Department of Computer Science University of York York, UK mtaromi@cs.york.ac.uk ABSTRACT Requirements traceability

More information

A tool environment for quality assurance based on the Eclipse Modeling Framework

A tool environment for quality assurance based on the Eclipse Modeling Framework Autom Softw Eng (2013) 20:141 184 DOI 10.1007/s10515-012-0114-7 A tool environment for quality assurance based on the Eclipse Modeling Framework Thorsten Arendt Gabriele Taentzer Received: 30 March 2012

More information

The Concern-Oriented Software Architecture Analysis Method

The Concern-Oriented Software Architecture Analysis Method The Concern-Oriented Software Architecture Analysis Method Author: E-mail: Student number: Supervisor: Graduation committee members: Frank Scholten f.b.scholten@cs.utwente.nl s0002550 Dr. ir. Bedir Tekinerdoǧan

More information

Towards a Multi-Domain Model-Driven Traceability Approach

Towards a Multi-Domain Model-Driven Traceability Approach Towards a Multi-Domain Model-Driven Traceability Approach Masoumeh Taromirad, Nicholas Matragkas, and Richard F. Paige Department of Computer Science, University of York, UK [mt705,nicholas.matragkas,richard.paige]@york.ac.uk

More information

PATTERN-BASED BUSINESS-DRIVEN ANALYSIS AND DESIGN OF SERVICE ARCHITECTURES

PATTERN-BASED BUSINESS-DRIVEN ANALYSIS AND DESIGN OF SERVICE ARCHITECTURES PATTERN-BASED BUSINESS-DRIVEN ANALYSIS AND DESIGN OF SERVICE ARCHITECTURES Veronica Gacitua-Decar and Claus Pahl School of Computing, Dublin City University, Glasnevin, Dublin 9, Ireland. vgacitua@computing.dcu.ie,

More information

An MDA Approach for the Development of Web applications

An MDA Approach for the Development of Web applications An MDA Approach for the Development of Web applications Santiago Meliá Beigbeder and Cristina Cachero Castro {santi,ccachero}@dlsi.ua.es Univesidad de Alicante, España Abstract. The continuous advances

More information

Tool Support for Model Checking of Web application designs *

Tool Support for Model Checking of Web application designs * Tool Support for Model Checking of Web application designs * Marco Brambilla 1, Jordi Cabot 2 and Nathalie Moreno 3 1 Dipartimento di Elettronica e Informazione, Politecnico di Milano Piazza L. Da Vinci,

More information

Keywords Aspect-Oriented Modeling, Rule-based graph transformations, Aspect, pointcuts, crosscutting concerns.

Keywords Aspect-Oriented Modeling, Rule-based graph transformations, Aspect, pointcuts, crosscutting concerns. Volume 4, Issue 5, May 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Functional and Non-Functional

More information

Keywords: - Software Product Lines (SPLs), Product Line Engineering (PLE), Core Assets, Software Product Line Development.

Keywords: - Software Product Lines (SPLs), Product Line Engineering (PLE), Core Assets, Software Product Line Development. Volume 4, Issue 1, January 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Systematic Review

More information

A DSL-based Approach to Software Development and Deployment on Cloud

A DSL-based Approach to Software Development and Deployment on Cloud 2010 24th IEEE International Conference on Advanced Information Networking and Applications A DSL-based Approach to Software Development and Deployment on Cloud Krzysztof Sledziewski 1, Behzad Bordbar

More information

THE ROLE OF SMALL MANUFACTURING ENTERPRISES IN SUSTAINABLE REGIONAL DEVELOPMENT

THE ROLE OF SMALL MANUFACTURING ENTERPRISES IN SUSTAINABLE REGIONAL DEVELOPMENT THE ROLE OF SMALL MANUFACTURING ENTERPRISES IN SUSTAINABLE REGIONAL DEVELOPMENT Ismailia governorate as a case study in Egypt Als Dissertation zur Erlangung des akademischen Grades Doctor rerum naturalium

More information

Object-Oriented Software Specification in Programming Language Design and Implementation

Object-Oriented Software Specification in Programming Language Design and Implementation Object-Oriented Software Specification in Programming Language Design and Implementation Barrett R. Bryant and Viswanathan Vaidyanathan Department of Computer and Information Sciences University of Alabama

More information

Challenges in bootstrapping a model-driven way of software development

Challenges in bootstrapping a model-driven way of software development Challenges in bootstrapping a model-driven way of software development Dennis Wagelaar Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium dennis.wagelaar@vub.ac.be Abstract. Current MDE technologies

More information

Evaluation of Students' Modeling and Programming Skills

Evaluation of Students' Modeling and Programming Skills Evaluation of Students' Modeling and Programming Skills Birgit Demuth, Sebastian Götz, Harry Sneed, and Uwe Schmidt Technische Universität Dresden Faculty of Computer Science Abstract. In winter semester

More information

Taking Subversion to a Higher Level. Branching/Merging Support. Component Management Support. And More

Taking Subversion to a Higher Level. Branching/Merging Support. Component Management Support. And More Taking Subversion to a Higher Level Branching/Merging Support Component Management Support And More About Impact CM Impact CM is a Service AddOn that facilitates software configuration management (CM)

More information

Java Generation from UML Models specified with Alf Annotations

Java Generation from UML Models specified with Alf Annotations Université de Franche-Comté Supervisers : Fabien Peureux, Isabelle Jacques Java Generation from UML Models specified with Alf Annotations Supervised project report Alexandre Vernotte Jean-Marie Gauthier

More information

Linking BPMN, ArchiMate, and BWW: Perfect Match for Complete and Lawful Business Process Models?

Linking BPMN, ArchiMate, and BWW: Perfect Match for Complete and Lawful Business Process Models? Linking BPMN, ArchiMate, and BWW: Perfect Match for Complete and Lawful Business Process Models? Ludmila Penicina Institute of Applied Computer Systems, Riga Technical University, 1 Kalku, Riga, LV-1658,

More information

The Software Development Process

The Software Development Process Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 03 (26.10.2015) The Software Development Process Christoph Lüth Jan Peleska Dieter Hutter Your Daily Menu Models of software

More information

A Framework of Model-Driven Web Application Testing

A Framework of Model-Driven Web Application Testing A Framework of Model-Driven Web Application Testing Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu Software Engineering Institute, School of Computer Science and Engineering, Beihang University, China

More information

Project VIDE Challenges of Executable Modelling of Business Applications

Project VIDE Challenges of Executable Modelling of Business Applications Project VIDE Challenges of Executable Modelling of Business Applications Radoslaw Adamus *, Grzegorz Falda *, Piotr Habela *, Krzysztof Kaczmarski #*, Krzysztof Stencel *+, Kazimierz Subieta * * Polish-Japanese

More information

Towards Querying of Traceability Information in the Context of Software Evolution

Towards Querying of Traceability Information in the Context of Software Evolution Towards Querying of Traceability Information in the Context of Software Evolution Hannes Schwarz Jürgen Ebert Volker Riediger Institute for Software Technology University of Koblenz-Landau Koblenz, Germany

More information