Three-Tiered Specification of Micro-Architectures

Details Three-Tiered Specification of Micro-Architectures Three-Tiered Specification of Micro-Architectures

2002-05-19

arxiv.org/abs/cs/0205052v1

Computer Science

Software Engineering

Scientific paper

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. The layered, formal approach is compared to other approaches including the mainstream UML approach.

Affiliated with

Also associated with

No associations

Rating

Three-Tiered Specification of Micro-Architectures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Three-Tiered Specification of Micro-Architectures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Three-Tiered Specification of Micro-Architectures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-11977