@inbook{018bb7d14703477ea8f7af0c16b415a1,
title = "The ASSL Approach to Formal Specification of Self-managing Systems",
abstract = "ASSL (Autonomic System Specification Language) is a framework dedicated to the development of self-managing systems whereby developers are helped with problem formation, system design, system analysis and evaluation, and system implementation. The bottom line is a special multi-tier approach to specification exposing a rich set of constructs allowing a system to be modeled by emphasizing different key aspects, but centering the model around special self-management policies. This article presents in detail the aforementioned mechanism together with the underlying semantics. As a case study, we also present ASSL specifications of self-managing behavior of prospective autonomous NASA space exploration missions.",
keywords = "Autonomic computing, Formal specification",
author = "Emil Vassev and Mike Hinchey",
note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.",
year = "2019",
doi = "10.1007/978-3-030-22348-9_17",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "268--296",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}