Performance and stability of communication networks via robust exponential bounds
IEEE/ACM Transactions on Networking (TON)
Measuring bottleneck link speed in packet-switched networks
Performance Evaluation
The Operational Analysis of Queueing Network Models
ACM Computing Surveys (CSUR)
Graph Transformation with Time: Causality and Logical Clocks
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Stochastic Petri nets: an elementary introduction
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets-selected papers
Performance Management in Switched ATM Networks
IS&N '98 Proceedings of the 5th International Conference on Intelligence and Services in Networks: Technology for Ubiquitous Telecom Services
REAL: A Network Simulator
End-to-end available bandwidth: measurement methodology, dynamics, and relation with TCP throughput
IEEE/ACM Transactions on Networking (TON)
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
A system for simulation, emulation, and deployment of heterogeneous sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
Proceedings of the 27th international conference on Software engineering
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
EmStar: a software environment for developing and deploying wireless sensor networks
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
ATL: A model transformation tool
Science of Computer Programming
A Prototyping Environment for Wireless Multihop Networks
AINTEC '07 Proceedings of the 3rd Asian conference on Internet Engineering: Sustainable Internet
Programmed Graph Rewriting with Time for Simulation-Based Design
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Performance model driven QoS guarantees and optimization in clouds
CLOUD '09 Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing
A graphical approach for modeling time-dependent behavior of DSLs
VLHCC '09 Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating performance and reliability analysis in a non-functional MDA framework
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Decentralized service composition in pervasive computing environments
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Simulating domain specific visual models by observation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
ACM Computing Surveys (CSUR)
On the behavioral semantics of real-time domain specific visual languages
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |
This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following a Model-Driven Engineering (MDE) approach, we show the benefits of constructing very abstract models of the systems under test, which can then be easily prototyped and analysed to explore their properties. For this purpose we use e-Motions, a language and its supporting toolkit that allows end-user modelling of real-time systems and their analysis in a graphical manner.