SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
MetaEdit: a flexible graphical environment for methodology modelling
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
Algorithms + Data Structures = Programs
Algorithms + Data Structures = Programs
A Theory of Objects
Extending standard UML with model composition semantics
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
An Action Language for UML: Proposal for a Precise Execution Semantics
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Eclipse Modeling Framework
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Proceedings of the 6th international conference on Aspect-oriented software development
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
A generic weaver for supporting product lines
Proceedings of the 13th international workshop on Early Aspects
Model Driven Engineering for Designing Adaptive Multi-Agents Systems
Engineering Societies in the Agents World VIII
A Generic Approach for Automatic Model Composition
Models in Software Engineering
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Classification of Concrete Textual Syntax Mapping Approaches
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Managing Variability Complexity in Aspect-Oriented Modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Using MDE to Build a Schizophrenic Middleware for Home/Building Automation
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Modeling and Validating Dynamic Adaptation
Models in Software Engineering
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A semantic framework for metamodel-based languages
Automated Software Engineering
A Model Driven Approach to the Analysis of Timeliness Properties
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
Towards context-aware components
Proceedings of the first international workshop on Context-aware software technology and applications
Exploring Multi-Paradigm Modeling Techniques
Simulation
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Weaving Variability into Domain Metamodels
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Applying OMG D&C specification and ECA rules for autonomous distributed component-based systems
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Towards more extensible metaCASE tools
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Human comprehensible and machine processable specifications of operational semantics
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Implementing a data distribution variant with a metamodel, some models and a transformation
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Weaving multiple aspects in sequence diagrams
Transactions on aspect-oriented software development III
Integrating legacy systems with MDE
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Generating transformation rules from examples for behavioral models
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Development of context-adaptive applications on the basis of runtime user interface models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Security-driven model-based dynamic adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Using model driven engineering technologies for building authoring applications
Proceedings of the 10th ACM symposium on Document engineering
Composing models at two modeling levels to capture heterogeneous concerns in requirements
SC'10 Proceedings of the 9th international conference on Software composition
Managing variability in workflow with feature model composition operators
SC'10 Proceedings of the 9th international conference on Software composition
Automatic generation of model traversals from metamodel definitions
Proceedings of the 48th Annual Southeast Regional Conference
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
Aspect weaver: a model transformation approach for UML models
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Flexible model element introduction policies for aspect-oriented modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Interoperability Services for Models and Ontologies
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Applying attribute grammars for metamodel semantics
Proceedings of the International Workshop on Formalization of Modeling Languages
Issues in model-driven behavioural product derivation
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
A DSL for specifying autonomic security management strategies
DPM'10/SETOP'10 Proceedings of the 5th international Workshop on data privacy management, and 3rd international conference on Autonomous spontaneous security
Reference attribute grammars for metamodel semantics
SLE'10 Proceedings of the Third international conference on Software language engineering
Aspect-oriented design with reusable aspect models
Transactions on aspect-oriented software development VII
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
Aspect-oriented design with reusable aspect models
Transactions on aspect-oriented software development VII
A model-driven approach to develop adaptive firmwares
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Traceability for mutation analysis in model transformation
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A transformation workbench for building information models
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
A FUML-based distributed execution machine for enacting software process models
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A generic tool for tracing executions back to a DSML's operational semantics
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Proceedings of the 14th international conference on Model driven engineering languages and systems
Model-Driven analysis and synthesis of concrete syntax
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Using smalltalk as a reflective executable meta-language
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
A DSML for reversible transformations
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Reusable model transformations
Software and Systems Modeling (SoSyM)
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Comparing approaches to implement feature model composition
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
eSPEM – a SPEM extension for enactable behavior modeling
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Example-Based sequence diagrams to colored petri nets transformation using heuristic search
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
RubyTL: a practical, extensible transformation language
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk
Proceedings of the International Workshop on Smalltalk Technologies
Directives for composing aspect-oriented design class models
Transactions on Aspect-Oriented Software Development I
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Defining and verifying behaviour of domain specific language with fUML
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Weaving variability into domain metamodels
Software and Systems Modeling (SoSyM)
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Using models of partial knowledge to test model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Pairwise testing for software product lines: comparison of two approaches
Software Quality Control
Magritte: a meta-driven approach to empower developers and end users
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Model-driven engineering for software migration in a large industrial context
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Introducing variability into aspect-oriented modeling approaches
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Bridging the chasm between MDE and the world of compilation
Software and Systems Modeling (SoSyM)
What will it take? A view on adoption of model-based methods in practice
Software and Systems Modeling (SoSyM)
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
Exploiting model driven technology: a tale of two startups
Software and Systems Modeling (SoSyM)
Correctness of object oriented models by extended type inference
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
An eclipse modelling framework alternative to meet the models@runtime requirements
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Generation of operational transformation rules from examples of model transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Towards xMOF: executable DSMLs based on fUML
Proceedings of the 2012 workshop on Domain-specific modeling
Customizing the common variability language semantics for your domain models
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
Model transformations with Tom
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Aligning SysML with the B method to provide V&V for systems engineering
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Summary of the First Workshop on the Analysis of Model Transformations (AMT'12)
Proceedings of the First Workshop on the Analysis of Model Transformations
Type-Safe symmetric composition of metamodels using templates
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Model-driven adaptive delegation
Proceedings of the 12th annual international conference on Aspect-oriented software development
Assessing composition in modeling approaches
Proceedings of the CMA 2012 Workshop
On the concurrent execution of model transformations with Linda
Proceedings of the Workshop on Scalability in Model Driven Engineering
Proceedings of the 6th International Workshop on Models and Evolution
Invariant preservation in iterative modeling
Proceedings of the 6th International Workshop on Models and Evolution
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Composition-Centered architectural pattern description language
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Contribution of model-driven engineering to crop modeling
ICCSA'13 Proceedings of the 13th international conference on Computational Science and Its Applications - Volume 1
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Evaluation of model transformation approaches for model refactoring
Science of Computer Programming
Hi-index | 0.00 |
Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and examine related issues and possible solutions. We believe that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.