Abstract
One of the key tenets in software engineering is the accurate, precise transformation of information from the viewpoint of the system analyst (end-user) to the viewpoint of the system designer (developer) [W95]. The mapping of information between parts of the problem space and corresponding parts of the solution space is called isomorphism [H78] and its mechanism is known as the linking invariant [H94]. Despite the fact that the object paradigm can be used today in software application development to produce abstractions that map directly to both the problem space and solution space, software reuse and productivity is far from the level seen in the hardware world. Why?
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
RGA Cote “OpenDoc: Small is Beautiful” BYTE February 1986, p. 167.
ISO 9596 “Common Management Information Protocol”.
ISO 9595 “Common Management Information Service”.
JO Coplien “On Hardware, Software, and Productivity: A Position Paper” AT&T Bell Labs Internal Document, May 1987.
BJ Cox “Object Oriented Programming: An Evolutionary Approach”, Addison-Wesley, 1986.
G Gilder “The Coming Software Shift” Forbes ASAP, August 28 1995.
E Gamma, R Helm, R Johnson “Design Patterns: Elements Of Reusable Object-Oriented Software” Addison-Wesley 1994.
ISO/IEC CD 10165-7.2 “Information Technology-Open Systems Interconnection-Management Information Services-Structure of Management Information-Part 7: General Relationship Model” August 1993.
W Harrison, H Kilov, H Ossher, I. Simmonds “From Dynamic Supertypes To Subtypes: A Natural Way To Specify And Develop Systems” Proceedings of OOPSLA’95 Workshop 21-Fourth Workshop on Specification of Behavioral Semantics 1995, p. 17.
DR Hofstadter “Godel, Escher, Bach: an Eternal Golden Braid” Basic Books, 1978.
H Kilov, J Ross. “Information Modeling: An Object-Oriented Approach”, Prentice-Hall, 1994.
ITU-TS Study Group 4 “Principles for a Telecommunication Management Network” Recommendation M.3010 1993.
ITU-TS Study Group 4 “Generic Network Information Model” Recommendation M.3100, 1992.
ISO/IEC CD 10746/-2: “Open Distributed Processing — Reference Model, Part 2: Foundations” IS 10746-2/ITURecommendation X.902 March 1995.
Proceedings of OOPSLA’95 Workshop 21-Fourth Workshop on Specification of Behavioral Semantics, 1995.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
Redberg, D. (1996). The Search for the Linking Invariant: Behavioral Modeling Versus Modeling Behavior. In: Object-Oriented Behavioral Specifications. The Springer International Series in Engineering and Computer Science, vol 371. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-27524-6_15
Download citation
DOI: https://doi.org/10.1007/978-0-585-27524-6_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9778-6
Online ISBN: 978-0-585-27524-6
eBook Packages: Springer Book Archive