Paper Info
Title
Three-Tiered Specification of Micro-architectures
Abstract
A 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.
Year
DOI
Venue
2002
10.1007/3-540-36103-0_11
international conference on formal engineering methods
Keywords
Field
DocType
object-oriented design,complete specification,micro-architectures,frameworks,reuse,lowest tier,design patterns,interaction,uml,evolution,accompanying notation,middle tier,formal methods,object method,specification approach,three-tiered specification approach,reusable collection,structural property,three-tiered specification,object oriented design
Object-oriented design,Notation,Programming language,Object-oriented programming,Unified Modeling Language,Computer science,Reuse,Software design pattern,Formal methods,Microarchitecture
Journal
Volume
ISSN
ISBN
cs.SE/0205052
0302-9743
3-540-00029-1
Citations 
PageRank 
References 
0
0.34
24
Authors
2
Name
Order
Citations
PageRank
Vangalur S. Alagar116439.10
Ralf Lämmel21579109.70