loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
A Framework for Component-based Construction Extended Abstract
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
ASCII Text
x 
 
Joseph Sifakis, "A Framework for Component-based Construction Extended Abstract," Software Engineering and Formal Methods, IEEE International Conference on, pp. 293-300, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2005.3,
author = {Joseph Sifakis},
title = {A Framework for Component-based Construction Extended Abstract},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2435-4},
pages = {293-300},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.3},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - A Framework for Component-based Construction Extended Abstract
SN - 0-7695-2435-4
SP293
EP300
A1 - Joseph Sifakis,
PY - 2005
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Joseph Sifakis, VERIMAG Laboratory, France

We present an overview of results developed mainly at Verimag, by the author and his colleagues, on a framework for component-based construction, characterized by the following:

  • The behavior of atomic components is represented by transition systems.
  • Components are built from a set of atomic components by using "glue" operators
  • For each component, it is possible to separate its behavior from its structure, due to specific properties of glue operators.

We show an instance of this framework, which combines two independent classes of glue operators, Interaction Models and Priorities. The combination of interaction models and priorities is expressive enough to encompass heterogeneous interaction and execution. We show that separation between behavior and structure is instrumental for correctness-byconstruction. Finally, we discuss new research problems related to a structure-dependent notion of expressiveness.

Citation:
Joseph Sifakis, "A Framework for Component-based Construction Extended Abstract," sefm, pp.293-300, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.