An Analysis of Some Aspects of Component-Based Programming for Selecting Appropriate Categorical Structures as their Models

Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary for those who are working with theoretical background in computer science. Categories are interesting mathematical structures which have become important for constructing the models of programs and program systems. In this paper we formulate an introductory analysis of some aspects of component-based programming for selecting appropriate categorical structures as their models.

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

[2]  Johan Georg Granström.  A New Paradigm for Component-based Development , 2012, J. Softw..

[3]  David Notkin,et al.  Architectural Reasoning in ArchJava , 2002, ECOOP.

[4]  Jan Bosch,et al.  Component-Oriented Programming , 2006, ECOOP Workshops.

[5]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

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

[7]  Luigia Petre.  Components vs. Objects , 2000 .

[8]  Frank D. Valencia,et al.  Formal Methods for Components and Objects , 2002, Lecture Notes in Computer Science.

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

[10]  H. Conrad Cunningham,et al.  Java in the box: implementing the BoxScript component language , 2007, ACM-SE 45.

[11]  William Steingartner,et al.  A LOOK AT OBSERVE, ORIENT, DECIDE AND ACT FEEDBACK LOOP, PATTERN-BASED STRATEGY AND NETWORK ENABLED CAPABILITY FOR ORGANIZATIONS ADAPTING TO CHANGE , 2013 .

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

[13]  H. Conrad Cunningham,et al.  BoxScript: a component-oriented language for teaching , 2005, ACM-SE 43.

[14]  Valerie Novitzká,et al.  Considerations and Ideas in Component Programming - Towards to Formal Specification , 2014 .

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

[16]  Xin Chen,et al.  A model of component-based programming , 2007, FSEN'07.

[17]  Roberto Di Cosmo,et al.  Strong dependencies between software components , 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.

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

[19]  Gerard Florin,et al.  Design by Contract: analysis of hidden dependencies in component based application , 2004, J. Object Technol..

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

[21]  Romain ROUVOY,et al.  Leveraging Component-Oriented Programming with Attribute-Oriented Programming , 2006 .

[22]  Chouki Tibermacine,et al.  A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language , 2014, CBSE '14.

[23]  João Costa Seco,et al.  Component J: A component-based programming language with dynamic reconfiguration , 2008, Comput. Sci. Inf. Syst..

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

[25]  Marianne Huchard,et al.  Foundations of a simple and unified component-oriented language , 2008, Comput. Lang. Syst. Struct..

[26]  Vivien Quéma,et al.  Dream types: a domain specific type system for component-based message-oriented middleware , 2006 .

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