Logotype Mälardalen University

MRTC publications



The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics

Authors: Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
Source: MRTC report ISSN 1404-3041 ISRN MDH-MRTC-251/2011-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University
 

Abstract

We present a denotational semantics for the Architecture Analysis and Design Language with Behavior Annex and the Computational Tree logic. We also present tool support as an OSATE plug-in as well as the Production Cell case study.
 

BibTeX entry

@techreport{Björnander_2381:2011,
   author = {Stefan Bj{\"o}rnander and Cristina Seceleanu and Kristina Lundqvist and Paul Pettersson},
   title = {The Architecture Analysis and Design Language and the Behavior Annex: A Denotational Semantics},
   month = {January},
   year = {2011},
   institution = {M{\aa}lardalen University},
   number = {ISSN 1404-3041 ISRN MDH-MRTC-251/2011-1-SE},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2381},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23