%0 Journal Article %1 baumeister_06_component %A Baumeister, Hubert %A Hacklinger, Florian %A Hennicker, Rolf %A Knapp, Alexander %A Wirsing, Martin %B Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005) %D 2006 %J Electronic Notes in Theoretical Computer Science %K 2006 model_checking %P 75--96 %R 10.1016/j.entcs.2006.05.015 %T A Component Model for Architectural Programming %U http://dx.doi.org/10.1016/j.entcs.2006.05.015 %V 160 %X Software architectures and modular composition help in constructing large-scale software systems. Current programming languages provide only insufficient support for software architecture. Ärchitectural programming" overcomes the problem of architectural erosion in implementations by integrating concepts of software architecture into programming languages. We present the new programming language Java/A as an instance for Java-based architectural programming and show how Java/A integrates architectural notions such as components, connectors, and assemblies into Java. A main asset of Java/A is its underlying abstract component model which provides the basis for reasoning about software components and assemblies. We give a formalisation of the abstract component model in terms of transition systems and states as algebras, and prove a consistency result for assemblies.

@article{baumeister_06_component, abstract = {Software architectures and modular composition help in constructing large-scale software systems. Current programming languages provide only insufficient support for software architecture. "Architectural programming" overcomes the problem of architectural erosion in implementations by integrating concepts of software architecture into programming languages. We present the new programming language Java/A as an instance for Java-based architectural programming and show how Java/A integrates architectural notions such as components, connectors, and assemblies into Java. A main asset of Java/A is its underlying abstract component model which provides the basis for reasoning about software components and assemblies. We give a formalisation of the abstract component model in terms of transition systems and states as algebras, and prove a consistency result for assemblies.}, added-at = {2009-02-11T20:55:23.000+0100}, author = {Baumeister, Hubert and Hacklinger, Florian and Hennicker, Rolf and Knapp, Alexander and Wirsing, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2edd783b13611172de8ceac41938af09e/leonardo}, booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)}, citeulike-article-id = {2299496}, doi = {10.1016/j.entcs.2006.05.015}, interhash = {79d830794e84b4b9c7b837011bb3d6c0}, intrahash = {edd783b13611172de8ceac41938af09e}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {2006 model_checking}, month = {August}, pages = {75--96}, posted-at = {2008-01-28 21:08:36}, priority = {2}, timestamp = {2009-02-11T20:55:23.000+0100}, title = {A Component Model for Architectural Programming}, url = {http://dx.doi.org/10.1016/j.entcs.2006.05.015}, volume = 160, year = 2006 }