Compose 中 CompositionLocalProvider 到底是干啥的

We implement the semantics of server operations using parameterised lenses. They allow us to define endpoints and extend them using classical lens composition. The parameterised nature of lenses models state updates while the lens laws mimic properties expected from HTTP. This first approach to server development is extended to use dependent parameterised lenses. An upgrade necessary to model not only endpoints, but entire servers, unlocking the ability to compose them together.

In this paper, we present an ontology-based approach to compose applications while preserving their former look. Our composition process relies on the manipulation of User Interfaces (UI) and on several ontologies describing relationships between tasks, UI and Functionalities. Our tool, called OntoCompo, supports compositions realized by the developer thanks to the selection, extraction and positioning of UI elements to constitute the newapplication.