Nowadays, the significant advancement of mobile technologies has led to the possibility of accessing web services in a pervasive way and semantic web service discovery approaches seem to be the most promising approach...
详细信息
Nowadays, the significant advancement of mobile technologies has led to the possibility of accessing web services in a pervasive way and semantic web service discovery approaches seem to be the most promising approach to perform semantic matching. The proliferation of web services with similar functionalities is increasing rapidly. Thus, differentiation of the characteristics of web service offered has become more crucial. Without considering non-functional properties (NFPs) such as user requirement and quality standard of web services, it may result to irrelevant services to the users' need in mobile computing. Mobile users may discover unusable web services invoked, due to the device compatibility issues and lack of quality standard information in service description. This paper proposes WSMO-M(Mobile), an enhancement of WSMO to describe NFPs as a context and Quality of Web Service (QoWS) information for mobile computing environment. Initially, for annotating web service description, the context and QoWS models are specified by using Web Service Modeling Ontology (WSMO). Semantic matchmaking and degree of match calculation are also presented to define the importance of non-functional properties in mobile computing during the discovery and selection of web services. Finally, this paper demonstrates the applicability of the enhancement through a simple case study.
The ability to predict reliability of the software during its architectural design not only helps in saving cost but also helps to improve its reliability. With the growing size and complexity of software applications...
详细信息
The ability to predict reliability of the software during its architectural design not only helps in saving cost but also helps to improve its reliability. With the growing size and complexity of software applications researchers have focused that how to get software reliability through its architecture. Architectural design phase is the stage where one can evaluate either the developed software will fulfill the requirements or not; that's why a highly reliable method is required to analyze and predict the software's architectural reliability. Reliability prediction at architecture level is a challenging task because the architecture reliability depends on the reliability of the individual component, their size, complexity, implemented technology and the interaction among the components. In this paper we have compared the existing reliability prediction models based on our criteria. The purpose is to discover that which one is the best and what is the shortcoming of these models. We also have suggested the research activities needed to overcome these shortcomings.
A critical aspect of applications with wireless sensor networks is network lifetime. Therefore, judicious power management and scheduling can effectively extend operational time. One way to prolong the network lifetim...
详细信息
A critical aspect of applications with wireless sensor networks is network lifetime. Therefore, judicious power management and scheduling can effectively extend operational time. One way to prolong the network lifetime is to divide the network into cover sets, where each cover set is capable of monitoring all targets. In this paper, we propose a novel and efficient algorithm which considers both residual energy and overlapping target to generate the maximum number of cover sets. Additionally, the algorithm can generate both disjoint and non-disjoint cover sets. Also, the proposed algorithm does not need information about targets which each sensor covers, or the sensors which a target is covered by them, in advance. Through simulation, we show that the proposed algorithm outperforms other similar algorithms in term of execution time, while it produces comparable results in term of number of generated cover sets.
softwareengineering (SE) and human-computer interaction (HCI) are often regarded as two separate entities while the fact is the two share many similarities and should affect each other to produce a better product or ...
详细信息
softwareengineering (SE) and human-computer interaction (HCI) are often regarded as two separate entities while the fact is the two share many similarities and should affect each other to produce a better product or software. In this paper, we compare two component frameworks that integrate both HCI and SE together. Our aim is to understand how each framework considers usability in the software development, and, to identify the strengths and weaknesses of both frameworks. The two component frameworks are IKnowU and UBAF. Comparison of these two frameworks can be useful for researchers as we can the four important criteria - model, architecture, usability work and process, that make of a framework which has usability as its paramount objective.
Model-driven code generation is being increasingly applied to developing softwaresystems as a result of its recognition as an instrument to enhance the produced software. At the same time, aspect-oriented programming...
详细信息
Model-driven code generation is being increasingly applied to developing softwaresystems as a result of its recognition as an instrument to enhance the produced software. At the same time, aspect-oriented programming languages have come to the mainstream of software development due to their distinctive features to provide better modularization and separation of concerns. As a consequence of this prevalence and recognition of its impact on improving several software quality factors, different approaches have been proposed in literature to generate aspect-oriented model-driven code. This paper provides a comparative review of some existing approaches and discusses important issues and directions in this particular area. The results of this survey indicate aspect-oriented model-driven code generation being a rather immature area. Majority of approaches address structure diagrams only, a fact that limits them to partial code generation. There is a need for research that incorporates behavior diagrams, in order to achieve long term goal of full code generation from aspect-oriented models.
Open Source software is competing successfully in many areas. The commercial sector is recognizing the benefits offered by Open Source development methods that lead to high quality software. Can these benefits be real...
详细信息
Open Source software is competing successfully in many areas. The commercial sector is recognizing the benefits offered by Open Source development methods that lead to high quality software. Can these benefits be realized in specialized domains where expertise is rare? This study examined discussion forums of an Open Source project in a particular specialized application domain - electronic medical records - to see how development roles are carried out, and by whom. We found through a qualitative analysis that the core developers in this system include doctors and clinicians who also use the product. We also found that the size of the community associated with the project is an order of magnitude smaller than predicted, yet still maintains a high degree of responsiveness to issues raised by users. The implication is that a few experts and a small core of dedicated programmers can achieve success using an Open Source approach in a specialized domain.
The successful implementation of Service-Oriented development of Distributed Embedded Real-time systems (DERTS) in the recent years has proved the importance of Service-Orientation over previous paradigms. However, ef...
详细信息
The successful implementation of Service-Oriented development of Distributed Embedded Real-time systems (DERTS) in the recent years has proved the importance of Service-Orientation over previous paradigms. However, efforts are still needed on systematic Service-Oriented design of DERTS, especially on the modelling of DERTS. The UML standard profile MARTE can be used for modelling of embedded real-time system while UML standard profile SoaML can be used to represent Service-Oriented concepts. Therefore, a thorough investigation of both standard profiles is needed to determine which parts of these profiles are useful for Service-Oriented DERTS development. This paper investigates these profiles in order to highlight the portions of the two profiles and provides some suggestions that can be utilized for Service-Oriented modelling of DERTS. The results of this investigation would be useful in developing a Service-Oriented based meta-model for DERTS.
Embedded systems are proliferating in vast application areas of life with ever increasing multifarious functionalities. Due to the focus of research and development on growing software issues, the naturalness of physi...
详细信息
Embedded systems are proliferating in vast application areas of life with ever increasing multifarious functionalities. Due to the focus of research and development on growing software issues, the naturalness of physical interface remains neglected resulting in interaction complexities for the user. In this work we investigate the complexities of three embedded systems including; washing machine; camera; and MP3 player according to the principles of physicality. By assigning quantitative values to each physicality principle, it is evident from the analysis that inverse action and compliant interaction are two powerful principles that if applied properly augment the natural interaction with the device. As the ubiquitous computing is knocking at the market doors, it is significant enough for the embedded system developers to incorporate the natural interaction capabilities in every day embedded devices by studying, discovering, and reducing the complexities of physical user interfaces.
As interest in adopting Cloud computing for various applications is rapidly growing, it is important to understand how these applications and systems will perform when deployed on Clouds. Due to the scale and complexi...
详细信息
As interest in adopting Cloud computing for various applications is rapidly growing, it is important to understand how these applications and systems will perform when deployed on Clouds. Due to the scale and complexity of shared resources, it is often hard to analyze the performance of new scheduling and provisioning algorithms on actual Cloud test beds. Therefore, simulation tools are becoming more and more important in the evaluation of the Cloud computing model. Simulation tools allow researchers to rapidly evaluate the efficiency, performance and reliability of their new algorithms on a large heterogeneous Cloud infrastructure. However, current solutions lack either advanced application models such as message passing applications and workflows or scalable network model of data center. To fill this gap, we have extended a popular Cloud simulator (CloudSim) with a scalable network and generalized application model, which allows more accurate evaluation of scheduling and resource provisioning policies to optimize the performance of a Cloud infrastructure.
Smart home is a relatively new technology. Originally, smart home technology was used to control environmental systems such as lighting and heating;but recently the use of smart technology has been developed so that a...
详细信息
Smart home is a relatively new technology. Originally, smart home technology was used to control environmental systems such as lighting and heating;but recently the use of smart technology has been developed so that almost any electrical component within the home can be included in the system. Complex smart home applications include three levels of control: local control, discrete-event control, and supervisory control. The local control, at the lower level, handles the operating conditions of the continuous time physical variables (e.g. temperature, light, level, etc.). The discrete-event control is meant by the asynchronous events and accordingly issues the corresponding discrete actions, based on the evolution specification. The supervisory control, at the upper level, takes care of the resources allocation, activities coordination, and deadlock avoidance. This paper proposes a technique that employs the Petri net tools to model, simulate, analyze, and control at the discrete-event level the smart home applications. Petri nets are proved to be suitable formal models that can be used to verify the operation of smart homes at the simulation level. Besides, it is very easy to get an executable version of the model for real-time implementation.
暂无评论