User Settings
Open AccessArticle

Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures

Heinz Schmidt,Poernomo, I,Reussner, R-2001-01-01-RMIT Research Repository (RMIT University Library)
1

TL;DRAbstract

Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures --- in particular, those built upon newer middleware, such as implementations of Java's EJB specification, or Microsoft's COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of

Chat with Paper

AI Agents for this Paper

Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures --- in particular, those built upon newer middleware, such as implementations of Java's EJB specification, or Microsoft's COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of

Keywords

Computer scienceSoftware engineeringMiddleware (distributed applications)Software architectureDesign by contractArchitectural styleResource-oriented architectureSoftware development

Chat

Click to start Chat