Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2019
A method for testing and validating executable statechart models
Software and Systems Modeling (SoSyM) (SPSSM), Volume 18, Issue 2Apr 2019, Pages 837–863https://doi.org/10.1007/s10270-018-0676-3AbstractStatecharts constitute an executable language for modelling event-based reactive systems. The essential complexity of statechart models solicits the need for advanced model testing and validation techniques. In this article, we propose a method ...
- articleDecember 2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
- Elvira Albert,
- Frank S. Boer,
- Reiner Hähnle,
- Einar Broch Johnsen,
- Rudolf Schlatte,
- S. Lizeth Tapia Tarifa,
- Peter Y. Wong
Service Oriented Computing and Applications (SPSOCA), Volume 8, Issue 4December 2014, Pages 323–339https://doi.org/10.1007/s11761-013-0148-0We demonstrate by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification language Real-Time ABS. These non-...
- ArticleJune 2008
Data Flow Analysis of UML Action Semantics for Executable Models
ECMDA-FA '08: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and ApplicationsJune 2008, Pages 79–93https://doi.org/10.1007/978-3-540-69100-6_6Executable modeling allows the models to be executed and treated as prototype to determine the behavior of a system. These models use precise action languages to specify the algorithms and computational details required for execution. These action ...
- articleFebruary 2008
GemCell: A generic platform for modeling multi-cellular biological systems
Theoretical Computer Science (TCSC), Volume 391, Issue 3February, 2008, Pages 276–290https://doi.org/10.1016/j.tcs.2007.11.014The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although living organisms are composed of cells, actual genomic and proteomic data have ...