Contractualisation des ressources pour le deploiement des composants logiciels
Nicolas Le Sommer (VALORIA)

TL;DR
This paper introduces a contract-based approach to address resource-related non-functional requirements in software deployment, ensuring components perform satisfactorily on deployment platforms.
Contribution
It proposes a novel method for incorporating resource-based non-functional properties into deployment contracts for software components.
Findings
Enhances deployment reliability by considering resource constraints.
Provides a formal framework for resource contract specification.
Improves component performance consistency during deployment.
Abstract
Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they may in turn fail to perform satisfactorily. In this paper, we present a contract-based approach to take a specific category of non-functional properties specified by components into account, that is those that pertain to the resources that are necessary for their execution.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Logic, programming, and type systems · Distributed systems and fault tolerance
