Abstraction-based software development
Communications of the ACM
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Ada-based support for abstraction, encapsulation and unit hierarchy
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Event-based implicit invocation decentralized in Ada
ACM SIGAda Ada Letters
Omega: a uniform object model easy to gain Ada's ends
ACM SIGAda Ada Letters
A Computer-Aided Prototyping System
IEEE Software
Quantifiable architecting of dependable systems of embedded systems
ACM SIGSOFT Software Engineering Notes
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Hi-index | 0.00 |
Computer-aided prototyping shows promise that one system under development frees designers from implementation details by executing specifications via reusable components. Ada is first choice for constructing such reusable object-oriented components because Ada95 is the only international standard programming language that supports object-oriented real-time distributed systems. But Ada has diversified object forms that are so intricate that people feel it difficult to find an equivalence of a class between Java (C++) and Ada95. In computer-aided prototyping, automatic prototype generating is facing one of key problems on how to map a well-defined prototyping specification to an executable prototype with different OOPLs. This paper addresses several key problems in automatic prototype generating with reusable object foundation based on an optimized object model. These problems include transformation of a PSDL specification to the executable system composed from componential object entities, compositional pattern enforcing interactions among components, generalized role wrappers from which physical components can be derived and an optimized object model used to unify different object forms in popular OOPLs.