Concurrency: state models & Java programs
Concurrency: state models & Java programs
The Book of Traces
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Constructing Interoperable Components in Distributed Systems
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Scalable models of extra-functional properties such as reliability, availability and timeliness are still presenting great challenges to researchers and practitioners in component-based software architecture.In our research centre at Monash in collaboration with industrial partners and other universities, we have been developing compositional dynamic models for such extra-functional properties. Architecture definitions supported by our tool Radlcater for components that are parameterised by environment characteristics, such as configuration choices, deployment context or run-time usage profiles.The behaviour of such components is characterised by annotated automata and Petri nets. Annotations capture synchronisation and resource constraints, such as timing, as well as execution probabilities for run types.This paper provides a short survey of work around Radlover the past years and sheds light on some key aspects which have led to using Radlin industrial applications for the analysis of large-scale real-world component-based systems.