Three-Tiered Specification of Micro-Architectures

Simple item page
dc.creatorAlagar, Vasu
dc.creatorLaemmel, Ralf
dc.date2002-05-19
dc.date.accessioned2026-07-07T03:18:25Z
dc.date.available2026-07-07T03:18:25Z
dc.descriptionA three-tiered specification approach is developed to formally specify collections of collaborating objects, say micro-architectures. (i) The structural properties to be maintained in the collaboration are specified in the lowest tier. (ii) The behaviour of the object methods in the classes is specified in the middle tier. (iii) The interaction of the objects in the micro-architecture is specified in the third tier. The specification approach is based on Larch and accompanying notations and tools. The approach enables the unambiguous and complete specification of reusable collections of collaborating objects. The layered, formal approach is compared to other approaches including the mainstream UML approach.
dc.identifierhttps://arxiv.org/abs/cs/0205052
dc.identifierhttp://arxiv.org/abs/cs/0205052
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31105
dc.subjectSoftware Engineering
dc.subjectProgramming Languages
dc.subjectD.2.4; D.2.10; D.2.11; D.2.13
dc.titleThree-Tiered Specification of Micro-Architectures
dc.typetext

Files

Collections

arXiv