An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusable components from existing systems, most have focused on implementation code, rather than software architecture. In this paper, we apply architectural slicing to extract reusable architectures from existing architectur...

Formalizing the description of software systems helps to detect the presence of architectural mismatches that can arise when assembling software components together. In this paper we identify three causes of architectural mismatches: incompatibility between two components due to a single interaction, incompatibility between two components due to the combination of several interactions, and lack...

In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there lacks of sufficient support for architectural specifications across HW/SW boundaries. Such an architectural specification ought to capture both hardware and software components and their interactions, and facilitate effective design exploitation of HW/SW trade-offs and scalable HW/SW co-verification. In this p...

Urban commercial quarters such as bazaars can be found all over the world, from Turkey toEgypt, from Tajikistan to Iran. In Iranian cities, bazaars have very specific and unique architectural features and theyhave played an important role as economic and social engines. In addition, bazaars are an integral part of the culturalgeography of Iran and have contributed to the definition of urban dev...

The JAVA/A approach aims at semantically well-founded and coherent modelling and programming concepts for components: based on sound theoretical foundations it enhances the widely used UML 2.0 component model by modular analysis and verification techniques and a Java-based architectural programming language. Our JAVA/A component model is inspired by ideas from “Real-Time Object Oriented Modelin...

Representational state transfer (REST) is an abstraction of the architecture of the World Wide Web; more precisely, REST is an architectural style consisting of a coordinated set of architectural constraints applied to components, connectors, and data elements, within a distributed hypermedia system. REST ignores the details of component implementation and protocol syntax in order to focus on t...

The formal language LOTOS [1] describes distributed systems by the temporal ordering of interactions between architectural components named “process”. LOTOS supports composition operators for architectural design and process refinement, rendezvous communication, and a black-box d escription style. With its verification and testing framework based on Labelled Transition Systems, LOTOS helps buil...

Software architects design systems to achieve quality attributes like security, reliability, and performance. Key to achieving these quality attributes are design constraints governing how components of the system are configured, communicate and access resources. Unfortunately, identifying, specifying, communicating and enforcing important design constraints – achieving architectural control – ...

This technical report considers the problem of developing dependable component-based software systems through an architectural approach, which combines fault prevention, fault removal, and fault tolerance techniques. The architecture-centred solution comprises a rigorous approach, which systematises the verification and validation of fault tolerant systems. Using B-Method and CSP, we analyse th...