247 citations
- Universidad de ZaragozaES9 papers
- Universidad de GranadaES4 papers
- Institut national de recherche en sciences et technologies du numériqueFR3 papers
- University of SaskatchewanCA3 papers
- Boston UniversityUS2 papers
- Institut polytechnique de GrenobleFR2 papers
- Laboratoire d'Informatique de GrenobleFR2 papers
- Université Grenoble AlpesFR2 papers
- University of FloridaUS2 papers
- Brigham and Women's HospitalUS1 paper
- Centre de Recerca MatemàticaES1 paper
- Centre Inria de l'Université de LilleFR1 paper
5 papers · 1 filter
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering
Francisco Durán, Vlad Rusu
Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The…
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Meriem Ouederni, Gwen Salaün
One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at…
Handling Data-Based Concurrency in Context-Aware Service Protocols
Javier Cubo, Ernesto Pimentel, Gwen Salaün +1
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose…