An evaluation framework for comparative analysis of generalized stochastic Petri net simulation techniques

RJ Rodríguez, S Bernardi… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Availability of a common, shared benchmark to provide repeatable, quantifiable, and
comparable results is an added value for any scientific community. International consortia …

Software performance modeling

DC Petriu, M Alhaj, R Tawhid - International School on Formal Methods for …, 2012 - Springer
Ideally, a software development methodology should include both the ability to specify non-
functional requirements and to analyze them starting early in the lifecycle; the goal is to …

Performance evaluation of self-reconfigurable service-oriented software with stochastic Petri nets

D Perez-Palacin, J Merseguer - Electronic Notes in Theoretical Computer …, 2010 - Elsevier
Open-world software is a paradigm which allows to develop distributed and heterogeneous
software systems. They can be built by integrating already developed third-party services …

Approach for generating performance models from UML models of SOA systems

M Alhaj, DC Petriu - Proceedings of the 2010 Conference of the Center …, 2010 - dl.acm.org
Model-Driven SOA is an emerging approach for developing service-oriented systems using
models at different levels of abstractions and applying model transformations to generate …

A min-max problem for the computation of the cycle time lower bound in interval-based time Petri nets

S Bernardi, J Campos - IEEE Transactions on Systems, Man …, 2013 - ieeexplore.ieee.org
The time Petri net with firing frequency intervals (TPNF) is a modeling formalism used to
specify system behavior under timing and frequency constraints. Efficient techniques exist to …

Automatic generation of performance models for SOA systems

M Alhaj - Proceedings of the 16th international workshop on …, 2011 - dl.acm.org
The paper proposes a model-driven approach for deriving performance models from UML
design models of Service-Oriented Architecture (SOA) enterprise systems, in order to …

[HTML][HTML] Using aspects for platform-independent to platform-dependent model transformations

M Alhaj, D Petriu - International Journal of Electrical and Computer …, 2013 - ijecs.avestia.com
This paper presents an aspect-based approach for realizing a transformation from platform-
independent to platform-dependent models in the context of a model transformation chain …

An agent architecture for managing data resources in a grid environment

MS Pérez, A Sánchez, JH Abawajy, V Robles… - Future Generation …, 2009 - Elsevier
The agent paradigm has been successfully used in a large number of research areas.
MAPFS, a parallel file system, constitutes one successful application of agents to the I/O …

Performance modeling and analysis of the universal control hub

E Gómez-Martínez, J Merseguer - … 2010, Bertinoro, Italy, September 23-24 …, 2010 - Springer
People with special needs may find difficulties using electronic consumer devices, user
interfaces limit their chances of having full control on them. The Universal Remote Control …

Emergent algorithms for replica location and selection in data grid

VM Muñoz, GA Vicente, FG Carballeira… - Future Generation …, 2010 - Elsevier
Grid infrastructures for e-Science projects are growing in magnitude terms. Improvements in
data Grid replication algorithms may be critical in many of these infrastructures. This paper …