Abstract
In domains such as automotive or avionics, software cannot any longer be produced as a single chunk, and engineers are contemplating the possibility of componentizing it. A component only exhibits its provided or required interfaces, which must be enriched to take into account extra-functional aspects. This defines multi-level contracts between components allowing one to properly wire them. Instead of defining an integrated language only making available a limited set of concepts for modeling extra-functional aspects, we propose to handle open-ended modeling of extra-functional aspects of real-time and embedded systems, based on meta-modeling techniques and Model Driven Engineering (MDE) for reifying their semantics. Then the designer can use off-the-shelf tools to perform various kinds of design time analysis.
This work has been partially supported by the Artist2 Network of Excellence on Embedded Systems Design (IST-004527)
Chapter PDF
Similar content being viewed by others
REFERENCES
F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Paserone, and A. Sangiovanni-Vineentelli. Metropolis: an integrated electronic system design environment. IEEE Computer, 36(4), April 2003.
A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making components contract aware. IEEE Computer, 13(7), July 1999.
Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benot Langlois, and Damien Pollet. Reflective model driven engineering. In G. Booch P. Stevens, J. Whittle, editor, Proceedings of UML 2003, volume 2863of LNCS, pages 175–189, San Prancisco, October 2003. Springer.
Olivier Defour, Jean-Marc Jézéquel, and Nol Plouzeau. Applying CLP to predict extra-functional properties of component-based models. In J. S. de Boer, editor, Proceedings of Logic Programming: 20th International Conference, ICLP 2004,number 3132 in LNCS. Springer Heidelberg, September 2004.
Olivier Defour, Jean-Marc Jézéquel, and Nol Plouzeau. Extra-functional contract support in components. In Proc. of International Symposium on Component-based Software Engineering (CBSET), May 2004.
Aagedal J.O. Quality of service support in development of distributed systems.PhD thesis, University of Oslo, Dept. Informatics, March 2001.
Wallnau K. Volume iii: A technology for predictable assembly from certifiable compo-nents. Technical Report CMU/SEI-2003-TR-009, SEI, 2003.
Jacques Klein, Loic Hélouet, and Jean-Marc Jézéquel. Semantic-based weaving of scenarios. In proceedings of the 5th International Conference on Aspect-Oriented Software Development (AOSD’06), Bonn, Germany, March 2006.ACM.
B. Meyer. Applying design by contract. IEEE Computer (Special Issue on Inheritance & Classification), 25(10):40–52, October 1992.
Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel. Weaving executability into object-oriented recta-languages. In S. Kent L. Briand, editor, Proceedings of MODELS/UML’2005, volume 3713 of LNCS, pages 264–278, Montego Bay, Jamaica, October 2005. Springer.
Reusnerr R.H., Schmidt H.W., and Poernomo I.H. Reliability prediction for component-based software architecture. Journal of Systems and Software,66:241_252, 2003.
C. Szyperski. Component software, beyond object-oriented programming.Addison-Wesley, 2nd edition, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Jézéquel, JM. (2006). Reifying the Semantic Domains of Component Contracts. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds) From Model-Driven Design to Resource Management for Distributed Embedded Systems. DIPES 2006. IFIP International Federation for Information Processing, vol 225. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39362-9_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-39362-9_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39361-2
Online ISBN: 978-0-387-39362-9
eBook Packages: Computer ScienceComputer Science (R0)