Towards a Multi-Formalism Multi-Solution Framework for Model-Driven Performance Engineering

2013 ◽  
pp. 34-55
Author(s):  
Catalina M. Lladó ◽  
Pere Bonet ◽  
Connie U. Smith
Keyword(s):  
Queueing Network ◽  
Network Models ◽  
Performance Model ◽  
Analysis Model ◽  
Model Driven ◽  
Performance Engineering ◽  
Performance Specifications ◽  
Interchange Format ◽  
And Performance ◽  
Model Interchange

Model-Driven Performance Engineering (MDPE) uses performance model interchange formats among multiple formalisms and tools to automate performance analysis. Model-to-Model (M2M) transformations convert system specifications into performance specifications and performance specifications to multiple performance model formalisms. Since a single tool is not good for everything, tools for different formalisms provide multiple solutions for evaluation and comparison. This chapter demonstrates transformations from the Performance Model Interchange Format (PMIF) into multiple formalisms: Queueing Network models solved with Java Modeling Tools (JMT), QNAP, and SPE·ED, and Petri Nets solved with PIPE2.

Adopting Open Source Development Tools in a Commercial Production Environment

2008 ◽  
pp. 874-885
Author(s):  
Anna Persson ◽  
Henrik Gustavsson ◽  
Brian Lings ◽  
Bjorn Lundell ◽  
Anders Mattsson ◽  
...  
Keyword(s):  
Open Source ◽  
Systems Development ◽  
Production Environment ◽  
Model Based ◽  
Interchange Format ◽  
Lock In ◽  
Industrial Strength ◽  
Quality Tools ◽  
Model Interchange

Many companies are using model-based techniques to offer a competitive advantage in an increasingly globalised systems development industry. Central to model-based development is the concept of models as the basis from which systems are generated, tested, and maintained. The availability of high-quality tools and the ability to adopt and adapt them to the company practice are important qualities. Model interchange between tools becomes a major issue. Without it, there is significantly reduced flexibility and a danger of tool lock-in. We explore the use of a standardised interchange format (XMI) for increasing flexibility in a company environment. We report on a case study in which a systems development company has explored the possibility of complementing its current proprietary tools with open-source products for supporting its model-based development activities. We found that problems still exist with interchange and that the technology needs to mature before industrial-strength model interchange becomes a reality.

Educational Challenge of Health Information Systems’ Interoperability

2007 ◽  
Vol 46 (01) ◽  
pp. 52-56 ◽  
Author(s):  
B. G. M. E. Blobel
Keyword(s):  
Information Systems ◽  
Systems Design ◽  
Formal Modeling ◽  
Close Collaboration ◽  
Context Sensitive ◽  
Model Driven ◽  
Educational Challenge ◽  
Service Oriented ◽  
Model Driven Approach ◽  
Model Interchange

Summary Objectives: As health care develops from an organization-centered via service-centered (disease management) towards a person-centered system (favored homecare, patient monitoring, body area networks), information systems involved have to be semantically interoperable, process-related, decision-supportive, context-sensitive, user-oriented, and trustworthy. Methods: The aforementioned paradigm shift requires highly flexible solutions based on knowledge concepts, provided by a service-oriented and model-driven approach. Results: Information systems’ design, implementation and maintenance have to be realized based on formal grammar. This is true for all considered aspects and views of the system and its components, using metalanguages and reflecting all domains touched. Conclusions: For meeting the challenge, involvement of, and close collaboration between, experts from different domains as well as knowledge and tooling regarding formal modeling and model interchange are required.

Model Interchange Format Specifications for Experiments, Output and Results

2010 ◽  
Vol 54 (5) ◽  
pp. 674-690 ◽  
Author(s):  
C. U. Smith ◽  
C. M. Llado ◽  
R. Puigjaner
Keyword(s):  
Interchange Format ◽  
Model Interchange

scholarly journals Momba: JANI Meets Python

2021 ◽  
pp. 389-398
Author(s):  
Maximilian A. Köhl ◽  
Michaela Klauck ◽  
Holger Hermanns
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Programming Language ◽  
Quantitative Model ◽  
General Purpose ◽  
Ease Of Use ◽  
Formal Models ◽  
Interchange Format ◽  
Model Interchange ◽  
Interacting Automata

AbstractJANI-model [6] is a model interchange format for networks of interacting automata. It is well-entrenched in the quantitative model checking community and allows modeling a variety of systems involving concurrency, probabilistic and real-time aspects, as well as continuous dynamics. Python is a general purpose programming language preferred by many for its ease of use and vast ecosystem. In this paper, we present Momba, a flexible Python framework for dealing with formal models centered around the JANI-model format and formalism. Momba strives to deliver an integrated and intuitive experience for experimenting with formal models making them accessible to a broader audience. To this end, it provides a pythonic interface for model construction, validation, and analysis. Here, we demonstrate these capabilities.

Adoptng Open Source Development Tools in a Commercial Production Environment

2011 ◽  
pp. 27-40 ◽  
Author(s):  
Anna Persson ◽  
Hendrik Gustavsson ◽  
Brian Lings ◽  
Bjorn Lundell ◽  
Anders Mattsson ◽  
...  
Keyword(s):  
Open Source ◽  
Systems Development ◽  
Production Environment ◽  
Model Based ◽  
Interchange Format ◽  
Lock In ◽  
Industrial Strength ◽  
Quality Tools ◽  
Model Interchange

Many companies are using model-based techniques to offer a competitive advantage in an increasingly globalised systems development industry. Central to model-based development is the concept of models as the basis from which systems are generated, tested, and maintained. The availability of high-quality tools and the ability to adopt and adapt them to the company practice are important qualities. Model interchange between tools becomes a major issue. Without it, there is significantly reduced flexibility and a danger of tool lock-in. We explore the use of a standardised interchange format (XMI) for increasing flexibility in a company environment. We report on a case study in which a systems development company has explored the possibility of complementing its current proprietary tools with open-source products for supporting its model-based development activities. We found that problems still exist with interchange and that the technology needs to mature before industrial-strength model interchange becomes a reality.

Sign in / Sign up

Export Citation Format

Share Document