A Formal Approach to Specify the Reflective Design of Software Components with Timing Constraints

Author

Huang, Jing ; Zhang, Wei

Author_Institution

Sch. of Comput. Sci. & Technol., Wuhan Univ. of Technol., Wuhan, China

fYear

2009

fDate

11-13 Dec. 2009

Firstpage

1

Lastpage

4

Abstract

In software engineering, formal software specification has long been touted as a way to increase the quality and reliability of software. At the same time, component-based development (CBD) is an important emerging topic, which aims to compose systems from prebuilt software units or components. How to formally represent the software components supporting the development of real-time application systems is the focus of this paper. For the purpose, this paper presents a reflective semantic model for real-time software component (RSM4RSC) as a formal approach to specify the reflective design of software components with timing constraints.

Keywords

constraint handling; formal specification; object-oriented programming; software quality; software reliability; component-based development; formal software specification; real-time software component; reflective semantic model; reflective software design; software engineering; software quality; software reliability; timing constraint; Computer science; Formal specifications; Real time systems; Reflection; Software design; Software engineering; Software maintenance; Software quality; Software systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-4507-3

Electronic_ISBN

978-1-4244-4507-3

Type

conf

DOI

10.1109/CISE.2009.5362973

Filename

5362973