Increasing the Reusability of Enforcers with Lifecycle Events

October 11, 2018 Β· Declared Dead Β· πŸ› Leveraging Applications of Formal Methods

πŸ‘» CAUSE OF DEATH: Ghosted
No code link whatsoever

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Oliviero Riganelli, Daniela Micucci, Leonardo Mariani arXiv ID 1810.04893 Category cs.SE: Software Engineering Cross-listed cs.FL Citations 6 Venue Leveraging Applications of Formal Methods Last Checked 4 months ago
Abstract
Runtime enforcement can be effectively used to improve the reliability of software applications. However, it often requires the definition of ad hoc policies and enforcement strategies, which might be expensive to identify and implement. This paper discusses how to exploit lifecycle events to obtain useful enforcement strategies that can be easily reused across applications, thus reducing the cost of adoption of the runtime enforcement technology. The paper finally sketches how this idea can be used to define libraries that can automatically overcome problems related to applications misusing them.
Community shame:
Not yet rated
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

πŸ“œ Similar Papers

In the same crypt β€” Software Engineering

Died the same way β€” πŸ‘» Ghosted