Abstract
This paper describes an application of artificial intelligence technology to the implementation of a rapid prototyping method in Object-Oriented Performance Design (OOPD) for real-time systems. A prototyping process is composed of three steps: Prototype construction, Prototype execution, and Prototype evaluation. The authors present the following artificial intelligence based methods and tools to be applied to each step. In the prototype construction step, a rapid construction mechanism, using reusable software components, is implemented based on the planning method. In the prototype execution step, a hybrid inference mechanism is used to execute the constructed prototype which is described in declarative knowledge representation. In the prototype evaluation step, an expert system, which is based on qualitative reasoning, is implemented to detect and diagnose bottlenecks and generate an improvement plan for them.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.S.Anderson and S.Fickas: A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem, Proc. of 5th International Workshop on Software Specification and Design, pp.177–184, 1989
D.Barstow et al.: An Automatic Programming System to Support an Experimental Science, Proc. of 6th ICSE, pp.360–366, 1982.
P.Coad and E.Yourdon: Object-Oriented Analysis, Prentice-Hall, 1990
D.Cohen: A Forward Inference Engine to Aid in Understanding Specifications, Proc. of AAAI-84, pp.56–60,1984.
A.M.Davis: Rapid Prototyping using Executable Requirements Specifications, ACM SIGSOFT, Vol.7,No.5, pp.39–44, 1982
K.Downing and S.Fickas: Specification Criticism via Policy-Directed Envisionment, CIS-TR-90-05, University of Oregon, 1990
S.Fickas: Automating the Transformational Development of Software, IEEE Trans. Software Eng., Vol.11, No.11, pp.1268–1277, 1985
S.Gerhart et al.: An overview of AFFIRM: A Specification and Verification System, Inform. Proc., Vol.80, pp-343–347, 1980.
M.J.Gonzalez: Deterministic Processor Scheduling, Computing Surveys, Vol.9, No.3, pp. 173–204, 1977
S.Honiden et al.: MENDEL: Prolog based Concurrent Object Oriented Language, Proc. of Compcon '86, pp.230–234, 1986.
S.Honiden et al.: Software Prototyping with Reusable Components, Journal of Information Processing, Vol.9, No.3, pp.123–129, 1986, also in IEEE tutorial 'software Reuse: The State of the Practice', 1988.
S.Honiden et al.: An Application of Structural Modeling and Automated Reasoning to Concurrent Program Design, Proc. of HICSS-22, 1989.
S.Honiden et al.: An application of Structural Modeling and Automated Reasoning to Real-Time Systems Design, The Journal of Real-Time Systems, Vol.1, No.3, Kluwer Academic Publishers, 1990
Y.Ishikawa and M.Tokoro: Orient 84/K: An Object-Oriented Concurrent Programming Language for Knowledge System, Object Oriented Concurrent Programming (ed. by Yonezawa and Tokoro), MIT Press, 1987
K. Itoh et al.: Tools for Prototyping for Developing Software, JOHO SHORI, Vol.30, No.4, pp.387–395, 1989
K.Itoh et al.: Knowledge-based Parameter Tuning for Queueing Network Type System-A New Application of Qualitative Reasoning, Proc. of IFIP CAPE' 89.
K.Itoh et al.: A Method for Diagnosis and Improvement on Bottleneck of Queueing Network by Qualitative and Quantitative Reasoning, Trans. on JSAI, Vol.5, No.1, 1990.
K.Itoh et al.: Qualitative Reasoning Based Parameter Tuning on Bottleneck of Synchronized Queueing Network, Proc. of Compsac '91, 1991
K.Itoh et al.: Parameter Tuning on Bottleneck of Synchronized Queueing Network by Qualitative Reasoning, Trans. on JSAI, Vol.6, No.6, 1991
Proc. of 4th International Workshop on Software Specification and Design, CS Press, Los Alamitos, Calif, 1987.
T.C.Jones: Reusability in Programming: A survey of the State of the Art, IEEE Trans. Software Eng., Vol.SE-9, pp.488–494, 1984.
S.Katz et al.: An Advisory System for Developing Data Representations, Proc. of 7th. IJCAI, pp.1030–1036, 1981.
Luqi et al.: Rapidly Prototyping Real-Time Systems, IEEE Software September, pp.25–36, 1988.
N.J.Nilson, Principles of Artificial Intelligence, Springer-Verlag, 1982
N.S.Prywers: Automatic Program Generation in Distributed Cooperative Computation, IEEE Trans. Syst. Man. Cyber., Vol.14, No.2, pp.275–286, 1984
C.Rich et al.: Initial Report on a LISP Programmer's Apprentice, IEEE Trans. Software Eng., Vol.4, No.6, 456–467, 1978.
W.Swartout: The Gist behavior explainer, Proc. of AAAI-83, 1983
N.Uchihira et al.: Concurrent Program Synthesis with Reusable Component using Temporal Logic, Proc. of Compsac '87, pp.455–464, 1987.
B.Williams: Interaction-based Invention: Designing Novel Devices from First Principles, Proc. of AAAI-90, 1990
P.Zave: The Operational versus the Conventional Approach to Software Development, Comm. ACM, Vol.27, No.2, pp. 104–118, 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Honiden, S., Uchihira, N., Itoh, K. (1991). An application of artificial intelligence to prototyping process in performance design for real-time systems. In: van Lamsweerde, A., Fugetta, A. (eds) ESEC '91. ESEC 1991. Lecture Notes in Computer Science, vol 550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540547428_49
Download citation
DOI: https://doi.org/10.1007/3540547428_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54742-6
Online ISBN: 978-3-540-46446-4
eBook Packages: Springer Book Archive