Introduction to the theory of programming languages
Introduction to the theory of programming languages
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Modelica - A Unified Object-Oriented Language for System Modelling and Simulation
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Modeling and Designing Heterogeneous Systems
Concurrency and Hardware Design, Advances in Petri Nets
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Proceedings of the 5th ACM international conference on Embedded software
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
A Generic Execution Framework for Models of Computation
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A practical ontology framework for static model analysis
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Integrating discrete-event and time-based models with optimization for resource allocation
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
We present ModHel'X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the semantics of a modeling formalism, and (b) allowing the specification of the interactions between parts of a model described using different modeling formalisms. ModHel'X is based on the concept of Model of Computation and focuses on the execution of models, considered as the computation of one possible behavior of the model. The structural elements of a modeling language are described by specializing the meta-model of ModHel'X whereas its semantics, i.e. the corresponding model of computation, is described by specializing the predefined stages of a generic execution model. Using the same mechanisms, designers can specify the semantic adaptation that is suitable at each interface between heterogeneous parts of their model. Finally, ModHel'X comes with an execution engine which is able to interpret heterogeneous models for simulation.