loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ikbel Krichen ; Imen Loulou and Ahmed Hadj Kacem

Affiliation: University of Sfax, Tunisia

Keyword(s): Software architecture, Publish/subscribe style, Correct by design, Formal specification, Behavioral properties.

Related Ontology Subjects/Areas/Topics: Distributed and Mobile Software Systems ; Distributed Architectures ; Embedded Communications Systems ; Software Architectures ; Software Engineering ; Telecommunications

Abstract: We propose in this paper a formal modeling approach of behavioral properties of publish/subscribe architectural styles. We extend P/S-CoM formal approach that concentrates only on correctly design the structures of publish/subscribe styles and deals with dynamic views. We put the emphasis on the state notion for component types. Moreover, we focus on behavioral properties including lossless of exchanged events, delivery semantics and ordering of notifications. These properties are coded in Z notation.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.81.157.133

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Krichen, I.; Loulou, I. and Hadj Kacem, A. (2011). FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES. In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT; ISBN 978-989-8425-77-5; ISSN 2184-2833, SciTePress, pages 286-289. DOI: 10.5220/0003495402860289

@conference{icsoft11,
author={Ikbel Krichen. and Imen Loulou. and Ahmed {Hadj Kacem}.},
title={FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT},
year={2011},
pages={286-289},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003495402860289},
isbn={978-989-8425-77-5},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT
TI - FORMAL MODELING OF BEHAVIORAL PROPERTIES TO SUPPORT CORRECT BY DESIGN PUBLISH/SUBSCRIBE ARCHITECTURAL STYLES
SN - 978-989-8425-77-5
IS - 2184-2833
AU - Krichen, I.
AU - Loulou, I.
AU - Hadj Kacem, A.
PY - 2011
SP - 286
EP - 289
DO - 10.5220/0003495402860289
PB - SciTePress