Publication | Closed Access
Object oriented module interconnection languages
23
Citations
9
References
2002
Year
Unknown Venue
EngineeringObject-oriented ModelingSoftware SystemsPrototypical Programming LanguageComputer ArchitectureLanguage InteroperabilitySoftware EngineeringObject Type IdentifySoftware AnalysisFormal VerificationModule Interconnection LanguageModule Interconnection LanguagesCompilersProgramming LanguagesObject-oriented DesignHigh-level Programming LanguageComputer EngineeringComputer ScienceSoftware DesignProgram AnalysisAutomated ReasoningFormal MethodsObject-oriented ProgrammingSystem SoftwareObject Modeling
The authors discuss two approaches to a module interconnection language (MIL) for object components. They first look at a prototypical programming language which makes the connectivity between objects explicit by making the specification of the object type identify not just the methods it provides but also those it requires. They then propose an algebra of objects which enables new objects (components) to be built from old and, because the algebra is closed, the new components themselves can be used to build further components.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1