Haskell as an Architecture Description Language

M.M. Schrage; S.D. Swierstra

Haskell as an Architecture Description Language

M.M. Schrage, S.D. Swierstra

Dept of Information and Computing Sciences

extern

Research output: Working paper › Academic

Abstract

We define a domain specific embedded language in Haskell for describing layered software architectures which maintain bidirectional dependencies. By using a typed programming language to describe the architecture, the type correctness of its components is guaranteed by the type checker of the language. Because, contrary to the situation with typical Architecture Description Languages, the description is part of the implementation of the system, the implementation is guaranteed to comply with the architecture, and the architecture is guaranteed to comply with the implementation.

Original language	Undefined/Unknown
Place of Publication	onbekend
Publisher	UU WINFI Informatica
Number of pages	14
Volume	2008-045
Publication status	Published - 2008

Publication series

Name	UU-CS
Publisher	UU WINFI Informatica
No.	2008-045
Volume	UU-CS

Keywords

Wiskunde en Informatica (WIIN)

Access to Document

http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-045.pdf

Cite this

@techreport{0a88dcfefd4d4a40977cedba547a7539,

title = "Haskell as an Architecture Description Language",

abstract = "We define a domain specific embedded language in Haskell for describing layered software architectures which maintain bidirectional dependencies. By using a typed programming language to describe the architecture, the type correctness of its components is guaranteed by the type checker of the language. Because, contrary to the situation with typical Architecture Description Languages, the description is part of the implementation of the system, the implementation is guaranteed to comply with the architecture, and the architecture is guaranteed to comply with the implementation.",

keywords = "Wiskunde en Informatica (WIIN)",

author = "M.M. Schrage and S.D. Swierstra",

year = "2008",

language = "Undefined/Unknown",

volume = "2008-045",

series = "UU-CS",

publisher = "UU WINFI Informatica",

number = "2008-045",

type = "WorkingPaper",

institution = "UU WINFI Informatica",

}

TY - UNPB

T1 - Haskell as an Architecture Description Language

AU - Schrage, M.M.

AU - Swierstra, S.D.

PY - 2008

Y1 - 2008

N2 - We define a domain specific embedded language in Haskell for describing layered software architectures which maintain bidirectional dependencies. By using a typed programming language to describe the architecture, the type correctness of its components is guaranteed by the type checker of the language. Because, contrary to the situation with typical Architecture Description Languages, the description is part of the implementation of the system, the implementation is guaranteed to comply with the architecture, and the architecture is guaranteed to comply with the implementation.

AB - We define a domain specific embedded language in Haskell for describing layered software architectures which maintain bidirectional dependencies. By using a typed programming language to describe the architecture, the type correctness of its components is guaranteed by the type checker of the language. Because, contrary to the situation with typical Architecture Description Languages, the description is part of the implementation of the system, the implementation is guaranteed to comply with the architecture, and the architecture is guaranteed to comply with the implementation.

KW - Wiskunde en Informatica (WIIN)

M3 - Working paper

VL - 2008-045

T3 - UU-CS

BT - Haskell as an Architecture Description Language

PB - UU WINFI Informatica

CY - onbekend

ER -