An automated environment for generation of rapid prototypes

• Autorzy: Bhattacharya S. , Bhattacharya J. , Chaudhuri A. R. , Bhattacharya U.
• Języki publikacji: EN

Abstrakty

EN

This paper introduces a prototyping environment based on a new formal model, ASET (Advanced System Emulation Technique). ASET is designed to aid rapid prototyping of software systems. It can be used to generate executable code directly from design specifications, together with provision for developers to add their own implementable codes, which will be incorporated in the final executable model. ASET also involves a well-defined design specification having provision for implementing both control and data flow. This model has been developed to allow specification of data dependent control conditions. Features, which have been given special consideration here, include distributed systems and concurrent processes. A grammar for this design specification is provided, which has been implemented and verified by YACC. The working of the presented technique has been illustrated using a case study.

Słowa kluczowe

EN

rapid prototypes; automated environment

PL

makietowanie szybkie

• Wydawca: Wydawnictwo Politechniki Poznańskiej
• Czasopismo: Foundations of Computing and Decision Sciences
• Rocznik: 2004
• Tom: Vol. 29, No. 4
• Strony: 287--314
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Bhattacharya S.

• Department of Computer Science and Engineering, Jadavpur University, Kolkata, India

autor

Bhattacharya J.

• Department of Computer Science and Engineering, Jadavpur University, Kolkata, India

autor

Chaudhuri A. R.

• Department of Computer Science and Engineering, Jadavpur University, Kolkata, India

autor

Bhattacharya U.

• Department of Computer Science and Technology, B.E. College (D.U.), Howrah, India

Bibliografia

• [1] Alan M. Davis, Software Requirements Analysis & Specifications, Prentice Hall, 1990.
• [2] Annie Choquet-Geniet, Pascal Richard, Petri Nets: A graphical tool for system modelling and analysis, in: Marc Frappier, Henri Habrias (eds.), Software Specification Methods, Springer, 2001, ISBN 1 85233 - 353 - 7, 20000, p. 241-257.
• [3] Bernd Kramer, Luqi, Valdis Berzins, Compositional semantics of a real-time prototyping language, IEEE Transactions on Software Engineering, 19, 5, 1993, p. 453-477.
• [4] David A. Dampier, Vineet Chadha , Change-Merging of PSDL Abstract Data Types, in: Proceedings of the 2001 Monterey Workshop on Engineering Automation for Software Intensive System Integration, Monterey, June, 2001.
• [5] Fabrice Kordon, Luqi, An introduction to rapid system prototyping, IEEE Transactions on Software Engineering, 28, 9, 2002, 817-821.
• [6] F. Kordon, I Mounier, E. Paviot-Adet, D. Regep, Formal verification of embedded distributed systems in a prototyping approach, in: Proceedings of the International Workshop on Engineering Automation for Software Intensive System Integration, Monterey, 2001.
• [7] Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, 23, 5, 1997, p. 279-295.
• [8] J. Jenny Li, Saul London, Plinio Vilela, and J. Robert Morgan, χSUDS-SDL: A tool for diagnosis and understanding software specifications, in: Proceedings of The International Symposium on Software Reliability Engineering, 1999, p. 5-6.
• [9] Nancy G. Leveson, Intent Specifications: An approach to building human-centred specifications, IEEE Transactions on Software Engineering, 26, 1, 2000, p. 15-35.
• [10] R.G. Willson, B.H. Krogh, Petri Net tools for the specification and analysis of discrete controllers, IEEE Transactions on Software Engineering, 16, I, 1990, p. 39-50.
• [11] Shaoying Liu, T. Fukuzaki, K. Miyamoto, A GUI and testing tool for SOFL, Proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSECOO), 2000, p. 421.
• [12] V. Berzins, Luqi, A. Yehudai, Using transformations in specification-based prototyping, IEEE Transactions on Software Engineering, 19, 5, 1993, p 436-452.