Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
Generation of multi-formalism state-space analysis tools
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A software engineering experiment in software component generation
Proceedings of the 18th international conference on Software engineering
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
ICSE '97 Proceedings of the 19th international conference on Software engineering
DEVS formalism and methodology: unity of conception/diversity of application
WSC '93 Proceedings of the 25th conference on Winter simulation
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Multilanguage design of heterogeneous systems
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Mixed-level cosimulation for fine gradual refinement of communication in SoC design
Proceedings of the conference on Design, automation and test in Europe
embedded system design with multiple languages: embedded tutorial
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
An introduction to SLDL and Rosetta
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Using Multiple Levels of Abstractions in Embedded Software Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling and Designing Heterogeneous Systems
Concurrency and Hardware Design, Advances in Petri Nets
Architectural Interaction Diagrams: AIDs for system modeling
Proceedings of the 25th International Conference on Software Engineering
Application of Multi-domain and Multi-language Cosimulation To an Optical MEM Switch Design
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Metamodeling: rapid design and evolution of domain-specific modeling environments
Metamodeling: rapid design and evolution of domain-specific modeling environments
GME: the generic modeling environment
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A behavioral type system and its application in Ptolemy II
Formal Aspects of Computing
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool
RSP '06 Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Proceedings of the 38th conference on Winter simulation
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
A Case Study on Semantic Unit Composition
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook
IEEE Design & Test
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Constraint-Based Model Weaving
Transactions on Aspect-Oriented Software Development VI
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Ensuring properties of interaction systems
Program analysis and compilation, theory and practice
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Behavioural interoperability to support model-driven systems integration
Proceedings of the First International Workshop on Model-Driven Interoperability
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Modeling heterogeneous points of view with modhel'x
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Semantic adaptation using CCSL clock constraints
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Heterogeneous modeling of gesture-based 3D applications
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Component-based modeling of dynamic systems using heterogeneous composition
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Hi-index | 0.00 |
Multi-Paradigm Modeling (MPM) addresses the necessity of using multiple modeling paradigms when designing complex systems. Because of its multidisciplinary nature, the MPM field involves research teams with technical backgrounds as different as control science, model checking, modeling language engineering or system-on-chip development. In this paper, we propose to explore the MPM domain through a survey of existing techniques from different horizons. Since the heterogeneity of models is at the heart of MPM, we first identify the sources of this heterogeneity and introduce the problems it raises. Then we show how the different existing techniques address these problems.