? Visual Specification and Analysis of Contract-Based Software Architectures
Journal of Computer Science and Technology
Quick Search in JCST
 Advanced Search 
      Home | PrePrint | SiteMap | Contact Us | FAQ
 
Indexed by   SCIE, EI ...
Bimonthly    Since 1986
Journal of Computer Science and Technology 2017, Vol. 32 Issue (5) :1025-1043    DOI: 10.1007/s11390-017-1779-y
Regular Paper Current Issue | Archive | Adv Search << Previous Articles | Next Articles >>
Visual Specification and Analysis of Contract-Based Software Architectures
Mert Ozkaya
Department of Computer Engineering, Istanbul Kemerburgaz University, Istanbul 34217, Turkey

Abstract
Reference
Related Articles
Download: [PDF 5929KB]     Export: BibTeX or EndNote (RIS)  
Abstract XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e.,interaction protocols).XCD is supported by a translator that produces formal models in SPIN's ProMeLa formal verification language,which can then be formally analysed using SPIN's model checker. XCD is extended with a visual notation set called VXCD.VXCD extends UML's component diagram and adapts it to XCD's structure,contractual behaviour,and interaction protocol specifications.Visual VXCD specifications can be translated into textual XCD specifications for formal analysis.To illustrate VXCD,the well-known gas station system is used.The gas system is specified contractually using VXCD's visual notation set and then formally analysed using SPIN's model checker for a number of properties including deadlock and race-condition.
Articles by authors
Keywordsarchitectural language   design-by-contract   visual modelling language   interaction protocol   formal analysis     
Received 2016-09-14;
Fund:

This work was supported by the Project of the Scientific and Technological Research Council of Turkey (TUBITAK) under Grant No. 215E159.

About author: Mert Ozkaya is assistant professor in Istanbul Kemerburgaz University, Istanbul. Dr. Ozkaya received his Ph.D. degree in computer science from City University London, London, in 2014. Previously, he received his M.S. degree in computer science from University of Essex, Colchester, in 2010, and his B.S. degree in computer engineering from Bilkent University, Ankara, in 2009.
Cite this article:   
Mert Ozkaya.Visual Specification and Analysis of Contract-Based Software Architectures[J]  Journal of Computer Science and Technology, 2017,V32(5): 1025-1043
URL:  
http://jcst.ict.ac.cn:8080/jcst/EN/10.1007/s11390-017-1779-y
Copyright 2010 by Journal of Computer Science and Technology