Component-based distributed software reconfiguration: a verification-oriented survey
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …
applications, which frequently undergo reconfigurations to adapt to changes in their …
Safety, dependability and performance analysis of extended AADL models
This paper presents a component-based modelling approach to system-software co-
engineering of real-time embedded systems, in particular aerospace systems. Our method is …
engineering of real-time embedded systems, in particular aerospace systems. Our method is …
Team Automata: Overview and Roadmap
Team Automata is a formalism for interacting component-based systems proposed in 1997,
whereby multiple sending and receiving actions from concurrent automata can synchronise …
whereby multiple sending and receiving actions from concurrent automata can synchronise …
Spacecraft early design validation using formal methods
The size and complexity of software in spacecraft is increasing exponentially, and this trend
complicates its validation within the context of the overall spacecraft system. Current …
complicates its validation within the context of the overall spacecraft system. Current …
[PDF][PDF] Overview of Thirty Semantic Formalisms for Reo.
Over the past decades, coordination languages have emerged for the specification and
implementation of interaction protocols for communicating software components. This class …
implementation of interaction protocols for communicating software components. This class …
Reo + mCRL2 : A framework for model-checking dataflow in service compositions
The paradigm of service-oriented computing revolutionized the field of software engineering.
According to this paradigm, new systems are composed of existing stand-alone services to …
According to this paradigm, new systems are composed of existing stand-alone services to …
Abstract behavior types: a foundation model for components and their composition
F Arbab - Science of Computer Programming, 2005 - Elsevier
The notion of Abstract Data Type (ADT) has served as a foundation model for structured and
object oriented programming for some thirty years. The current trend in software engineering …
object oriented programming for some thirty years. The current trend in software engineering …
Automatic generation of self-monitoring MASs from multiparty global session types in Jason
Global session types are behavioral types designed for specifying in a compact way
multiparty interactions between distributed components, and verifying their correctness. We …
multiparty interactions between distributed components, and verifying their correctness. We …
Puff, the magic protocol
F Arbab - Formal Modeling: Actors, Open Systems, Biological …, 2011 - Springer
Traditional models of concurrency resort to peculiarly indirect means to express interaction
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …
Connector colouring I: Synchronisation and context dependency
Reo is a coordination model based on circuit-like connectors which coordinate components
through the interplay of data flow, synchronisation and mutual exclusion, state, and context …
through the interplay of data flow, synchronisation and mutual exclusion, state, and context …