Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Modular Composition of Language Features through Extensions of Semantic Language Models

Pahl, Claus orcid logoORCID: 0000-0002-9049-212X (1999) Modular Composition of Language Features through Extensions of Semantic Language Models. In: 3rd Irish Workshop on Formal Methods, July 1999, Galway, Ireland.

Abstract
Today, programming or specification languages are often extended in order to customize them for a particular application domain or to refine the language definition. The extension of a semantic model is often at the centre of such an extension. We will present a framework for linking basic and extended models. The example which we are going to use is the RSL concurrency model. The RAISE specification language RSL is a formal wide-spectrum specification language which integrates different features, such as state-basedness, concurrency and modules. The concurrency features of RSL are based on a refinement of a classical denotational model for process algebras. A modification was necessary to integrate state-based features into the basic model in order to meet requirements in the design of RSL. We will investigate this integration, formalising the relationship between the basic model and the adapted version in a rigorous way. The result will be a modular composition of the basic process model and new language features, such as state-based features or input/output. We will show general mechanisms for integration of new features into a language by extending language models in a structured, modular way. In particular, we will concentrate on the preservation of properties of the basic model in these extensions.
Metadata
Item Type:Conference or Workshop Item (Paper)
Event Type:Workshop
Refereed:Yes
Uncontrolled Keywords:Language; Language models
Subjects:Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Publisher:British Computer Society
Official URL:http://www.bcs.org/content/conWebDoc/4235
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:15908
Deposited On:19 Apr 2011 13:52 by Shane Harper . Last Modified 19 Jan 2021 15:08
Documents

Full text available as:

[thumbnail of Modular_Composition_of_Language_Features_through_extensions_of_semantic_language_models.pdf]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
196kB
Downloads

Downloads

Downloads per month over past year

Archive Staff Only: edit this record