An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems

Mokdad Arous, Djamel-Eddine Saïdouni and Jean-Michel Ilié
Additional contact information
Mokdad Arous: MISC Laboratory, University of Constantine II, Constantine, Algeria
Djamel-Eddine Saïdouni: MISC Laboratory, University of Constantine II, Constantine, Algeria
Jean-Michel Ilié: LIP6 laboratory, Paris 6 University, Paris, France

International Journal of Systems and Service-Oriented Engineering (IJSSOE), 2015, vol. 5, issue 1, 1-15

Abstract: Considering both qualitative and quantitative aspects in the same modeling approach enhances coherency when analyzing concurrent system properties. Moreover, the impacts of changes related to functional and temporal features are generally better highlighted. In this paper, the authors present their approach to model and analyze behavioral and temporal properties of true concurrency systems. Compared to existing models, the underlying Maximality semantics allows to prune the state space. A specification language is also proposed, extending the LOTOS Process Algebra, in order to support any kind of action durations, like immediate, deterministic, Markovian or arbitrarily distributed ones.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJSSOE.2015010101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jssoe0:v:5:y:2015:i:1:p:1-15

Access Statistics for this article

International Journal of Systems and Service-Oriented Engineering (IJSSOE) is currently edited by Wuhui Chen

More articles in International Journal of Systems and Service-Oriented Engineering (IJSSOE) from IGI Global
Bibliographic data for series maintained by Journal Editor ().