Detecting architectural mismatches during systems composition

ion for describing architectural styles and/or systems characteristics (see also section 1.0). The conceptual features he used were: 1. Dynamism. Earlier we discussed how the topology of software can be dynamic, adding and removing concurrent threads as it executes. Some styles constrain the topology to be static (i.e. the number of concurrent threads remains constant), while other styles do not. A style is dynamic if and only if it allows non-blocking control connectors (spawns). 2. Supported data transfers. Of the styles we studied, all of them achieved data transfers through one (or more) of three mechanisms: explicit data connectors, an implicit global network of data connectors, or shared data variables. “Thing” Data Control Object Data Control Port Data store Procedure Process Filter Object Socket Event queue Shared data Pipe Circuit Call Spawn

[1]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[2]  W. Richard Stevens,et al.  Unix network programming , 1990, CCRV.

[3]  David L. Ripps An implementation guide to real-time programming , 1989 .

[4]  Ian C. Pyle,et al.  Real-Time Systems: Investigating Industrial Practice , 1993 .

[5]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[6]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[7]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[8]  Xiaoping Jia ZTC: A Type Checker for Z User's Guide , 1994 .

[9]  Rose F. Gamble,et al.  Blackboard systems formalized within a software architectural style , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[10]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[11]  Frederick Hayes-Roth,et al.  Rule-based systems , 1985, CACM.

[12]  Cristina Gacek Exploiting domain architectures in software reuse , 1995, SSR '95.

[13]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[14]  David Garlan,et al.  Architectural Styles, Design Patterns, And Objects , 1997, IEEE Softw..

[15]  Peter Freeman,et al.  Classifying Software for Reusability , 1987, IEEE Software.

[16]  Mary Shaw,et al.  A field guide to boxology: preliminary classification of architectural styles for software systems , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[17]  David Garlan An Introduction to the Aesop System , 1995 .

[18]  Thomas E. Bihari,et al.  Object-oriented real-time systems: concepts and examples , 1992, Computer.

[19]  R. Kurki-Suonio Stepwise design of real-time systems , 1991, SIGSOFT '91.

[20]  Dan Harkey,et al.  Essential client/server survival guide , 1994 .

[21]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[22]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[23]  David C. Luckham,et al.  Rapide: A language and toolset for simulation of distributed systems by partial orderings of events , 1997, Partial Order Methods in Verification.

[24]  Ronald A. Radice,et al.  Software Engineering: An Industrial Approach , 1988 .

[25]  B. Boehm Control. Honeywell Technology Center, Minneapolis, MN. [GACE95] C. Gacek, A. Abd-Allah, B. Clark, B. Boehm. "On the Definition of Software Architecture", , 1996 .

[26]  Jeannette M. Wing,et al.  Signature matching: a key to reuse , 1993, SIGSOFT '93.

[27]  Hassan Gomaa Software design methods for concurrent and real-time systems , 1993, SEI series in software engineering.

[28]  L. C. Westphal Sourcebook Of Control Systems Engineering , 1995 .

[29]  Dennis McLeod,et al.  An Approach to Resolving Semantic Heterogenity in a Federation of Autonomous, Heterogeneous Database Systems , 1993, Int. J. Cooperative Inf. Syst..

[30]  J.A. Stankovic,et al.  Misconceptions about real-time computing: a serious problem for next-generation systems , 1988, Computer.

[31]  David Garlan,et al.  Acme: an architecture description interchange language , 1997, CASCON.

[32]  Troy Bryan Downing Java RMI: Remote Method Invocation , 1998 .

[33]  David Garlan,et al.  Formalizing Architectural Connection , 1994, ICSE.

[34]  Richard N. Taylor,et al.  Formal Modeling of Software Architectures at Multiple Levels of Abstraction , 1996 .

[35]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[36]  Leonard J. Bass,et al.  Classifying architectural elements as a foundation for mechanism matching , 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

[37]  David Garlan,et al.  Style-based reuse for software architectures , 1996, Proceedings of Fourth IEEE International Conference on Software Reuse.

[38]  Dan Harkey,et al.  Instant CORBA , 1997 .

[39]  Dennis McLeod,et al.  A federated architecture for information management , 1985, TOIS.

[40]  Robert A. Riemenschneider,et al.  Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies , 1997 .

[41]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

[42]  Jeff Magee,et al.  Dynamic structure in software architectures , 1996, SIGSOFT '96.

[43]  John Nicholls,et al.  Z notation , 1994 .

[44]  H. P Nii,et al.  Blackboard Systems , 1986 .