loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ikbel Krichen ; Imen Loulou and Ahmed Hadj Kacem

Affiliation: University of Sfax, Tunisia

ISBN: 978-989-8425-77-5

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.

PDF ImageFull Text

Download
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 3.80.218.53

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, 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},
}

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
AU - Krichen I.
AU - Loulou I.
AU - Hadj Kacem A.
PY - 2011
SP - 286
EP - 289
DO - 10.5220/0003495402860289

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.