Mubarak Mohammad

Learn More
Existing architecture description languages mainly support the specification of the structural elements of the system under design. These languages have either only a limited support or no support to specify non-functional requirements. In a component-based development of trustworthy systems, the trustworthiness properties must be specified at the(More)
Software systems are increasingly becoming ubiquitous affecting the way we experience the world. Embedded software systems, especially those used in smart devices, have become an essential constituent of the technological infrastructure of modern societies. Such systems, in order to be trusted in society, must be proved to be trustworthy. Trustworthiness is(More)
This paper presents a formal methodology for the development of trustworthy real-time reactive systems (RTRS). Safety and security are considered as the two significant properties for trustworthy RTRS. The paper presents an overview of a component-based modeling that involves formal descriptions for trustworthy components. Then, Formal rules are introduced(More)
In this paper a formal description of trustworthy real-time reactive components is given. Component templates are defined and components are defined as instances of a template. A template consists of a structure part and a contract part. All components of a template share the structural and contractual properties while differing in their architectural(More)
In service oriented computing, service providers and service requesters are main interacting entities. A service provider publishes the services it wishes to make public using service registries. A service requester initiates a discovery process to find the service that meets its requirements using the service registries. Current approaches for the(More)
Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web services composition tool can automate this process. The challenge lies in the creation of an automatic service composition facility which will tap into the potential of Web services, interact(More)
Developing trustworthy software systems that are complex, and used by a large heterogenous population of users is a challenging task. Component-based software engineering (CBSE) has many attractive features that can provide an effective solution to these challenging issues. However, the essential requirements of CBSE have not been met in the current(More)
Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover , they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through(More)