Showing 1–4 of 4 results for author: Ripon, S H

Modelling Variability for System Families

Authors: Shamim Hasnat Ripon, Kamrul Hasan Talukder, Khademul Islam Molla

Abstract: In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variability consists of a variant part, which models variants and a decision table to depict the customisation decision regarding each variant. We have found that it is easy to implement and has advantage over other methods. We… ▽ More In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variability consists of a variant part, which models variants and a decision table to depict the customisation decision regarding each variant. We have found that it is easy to implement and has advantage over other methods. We present this model as an integral part of modelling system families. △ Less

Submitted 26 September, 2010; originally announced September 2010.

Comments: 10 pages, Malaysian Journal of Computer Science, Vol. 16 No. 1, June 2003, pp. 37-46

Report number: KHT9375

Journal ref: Malaysian Journal of Computer Science, Vol. 16 No. 1, 2003

Deriving Relationship Between Semantic Models - An Approach for cCSP

Authors: Shamim H. Ripon, Michael Butler

Abstract: Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different purposes. Building equivalence between different semantic models of a language strengthen its formal foundation. This paper shows the derivation of denotational semantics from operational semantics of the language cCSP.… ▽ More Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different purposes. Building equivalence between different semantic models of a language strengthen its formal foundation. This paper shows the derivation of denotational semantics from operational semantics of the language cCSP. The aim is to show the correspondence between operational and trace semantics. We extract traces from operational rules and use induction over traces to show the correspondence between the two semantics of cCSP. △ Less

Submitted 17 February, 2010; v1 submitted 17 February, 2010; originally announced February 2010.

Comments: 8 Pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS January 2010, ISSN 1947 5500

Report number: Computer Science Volume 7 ISSN 19475500 ACM Class: F.4.1; F.3.2

Journal ref: International Journal of Computer Science and Information Security, IJCSIS, Vol. 7, No. 1, pp. 47-54, January 2010, USA

Modelling Variability for System Families

Authors: Shamim H. Ripon

Abstract: In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variability consists of a variant part, which models variants and a decision table to depict the customisation decision regarding each variant. We have found that it is easy to implement and has advantage over other methods. W… ▽ More In this paper, an approach to facilitate the treatment with variabilities in system families is presented by explicitly modelling variants. The proposed method of managing variability consists of a variant part, which models variants and a decision table to depict the customisation decision regarding each variant. We have found that it is easy to implement and has advantage over other methods. We present this model as an integral part of modelling system families. △ Less

Submitted 1 October, 2013; v1 submitted 23 January, 2010; originally announced January 2010.

Comments: This paper is withdrawn due to duplicate submission of the same paper

ACM Class: D.3.1

Journal ref: Malaysian Journal of Computer Science, Vol. 16 No. 1, 2003

Formalizing cCSP Synchronous Semantics in PVS

Authors: Shamim H. Ripon, Michael Butler

Abstract: Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined both traces and operational semantics of the language. We have shown the consistency between the two semantic models by defining a relationship between them. Synchronization was missing from the earlier semantic definitio… ▽ More Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined both traces and operational semantics of the language. We have shown the consistency between the two semantic models by defining a relationship between them. Synchronization was missing from the earlier semantic definitions which is an important feature for any process algebra. In this paper, we address this issue by extending the syntax and semantics to support synchronization and define a relationship between the semantic models. Moreover, we improve the scalability of our proof technique by mechanically verifying the semantic relationship using theorem prover PVS. We show how to embed process algebra terms and semantics into PVS and to use these embeddings to prove the semantic relationship. △ Less

Submitted 20 January, 2010; originally announced January 2010.

Comments: 9 pages

ACM Class: F.4.1; F.3.2