A framework for component-based construction

@article{Sifakis2005AFF,
  title={A framework for component-based construction},
  author={Joseph. Sifakis},
  journal={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)},
  year={2005},
  pages={293-299}
}
  • Joseph. Sifakis
  • Published 2005 in
    Third IEEE International Conference on Software…
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… CONTINUE READING
Highly Cited
This paper has 101 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 60 extracted citations

Component based computational model for bipedal locomotion

Robotics and Autonomous Systems • 2016
View 16 Excerpts
Highly Influenced

Theoretical Aspects of Computing – ICTAC 2013

Lecture Notes in Computer Science • 2013
View 6 Excerpts
Highly Influenced

A Contract Framework for Reasoning about Safety and Progress

Imene Ben-Hafaiedh, Susanne Graf, Sophie Quinton
2010
View 4 Excerpts
Highly Influenced

A formal contract-based model for component-based real-time systems

2017 4th NAFOSTED Conference on Information and Computer Science • 2017
View 4 Excerpts
Highly Influenced

Model Composition in Rosetta

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems • 2011
View 3 Excerpts
Highly Influenced

101 Citations

01020'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 101 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 17 references

Tutorial: an overview of UML 2.0

Proceedings. 26th International Conference on Software Engineering • 2004
View 6 Excerpts
Highly Influenced

Composition for component-based modeling

Sci. Comput. Program. • 2005
View 2 Excerpts

Priority systems

G. Gössler, J. Sifakis
proceedings of FMCO’03, LNCS 3188, pages 314–329 • 2004
View 1 Excerpt

Overview of the Ptolemy Project

E. Lee
Technical Memorandum UCB/ERL • 2003
View 2 Excerpts

Similar Papers

Loading similar papers…