Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
Editor: Fernando Orejas, Paul Spirakis, Jan van Leeuwen
Title: Amalgamation via enriched CASL signatures
Book / Collection title: International Colloquium on Automata, Languages and Programming (ICALP 2001)
Volume: 2076
Page(s): 993 – 1004
Series: Lecture Notes in Computer Science
Year published: 2001
Publisher: Springer, Berlin
Abstract: We construct a representation of the institution of the algebraic specification language CASL in an institution called enriched CASL. Enriched CASL satisfies the amalgamation property, which fails in the CASL institution, as well as its converse. Thus, the previously suggested institution-independent semantics of architectural specifications is actually applicable to CASL. Moreover, a variety of results for institutions with amalgamation, such as computation of normal forms and theorem proving for structured specifications, can now be used for CASL.
Internet: http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2076&spage=993
PostScript Version: http://www.informatik.uni-bremen.de/~lschrode/EnrAmalg.ps
Keywords: Amalgamation enriched CASL architectural specifications
Status: Reviewed
Last updated: 22. 06. 2005

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum