We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A Theory-Based Representation for Object-Orianted Domain Models.
- Authors
DeLoach, Scott A.; Hartrum, Thomas C.
- Abstract
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 baste 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-SLANG. O-SLANG combines basic algebraic specification constructs with category theory operations to capture internal object class structure, as well as relationships between classes.
- Subjects
SOFTWARE engineering; FORMAL methods (Computer science); TECHNICAL specifications; SYSTEMS design; ENGINEERING; MODEL categories (Mathematics)
- Publication
IEEE Transactions on Software Engineering, 2000, Vol 26, Issue 6, p500
- ISSN
0098-5589
- Publication type
Article
- DOI
10.1109/32.852740