000 04307nam a22005175i 4500
001 978-981-15-5054-6
003 DE-He213
005 20240423125225.0
007 cr nn 008mamaa
008 200727s2021 si | s |||| 0|eng d
020 _a9789811550546
_9978-981-15-5054-6
024 7 _a10.1007/978-981-15-5054-6
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
_h[electronic resource] :
_bCommunications of NII Shonan Meetings /
_cedited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry.
250 _a1st ed. 2021.
264 1 _aSingapore :
_bSpringer Nature Singapore :
_bImprint: Springer,
_c2021.
300 _aXII, 346 p. 138 illus., 29 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aChapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development.
520 _aThis book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages.
650 0 _aSoftware engineering.
650 0 _aMathematical logic.
650 1 4 _aSoftware Engineering.
650 2 4 _aMathematical Logic and Foundations.
700 1 _aAit-Ameur, Yamine.
_eeditor.
_0(orcid)0000-0003-4582-9712
_1https://orcid.org/0000-0003-4582-9712
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aNakajima, Shin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aMéry, Dominique.
_eeditor.
_0(orcid)0000-0001-5231-6611
_1https://orcid.org/0000-0001-5231-6611
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9789811550539
776 0 8 _iPrinted edition:
_z9789811550553
776 0 8 _iPrinted edition:
_z9789811550560
856 4 0 _uhttps://doi.org/10.1007/978-981-15-5054-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cSPRINGER
999 _c175598
_d175598