Christiano Braga

Learn More
Distributed and concurrent application invariably have coordination requirements. The design of those applications, composed by several (possibly distributed) components, has to consider coordination requirements comprising inter-component interaction styles, and intra-component concurrency and synchronization aspects. In our approach coordination aspects(More)
Current interests in the context of system development include non-functional aspects of an application and the quality of the service (QoS) it provides. In video on demand applications, for instance, properties such as delay, bandwidth and CPU utilization are monitored in order to identify if they are within acceptable limits. In our approach,(More)
This paper presents a modular rewriting semantics (MRS) specification for Reppy’s Concurrent ML (CML), based on Peter Mosses’ modular structural operational semantics specification for CML. A modular rewriting semantics specification for a programming language is a rewrite theory in rewriting logic written using techniques that support the modular(More)
3 MSDF syntax 4 3.1 Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Datatype definitions . . . . . . . . . . . . . . . . . . . . . . . 6 3.3 Labels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.4 Semantic transitions . . . . . . . . . . . . . . . . . . . . . . . 10 3.5 Built-in operations on derived and(More)
Modular SOS (MSOS ) is a framework created to improve the modularity of structural operational semantics specifications, a formalism frequently used in the fields of programming languages semantics and process algebras. With the objective of defining formal tools to support the execution and verification of MSOS specifications, we have defined a mapping,(More)