The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (2000 vol.26)
pp: 500-517
ABSTRACT
<p><b>Abstract</b>—Formal software specification has long been touted as a way to increase the quality and reliability of software; however, it remains an intricate, manually intensive activity. An alternative to using formal specifications directly is to translate graphically based, semiformal specifications into formal specifications. However, before this translation can take place, a formal definition of basic object-oriented concepts must be found. This paper presents an algebraic model of object-orientation that defines how object-oriented concepts can be represented algebraically using an object-oriented algebraic specification language O-S<scp>lang</scp>. O-S<scp>lang</scp> combines basic algebraic specification constructs with category theory operations to capture internal object class structure, as well as relationships between classes.</p>
INDEX TERMS
Software engineering, formal methods, domain models, transformation systems.
CITATION
Scott A. DeLoach, "A Theory-Based Representation for Object-Oriented Domain Models", IEEE Transactions on Software Engineering, vol.26, no. 6, pp. 500-517, June 2000, doi:10.1109/32.852740
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool