File Download
Supplementary

Conference Paper: NOODLE++: a 3 Dimensional Net-based Object-orientated Development Model

TitleNOODLE++: a 3 Dimensional Net-based Object-orientated Development Model
Authors
KeywordsObject-oriented
Software development
Issue Date1996
PublisherBritish Computer Society
Citation
Proceedings of the 2nd Methods Integration Workshop. Leeds, UK. 25-26 March, 1996. BCS E-archive How to Cite?
AbstractObject-oriented analysis and design methodologies are considered as the most popular software development methods for the 1990s. A common drawback, however, is that they have been developed informally. There is no theoretical framework enabling us to define precisely the object-oriented concepts involved, to solve concurrency problems, and to verify the correctness of the implementation. We propose a 3-dimensional net structure behind object-oriented software development. This structure consolidates the concepts of classes, inheritance, overloading and message passing through a single model. Inheritance and overloading can be unified with message passing in a 3-dimensional representation, but are physically differentiable by occupying the vertical and horizontal planes,respectively, of the model. Furthermore, the formal model can be mapped to various object-oriented analysis and design notations. The theoretical framework can thus be adopted for systems validation and verification for existing methodologies. The liveness and consistencies of objects can be verified, and inheritance and interaction coupling can be identified and checked.
DescriptionHKU CS Tech Report TR-95-04
Persistent Identifierhttp://hdl.handle.net/10722/55517
Series/Report no.Electronic workshops in Computing (EWIC) Series

 

DC FieldValueLanguage
dc.contributor.authorTse, TH-
dc.contributor.authorCheng, CP-
dc.date.accessioned2009-08-13T04:56:42Z-
dc.date.available2009-08-13T04:56:42Z-
dc.date.issued1996-
dc.identifier.citationProceedings of the 2nd Methods Integration Workshop. Leeds, UK. 25-26 March, 1996. BCS E-archiveen
dc.identifier.otherhttp://www.bcs.org/server.php?show=ConWebDoc.5134-
dc.identifier.urihttp://hdl.handle.net/10722/55517-
dc.descriptionHKU CS Tech Report TR-95-04en_HK
dc.description.abstractObject-oriented analysis and design methodologies are considered as the most popular software development methods for the 1990s. A common drawback, however, is that they have been developed informally. There is no theoretical framework enabling us to define precisely the object-oriented concepts involved, to solve concurrency problems, and to verify the correctness of the implementation. We propose a 3-dimensional net structure behind object-oriented software development. This structure consolidates the concepts of classes, inheritance, overloading and message passing through a single model. Inheritance and overloading can be unified with message passing in a 3-dimensional representation, but are physically differentiable by occupying the vertical and horizontal planes,respectively, of the model. Furthermore, the formal model can be mapped to various object-oriented analysis and design notations. The theoretical framework can thus be adopted for systems validation and verification for existing methodologies. The liveness and consistencies of objects can be verified, and inheritance and interaction coupling can be identified and checked.en
dc.description.sponsorshipThis research is supported in part by a grant of the Research Grants Council.en
dc.language.isoengen
dc.publisherBritish Computer Societyen
dc.relation.ispartofseriesElectronic workshops in Computing (EWIC) Seriesen_HK
dc.rightsCopyright for this paper is owned by the authors.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectObject-orienteden
dc.subjectSoftware developmenten
dc.titleNOODLE++: a 3 Dimensional Net-based Object-orientated Development Modelen
dc.typeConference_Paperen
dc.description.naturepreprinten_HK
dc.identifier.hkuros9932en

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats