The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Modeling of Service-Level Agreements for Composed Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A Visual Formalism for the Composition of Stochastic Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Software performance modelling using PEPA nets
WOSP '04 Proceedings of the 4th international workshop on Software and performance
In-network fault tolerance in networked sensor systems
DIWANS '06 Proceedings of the 2006 workshop on Dependability issues in wireless ad hoc networks and sensor networks
Hybrid performance modeling approach for network intensive distributed software
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Model-based performance evaluation of distributed checkpointing protocols
Performance Evaluation
Experiments on the reliability of stochastic spiking neural P systems
Natural Computing: an international journal
Performance and dependability modeling with Möbius
ACM SIGMETRICS Performance Evaluation Review
How to capture dynamic behaviours of dependable systems
International Journal of Parallel, Emergent and Distributed Systems - Papers from the Workshop on Dependable Parallel and Network-Centric Systems
Reflection symmetry detection to reduce the state space of Markovian models
Proceedings of the 47th Annual Southeast Regional Conference
Study of the Path Average Lifetime in Ad Hoc Networks Using Stochastic Activity Networks
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Software rejuvenation in embedded systems
Journal of Automata, Languages and Combinatorics
Vulnerability analysis for a quantitative security evaluation
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
The impact of unavailability on the effectiveness of enterprise information security technologies
ISAS'08 Proceedings of the 5th international conference on Service availability
A design environment for mobile applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Dependability analysis and verification for CONNECTed systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Safer "5-key" number entry user interfaces using differential formal analysis
BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers
Model-based analysis of a protocol for reliable communication in railway worksites
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
Tutorial on building M&S software based on reuse
Proceedings of the Winter Simulation Conference
Automated rare event simulation for stochastic petri nets
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
| Hi-index | 0.00 |
Abstract: Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to compare new and existing formalisms and solvers. This paper describes the method that a new modeling tool, called Möbius, uses to eliminate these limitations. Möbius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms a d solvers can be added to the tool without changing those already implemented. Möbius provides this capability through the use of a abstract functional interface ,which provides a formalism-independent interface to models. This allows models expressed in multiple formalisms to interact with each other, and with multiple solvers.