Mokdad Arous and Djamel-Eddine Saïdouni (2013) Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification. Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence , (Volume 488), 367–377, Springer International Publishing Switzerland
Scientific Publications
Important: This page is frozen. New documents are now available in the digital repository DSpace
Abstract
Maximality-based Labeled Stochastic Transition Systems (MLSTS)
was presented as a new semantic model for characterizing the functional
and performance properties of concurrent systems, under the assumption of arbitrarily
distributed (i.e. non-Markovian) durations of actions. The MLSTS
models can be automatically generated from S-LOTOS specifications according
to the (true concurrency) maximality semantics. The main advantage is to
pruning the state graph without loss of information w.r.t. ST-semantic models. As a first work on MLSTS, we focus in this paper on in the verification of
functional properties of systems, using a variant of model-checking technique.
was presented as a new semantic model for characterizing the functional
and performance properties of concurrent systems, under the assumption of arbitrarily
distributed (i.e. non-Markovian) durations of actions. The MLSTS
models can be automatically generated from S-LOTOS specifications according
to the (true concurrency) maximality semantics. The main advantage is to
pruning the state graph without loss of information w.r.t. ST-semantic models. As a first work on MLSTS, we focus in this paper on in the verification of
functional properties of systems, using a variant of model-checking technique.
Information
| Item Type | Journal |
|---|---|
| Divisions | |
| ePrint ID | 165 |
| Date Deposited | 2014-12-08 |
| Further Information | Google Scholar |
| URI | https://univ-soukahras.dz/en/publication/article/165 |
BibTex
@article{uniusa165,
title={Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification},
author={Mokdad Arous and Djamel-Eddine Saïdouni},
journal={Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence}
year={2013},
volume={},
number={Volume 488},
pages={367–377},
publisher={Springer International Publishing Switzerland}
}
title={Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification},
author={Mokdad Arous and Djamel-Eddine Saïdouni},
journal={Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence}
year={2013},
volume={},
number={Volume 488},
pages={367–377},
publisher={Springer International Publishing Switzerland}
}