Journal Articles
Sorry, no publications matched your criteria.
Inproceedings
2017
Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser
On the Need for Temporal Model Repositories Proceedings Article
In: Seidl, Martina; Zschaler, Steffen (Ed.): Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers, pp. 136–145, Springer, 2017.
@inproceedings{Bill2017tmr,
title = {On the Need for Temporal Model Repositories},
author = {Robert Bill and Alexandra Mazak and Manuel Wimmer and Birgit Vogel-Heuser},
editor = {Martina Seidl and Steffen Zschaler},
url = {https://doi.org/10.1007/978-3-319-74730-9_11},
doi = {10.1007/978-3-319-74730-9_11},
year = {2017},
date = {2017-07-17},
urldate = {2017-07-17},
booktitle = {Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers},
volume = {10748},
pages = {136--145},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
abstract = {Current model repositories often rely on existing versioning systems or standard database technologies. These approaches are sufficient for hosting different versions of models. However, the time dimension is often not explicitly represented and accessible. A more explicit presentation of time is needed in several use cases going beyond the classical system design phase support of models such as in simulation and runtime environments.
In this paper, we discuss the need for introducing temporal model repositories and their prospective benefits. In particular, we outline several challenges which immediately arise when moving towards temporal model repositories, which are: storage, consistency, access, manipulation, and visualization of temporal models.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we discuss the need for introducing temporal model repositories and their prospective benefits. In particular, we outline several challenges which immediately arise when moving towards temporal model repositories, which are: storage, consistency, access, manipulation, and visualization of temporal models.
Petr Novak, Fajar Juang Ekaputra, Stefan Biffl
Generation of Simulation Models in MATLAB-Simulink Based on AutomationML Plant Description Proceedings Article
In: Proceedings of the 20th World Congress of the International Federation of Automatic Control (IFAC WC 2017), 2017.
@inproceedings{Novak2017gsm,
title = {Generation of Simulation Models in MATLAB-Simulink Based on AutomationML Plant Description},
author = {Petr Novak and Fajar Juang Ekaputra and Stefan Biffl},
url = {https://www.researchgate.net/publication/317232232_Generation_of_Simulation_Models_in_MATLAB-Simulink_Based_on_AutomationML_Plant_Description},
year = {2017},
date = {2017-07-09},
urldate = {2017-07-09},
booktitle = {Proceedings of the 20th World Congress of the International Federation of Automatic Control (IFAC WC 2017)},
abstract = {Process simulations are useful test-beds for experiments and optimizations along the entire industrial plant life-cycle. Shifting testing and tuning of industrial plants and their automation systems from the real world to simulated environments is a part of a virtualization, which is one of the key movements in emerging areas of Industry 4.0 and factories of the future. Although simulations bring a large variety of bene�ts, they suffer from a time-consuming and error-prone design phase, which limits their use in industrial practice. This paper proposes a new design method called AML2SIM, which transforms the real plant description represented in AutomationML (AML) and generates a dynamic simulation model (SIM). The proposed method signi�cantly improves the engineering and re-design of simulation models in terms of saving time and effort of experts as the models can be easily re-generated based on a given AutomationML plant model. Simulations are assembled from simulation blocks that are shared among various projects in simulation libraries, hence the method contributes to reuse of simulation artifacts.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Petr Novák, Petr Kadera, Manuel Wimmer
Agent-Based Modeling and Simulation of Hybrid Cyber-Physical Systems Proceedings Article
In: Proceedings of the 3rd IEEE International Conference on Cybernetics (CYBCONF-2017), Exeter, United Kingdom, June 21-23 2017, pp. 1–8, IEEE, 2017.
@inproceedings{Novak2017abm,
title = {Agent-Based Modeling and Simulation of Hybrid Cyber-Physical Systems},
author = {Petr Novák and Petr Kadera and Manuel Wimmer},
url = {https://doi.org/10.1109/CYBConf.2017.7985755},
doi = {10.1109/CYBConf.2017.7985755},
year = {2017},
date = {2017-06-21},
urldate = {2017-06-21},
booktitle = {Proceedings of the 3rd IEEE International Conference on Cybernetics (CYBCONF-2017), Exeter, United Kingdom, June 21-23 2017},
pages = {1--8},
publisher = {IEEE},
abstract = {Cyber-physical production systems are becoming more complex and heterogeneous in the frame of Internet of Cyber-Physical Things and Industry 4.0 environments. Behavior of such systems is difficult to analyze and control due to the system scale and emergency aspects. Multi-agent paradigm is a suitable formalism for modeling these kinds of systems and simulation modeling is important for getting an insight into the system, for synthesizing its control, and for analyzing performance and efficiency of systems under various circumstances. This paper is focused on simulation modeling for complex hybrid cyber-physical production systems. They combine continuous-time parts and discrete-event parts and the goal is to bring a methodology for addressing simulation for such complex hybrid systems. The paper presents two possible approaches how to unify access to both paradigms for system modeling and it explains how to combine them meaningfully. The proposed solution is based on the application of the traditional time-driven approach on the level of individual agents simulating cyber-physical components or sub-systems, and the dual value-driven approach frequently denoted as Quantized State Systems method in such a way that the benefits of both approaches are gained. The proposed approach simplifies synchronization and improves stability of coupled simulations by self-optimization of sampling periods for synchronizing the simulation agents for cyber-physical components.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Manuel Wimmer, Irene Garrigós, Sergio Firmenich
Towards Automatic Generation of Web-Based Modeling Editors Proceedings Article
In: Cabot, Jordi; Virgilio, Roberto De; Torlone, Riccardo (Ed.): Proceedings of the 17th International Conference on Web Engineering (ICWE 2017), Rome, Italy, June 5-8 2017, pp. 446-454, Springer International Publishing, 2017, ISBN: 978-3-319-60131-1.
@inproceedings{Wimmer2017tag,
title = {Towards Automatic Generation of Web-Based Modeling Editors},
author = {Manuel Wimmer and Irene Garrigós and Sergio Firmenich},
editor = {Jordi Cabot and Roberto De Virgilio and Riccardo Torlone},
url = {https://doi.org/10.1007/978-3-319-60131-1_31},
doi = {10.1007/978-3-319-60131-1_31},
isbn = {978-3-319-60131-1},
year = {2017},
date = {2017-06-08},
urldate = {2017-06-08},
booktitle = {Proceedings of the 17th International Conference on Web Engineering (ICWE 2017), Rome, Italy, June 5-8 2017},
volume = {10360},
pages = {446-454},
publisher = {Springer International Publishing},
series = {Lecture Notes in Computer Science},
abstract = {With the current trend of digitalization within a multitude of different domains, the need raises for effective approaches to capture domain knowledge. Modeling languages, especially, domain-specific modeling languages (DSMLs), are considered as an important method to involve domain experts in the system development. However, current approaches for developing DSMLs and generating modeling editors are mostly focusing on reusing the infrastructures provided by programming IDEs. On the other hand, several approaches exist for developing Web-based modeling editors using dedicated JavaScript frameworks. However, these frameworks do not exploit the high automation potential from DSML approaches to generate modeling editors from language specifications. Thus, the development of Web-based modeling editors requires still major programming efforts and dealing with recurring tasks.
In this paper, we combine the best of both worlds by reusing the language specification techniques of DSML engineering approaches for generating Web-based modeling editors. In particular, we show how to combine two concrete approaches, namely Eugenia from DSML engineering and JointJS as a protagonist from JavaScript frameworks, and demonstrate the automation potential of establishing Web-based modeling editors. We present first results concerning two reference DSML examples which have been realized by our approach as Web-based modeling editors.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we combine the best of both worlds by reusing the language specification techniques of DSML engineering approaches for generating Web-based modeling editors. In particular, we show how to combine two concrete approaches, namely Eugenia from DSML engineering and JointJS as a protagonist from JavaScript frameworks, and demonstrate the automation potential of establishing Web-based modeling editors. We present first results concerning two reference DSML examples which have been realized by our approach as Web-based modeling editors.
Johannes Artner, Alexandra Mazak, Manuel Wimmer
Towards Stochastic Performance Models for Web 2.0 Applications Proceedings Article
In: Cabot, Jordi; Virgilio, Roberto De; Torlone, Riccardo (Ed.): Proceedings of the 17th International Conference on Web Engineering (ICWE 2017), Rome, Italy, June 5-8 2017, pp. 360-369, Springer, 2017.
@inproceedings{Artner2017tspm,
title = {Towards Stochastic Performance Models for Web 2.0 Applications},
author = {Johannes Artner and Alexandra Mazak and Manuel Wimmer},
editor = {Jordi Cabot and Roberto De Virgilio and Riccardo Torlone},
url = {https://doi.org/10.1007/978-3-319-60131-1_21},
doi = {10.1007/978-3-319-60131-1_21},
year = {2017},
date = {2017-06-01},
urldate = {2017-06-01},
booktitle = {Proceedings of the 17th International Conference on Web Engineering (ICWE 2017), Rome, Italy, June 5-8 2017},
volume = {10360},
pages = {360-369},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
abstract = {System performance is one of the most critical quality characteristics of Web applications which is typically expressed in response time, throughput, and utilization. These performance indicators, as well as the workload of a system, may be evaluated and analyzed by (i) model-based or (ii) measurement-based techniques. Given the complementary benefits offered by both techniques, it seems beneficial to combine them. For this purpose we introduce a combined performance engineering approach by presenting a concise way of describing user behavior by Markov models and derive from them workloads on resources. By means of an empirical user test, we evaluate the Markov assumption for a given Web 2.0 application which is an important prerequisite for our approach.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Bernhard Wally, Christian Huemer, Alexandra Mazak
Entwining Plant Engineering Data and ERP Information: Vertical Integration with AutomationML and ISA-95 Proceedings Article
In: Proceedings of the 3rd IEEE International Conference on Control, Automation and Robotics (ICCAR 2017), pp. 356-364, 2017, ISBN: 978-1-5090-6089-4.
@inproceedings{Wally2017viai,
title = {Entwining Plant Engineering Data and ERP Information: Vertical Integration with AutomationML and ISA-95},
author = {Bernhard Wally and Christian Huemer and Alexandra Mazak},
doi = {10.1109/ICCAR.2017.7942718},
isbn = {978-1-5090-6089-4},
year = {2017},
date = {2017-04-26},
booktitle = {Proceedings of the 3rd IEEE International Conference on Control, Automation and Robotics (ICCAR 2017)},
pages = {356-364},
abstract = {IT systems' integration in manufacturing companies is currently investigated in both academia and industry. While there can be found specialized systems and standards that tackle specific, e.g., production relevant problems, little has been done in the alignment of and transformation between such industrial standards. We will present the alignment of two specialized international standards, which will foster vertical system integration through detailed mapping of related concepts: (i) the Automation Markup Language (AML) standardizes the modeling of factory shop floors on top of the XML-based Computer Aided Engineering Exchange (CAEX) data format and (ii) ISA-95 is a series of standards targeting the integration of enterprise control systems, most prominent enterprise resource planning systems and manufacturing execution systems. In order to provide higher level semantics to lower level system descriptions, we have (i) aligned elements from AML and ISA-95 in order to make explicit both overlaps and complementary concepts and (ii) defined a ruleset for referencing external ISA-95 documents/elements from AML documents. Finally, we have developed a scenario that shows the potential use case for such an entwined use of AML and ISA-95.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Bernhard Wally, Christian Huemer, Alexandra Mazak
ISA-95 based Task Specification Layer for REA in Production Environments Proceedings Article
In: Proceedings of the 11th International Workshop on Value Modeling and Business Ontologies (VMBO 2017), 2017.
@inproceedings{Wally2017tsl,
title = {ISA-95 based Task Specification Layer for REA in Production Environments},
author = {Bernhard Wally and Christian Huemer and Alexandra Mazak},
year = {2017},
date = {2017-03-07},
booktitle = {Proceedings of the 11th International Workshop on Value Modeling and Business Ontologies (VMBO 2017)},
abstract = {Resource-Event-Agent (REA) has been applied to various engineering and business domains, with a focus on transfer activities rather than transformation activities. In the context of smart manufacturing, vertical integration of IT systems (e.g., business applications and production control systems) is a key factor. In this work, we shed light on the integration of REA concepts into production environments by investigating properties of REA transformations and aligning them with concepts from an international standard for enterprise-control system integration (ISA-95).},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Patrick Neubauer, Robert Bill, Tanja Mayerhofer, Manuel Wimmer
Automated generation of consistency-achieving model editors Proceedings Article
In: Pinzger, Martin; Bavota, Gabriele; Marcus, Andrian (Ed.): IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017, pp. 127–137, IEEE Computer Society, 2017.
@inproceedings{DBLP:conf/wcre/NeubauerBMW17,
title = {Automated generation of consistency-achieving model editors},
author = {Patrick Neubauer and Robert Bill and Tanja Mayerhofer and Manuel Wimmer},
editor = {Martin Pinzger and Gabriele Bavota and Andrian Marcus},
url = {https://doi.org/10.1109/SANER.2017.7884615},
doi = {10.1109/SANER.2017.7884615},
year = {2017},
date = {2017-01-01},
urldate = {2017-01-01},
booktitle = {IEEE 24th International Conference on Software Analysis, Evolution
and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24,
2017},
pages = {127--137},
publisher = {IEEE Computer Society},
abstract = {The advances of domain-specific modeling languages (DSMLs) and their editors created with modern language work-benches, have convinced domain experts of applying them as important and powerful means in their daily endeavors. Despite the fact that such editors are proficient in retaining syntactical model correctness, they present major shortages in mastering the preservation of consistency in models with elaborated language-specific constraints which require language engineers to manually implement sophisticated editing capabilities. Consequently, there is a demand for automating procedures to support editor users in both comprehending as well as resolving consistency violations. In this paper, we present an approach to automate the generation of advanced editing support for DSMLs offering automated validation, content-assist, and quick fix capabilities beyond those created by state-of-the-art language workbenches that help domain experts in retaining and achieving the consistency of models. For validation, we show potential error causes for violated constraints, instead of only the context in which constraints are violated. The state-space explosion problem is mitigated by our approach resolving constraint violations by increasing the neighborhood scope in a three-stage process, seeking constraint repair solutions presented as quick fixes to the editor user. We illustrate and provide an initial evaluation of our approach based on an Xtext-based DSML for modeling service clusters.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Patrick Neubauer, Robert Bill, Manuel Wimmer
Modernizing domain-specific languages with XMLText and IntellEdit Proceedings Article
In: Pinzger, Martin; Bavota, Gabriele; Marcus, Andrian (Ed.): IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017, pp. 565–566, IEEE Computer Society, 2017.
@inproceedings{DBLP:conf/wcre/NeubauerBW17,
title = {Modernizing domain-specific languages with XMLText and IntellEdit},
author = {Patrick Neubauer and Robert Bill and Manuel Wimmer},
editor = {Martin Pinzger and Gabriele Bavota and Andrian Marcus},
url = {https://doi.org/10.1109/SANER.2017.7884679},
doi = {10.1109/SANER.2017.7884679},
year = {2017},
date = {2017-01-01},
urldate = {2017-01-01},
booktitle = {IEEE 24th International Conference on Software Analysis, Evolution
and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24,
2017},
pages = {565--566},
publisher = {IEEE Computer Society},
abstract = {The necessity of software evolution caused by novel requirements is often triggered alongside the advancement of underlying languages and tools. Although modern language workbenches decrease the opportunity cost of creating new language implementations, they do not offer automated and complete integration of existing languages. Moreover, they still require complex language engineering skills and extensive manual implementation effort to suit the expectations of domain experts, e.g., in terms of editor capabilities. In this work we present XMLIntellEdit-a framework for evolving domain-specific languages by automating the generation of modernized languages offering advanced editing capabilities, such as extended validation, content-assist, and quick fix solutions. Our approach builds on techniques from Model-Driven Engineering and Search-based Software Engineering research. Initial results indicate that XML Schema definitions containing restrictions can be applied for the automated generation of advanced editing facilities.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
0000
Azad Khandoker, Sabine Sint, Manuel Wimmer, Klaus Zeman
An Interdisciplinary Course on Model-Based Systems Engineering Proceedings Article Forthcoming
In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västeras, Schweden, October 1-6/2023., Forthcoming.
@inproceedings{Sint2023b,
title = {An Interdisciplinary Course on Model-Based Systems Engineering},
author = {Azad Khandoker and Sabine Sint and Manuel Wimmer and Klaus Zeman},
booktitle = {2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västeras, Schweden, October 1-6/2023.},
journal = {2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Västeras, Schweden, October 1-6/2023.},
abstract = {Model-Based Systems Engineering (MBSE) has emerged as a promising approach to design and develop complex engineering systems. Its adoption is steadily increasing in various industries and along additional system life cycle phases, showcasing its potential to enhance system development processes, to improve overall system performance, to support traceability, safety & security, maintenance, condition monitoring, upcycling, recycling, and even circular economy. As MBSE is becoming more prevalent in several industries, it is crucial to incorporate MBSE education into engineering curricula to prepare future engineers with the necessary knowledge, methods, skills, and tools. In this paper, we present our interdisciplinary MBSE course at Johannes Kepler University in Linz and further explore the challenges and opportunities of the current state of MBSE education for the effective integration of MBSE into engineering education.},
keywords = {},
pubstate = {forthcoming},
tppubtype = {inproceedings}
}
Books
Sorry, no publications matched your criteria.
Book Chapters
Sorry, no publications matched your criteria.
Whitepapers
Sorry, no publications matched your criteria.
Theses
Sorry, no publications matched your criteria.
Proceedings
Sorry, no publications matched your criteria.
Other
Sorry, no publications matched your criteria.