Considerations and Ideas in Component Programming - Towards to Formal Specification

Programming in present can be characterized as composition of some prepared components. New market is opened for providing components for various applications. However, every component library use different standards, methods and requirements for using its products. Another problem is different terminology and a lack of some common standards. This situation can be compared with the period before setting open systems standards. We assume that analyzing of common principles of component programming can help to find unified formal description and it enables to construct formal models serving for solving and preventing troubles in composing appropriate components into working program systems. In our paper we try to present our analysis and ideas for achieving these aims.

[1]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[2]  Jim Q. Ning.  A Component Model Proposal , 1999 .

[3]  Jun Han.  An Approach to Software Component Specification , 1999 .

[4]  O. Kwon,et al.  Component-Based Development Environment : An Integrated Model of Object-Oriented Techniques and Other Technologies , 1999 .

[5]  Michael Main.  Data Structures and Other Objects Using C , 1994 .

[6]  Peter Wegner,et al.  Concepts and paradigms of object-oriented programming , 1990, OOPS.

[7]  Luís Soares Barbosa,et al.  Components as coalgebras , 2001 .

[8]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[9]  Kerry Raymond.  Reference Model of Open Distributed Processing (RM-ODP): Introduction , 1995 .

[10]  Valerie Novitzká,et al.  Intrusion detection system episteme , 2012, Central European Journal of Computer Science.

[11]  L. Ovsenik,et al.  Road line detection based on Optical Correlator , 2013, 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).

[12]  Leonardo Mariani,et al.  A Fault Taxonomy for Component-Based Software , 2003, TACoS.

[13]  Hany H. Ammar,et al.  A Model for Classifying Component Interfaces , 1999 .

[14]  Valerie Novitzká,et al.  Towards the Knowledge in Coalgebraic Model of IDS , 2014, Comput. Informatics.

[15]  Wil M. P. van der Aalst,et al.  Service Interaction: Patterns, Formalization, and Analysis , 2009, SFM.

[16]  Stefan Van Baelen,et al.  Embedded software development: Components and contracts , 2001 .

[17]  Mikio Aoyama,et al.  New Age of Software Development: How Component-Based Software Engineering Changes the Way of Software Development ? , 1998 .

[18]  J. Christian Attiogbé,et al.  Multilevel Contracts for Trusted Components , 2010, WCSI.

[19]  Kees M. van Hee,et al.  Component-based software architectures: a framework based on inheritance of behavior , 2002, Sci. Comput. Program..

[20]  Axel Legay,et al.  A Modal Interface Theory for Component-based Design , 2011, Fundam. Informaticae.

[21]  Roberto Passerone,et al.  Multiple Viewpoint Contract-Based Specification and Design , 2008, FMCO.

[22]  Valerie Novitzká,et al.  Resource-oriented Programming Based on Linear Logic , 2007 .

[23]  Wojtek Kozaczynski.  Composite Nature of Component , 1999 .

[24]  Matthew B. Dwyer,et al.  Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[25]  G. Florin,et al.  Design by contracts : Analysis of hidden dependencies in component based applications , 2004 .