A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
The Vision of Autonomic Computing
Computer
Perspectives on Web Services: Applying SOAP, WSDL, and UDDI to Real-World Projects
Perspectives on Web Services: Applying SOAP, WSDL, and UDDI to Real-World Projects
A comparative study of language support for generic programming
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
An Artificial Intelligence Perspective on Autonomic Computing Policies
POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
Probabilistic model checking in practice: case studies with PRISM
ACM SIGMETRICS Performance Evaluation Review
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A taxonomy for resource discovery
Personal and Ubiquitous Computing
An Architectural Approach to Autonomic Computing
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Utility Functions in Autonomic Systems
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Model-Driven Autonomic Architecture
ICAC '07 Proceedings of the Fourth International Conference on Autonomic Computing
Quantitative verification: models techniques and tools
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Challenges and Best Practices in Policy-Based Autonomic Architectures
DASC '07 Proceedings of the Third IEEE International Symposium on Dependable, Autonomic and Secure Computing
Ultralarge Systems: Redefining Software Engineering?
IEEE Software
Implementation of a Generic Autonomic Framework
ICAS '08 Proceedings of the Fourth International Conference on Autonomic and Autonomous Systems
CADS*: Computer-Aided Development of Self-* Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Using quantitative analysis to implement autonomic IT systems
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Quantitative Analysis With the Probabilistic Model Checker PRISM
Electronic Notes in Theoretical Computer Science (ENTCS)
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
CADS*: Computer-Aided Development of Self-* Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
The global financial markets: an ultra-large-scale systems perspective
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
On self-adaptation in systems-of-systems
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
Hi-index | 0.00 |
This paper investigates how existing software engineering techniques can be employed, adapted and integrated for the development of systems of systems. Starting from existing system-of-systems (SoS) studies, we identify computing paradigms and techniques that have the potential to help address the challenges associated with SoS development, and propose an SoS development framework that combines these techniques in a novel way. This framework addresses the development of a class of IT systems of systems characterised by high variability in the types of interactions between their component systems, and by relatively small numbers of such interactions. We describe how the framework supports the dynamic, automated generation of the system interfaces required to achieve these interactions, and present a case study illustrating the development of a data-centre SoS using the new framework.