Domain analysis & description: The implicit and explicit semantics problem

Dines Bjørner*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

133 Downloads (Pure)

Abstract

The domain analysis & description calculi introduced in [26] is shown to alleviate the issue of implicit semantics [1, 2]. The claim is made that domain descriptions, whether informal, or as also here, formal, amount to an explicit semantics for what is otherwise implicit if not described ! I claim that [26] provides an answer to the claim in both [1, 2] that “The contexts of the systems in these cases are treated as second-class citizens . . .”, respectively “In general, modeling languages are not equipped with resources, concepts or entities handling explicitly domain engineering features and characteristics (domain knowledge) in which the modeled systems evolve”.

Original languageEnglish
Title of host publicationProceedings IMPEX 2017 and FM&MDD 2017
Number of pages23
Volume271
Publication date2018
Pages1-23
DOIs
Publication statusPublished - 2018
Event1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development - Xi'an, China
Duration: 13 Nov 201717 Nov 2017

Workshop

Workshop1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
CountryChina
CityXi'an
Period13/11/201717/11/2017
SeriesElectronic Proceedings in Theoretical Computer Science, EPTCS
ISSN2075-2180

Fingerprint Dive into the research topics of 'Domain analysis & description: The implicit and explicit semantics problem'. Together they form a unique fingerprint.

Cite this