José Luiz Fiadeiro

Learn More
In this paper, we bring together the use of temporal logic for specifying concurrent systems, in the tradition initiated by A. Pnueli, and the use of tools from category theory as a means for structuring specifications as combinations of theories in the style developed by R. Burstall and J. Goguen. As a result, we obtain a framework in which systems of(More)
This book purports to give a gentle, software engineering oriented introduction to category theory (see back cover). This is false. There is nothing gentle about this book. I think Springer more than any other publisher attempts to publish books buy academic experts. The usual result, and what we have here, is a book written by an expert that appears to be(More)
Distributed systems may be speciied in Structured Modal Action Logic by decomposing them into agents which interact by sharing attributes (memory) as well as actions. In the formalism we describe, speciication texts denote theories, and theories denote the set of semantic structures which satisfy them. The semantic structures are Kripke models, as is usual(More)
We report on a formal framework being developed within the SENSORIA project for supporting service-oriented modelling at high levels of abstraction, i.e. independently of the hosting middleware and hardware platforms, and the languages in which services are programmed. More specifically, we give an account of the concepts and techniques that support the(More)
Ð We formalise, using Category Theory, modularisation techniques for parallel and distributed systems based on the notion of superposition, showing that parallel program design obeys the "universal laws" formulated by J.Goguen for General Systems Theory, as well as other algebraic properties of modularity formulated for Specification Theory. The resulting(More)
A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach to General Systems Theory and other algebraic approaches to specification, concurrency, and parallel program design. This semantics is, essentially, ADL-independent, setting up criteria(More)
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such evolution can be conceived in terms of a language for specifying the dynamic reconfiguration of systems. In this paper, continuing our work on the development of a formal platform(More)