Referenced Items are not available for this document.
We introduce an inheritance concept into a specification method of mobile and real-time systems in order to reuse and refine existing specifications. Reusability by inheritance is emphasized in this paper. We take multiple inheritance to enable to reuse several specifications at a time. An upper specification can be skillfully divided into inherited parts and non-inherited ones. Therefore, a necessary part of the specification can be reused for a lower specification. As an application, the FIPA contract net interaction protocol is specified incrementally by using our method. We have been developing support tools for specifications described using our proposed method.
Published in:
Advanced Information Networking and Applications, 2005. AINA 2005. 19th International Conference on
(Volume:1
)
Date of Conference: 28-30 March 2005
- Page(s):
- 99 - 104 vol.1
- ISSN :
- 1550-445X
- Print ISBN:
- 0-7695-2249-1
- INSPEC Accession Number:
- 8530027
- Digital Object Identifier :
- 10.1109/AINA.2005.220
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
