In this talk I will use notions from the theory of algebraic graph transformation (distribution and amalgamation) to model synchronized reconfiguration of connectors. The idea is that connectors consist of a number of wired black boxes and that a reconfiguration of the system is modeled by a set of of …
read moreBuilding mashups with Reo
The explosive popularity of mashups has given rise to a plethora of ``mashup platforms''. Using these web-based tools, mashups can be rapidly constructed with minimal programming effort. Reo for Mashups (ReforM) provides tools to combine, filter and transform web services and data sources like RSS and ATOM feeds. Whereas other …
read moreTwo Modal Logics for Coalgebras
Nowadays, information has become one of the most valuable sources for hu- mankind. The development of computers has seriously increased the amount of information that we can handle. Other developments, like internet, have made the interexchange of information much easier. Even more, transferring large quantities of information is now a …
read moreDecomposition of Port Automata
This talk will be about ongoing work on decomposition of port automata, which are a simplified version of constraint automata. The goal is to decompose an arbitrary port automaton into instances of a finite number of primitives. The constructions for the decomposition are algebraic in the sense that I am …
read moreAutomated deadlock detection in synchronized multithreaded call-graphs
In this talk I will discuss automata models for the specification and (automated) analysis of the basic mechanism for synchronizing threads in Java.
read moreSchedulability analysis of real time actors
We present a modular method for schedulability analysis of real time distributed systems. We extend the actor model, as the asynchronous model for concurrent objects, with real time using timed automata, and show how actors can be analyzed individually to make sure that no task misses its deadline. We introduce …
read moreSynthesis of Reo Circuits from Scenario-based Specifications
It is difficult to construct correct models for distributed large-scale service-oriented applications. Typically, the behavior of such applications emerge from interaction and collaboration of multiple components/services. On the other hand, each component, in general, takes part in multiple scenarios. Consequently, not only components, but also their interaction protocols are …
read moreCoupled transformation of data models, instances, queries, and constraints (part II)
Coupled transformation occurs when multiple software artifacts must be transformed in such a way that they remain consistent with each other. For instance, when a database schema is adapted in the context of system maintenance, the persistent data residing in the system's database needs to be migrated to conform to …
read moreCoupled transformation of data models, instances, queries, and constraints
Coupled transformation occurs when multiple software artifacts must be transformed in such a way that they remain consistent with each other.
For instance, when a database schema is adapted in the context of system maintenance, the persistent data residing in the systemâs database needs to be migrated to conform …
read moreTesting dynamic systems from modal specifications
Among other validation and verification techniques, testing is a widely used method for ensuring a certain quality to software systems. When the implementation of the system is not known, it can be tested with respect to a (formal) specification. Classically, the specifications used to test functional programs are logical while …
read more