Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
Compatibility and inheritance in software architectures
Science of Computer Programming
Communication and Concurrency
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM SIGSOFT Software Engineering Notes
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
| Hi-index | 0.00 |
Architectural description languages are a useful tool for modeling complex software systems at a high level of abstraction and, if based on formal methods, for enabling the early verification of various properties among which correct component coordination. This is the case with process algebraic architectural description languages, as they have been equipped with several techniques for verifying the absence of coordination mismatches in the case of synchronous communications. The objective of this paper is twofold. On the modeling side, we show how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing non-synchronous communications, in such a way that the usability of the original language is preserved. On the analysis side, we show how to modify the compatibility check for acyclic topologies and the interoperability check for cyclic topologies, in such a way that both checks can still be applied in the presence of non-synchronous communications.