Semantic web service automation with lightweight annotations

Web services, both RESTful and WSDL-based, are an increasingly important part of the Web. With the application of semantic technologies, we can achieve automation of the use of those services. In this paper, we present WSMO-Lite and MicroWSMO, two related lightweight approaches to semantic Web service description, evolved from the WSMO framework. WSMO-Lite uses SAWSDL to annotate WSDL-based services, whereas MicroWSMO uses the hRESTS microformat to annotate RESTful APIs and services. Both frameworks share an ontology for service semantics together with most of automation algorithms

Non-functional requirements: size measurement and testing with COSMIC-FFP

The non-functional requirements (NFRs) of software systems are well known to add a degree of uncertainty to process of estimating the cost of any project. This paper contributes to the achievement of more precise project size measurement through incorporating NFRs into the functional size quantification process. We report on an initial solution proposed to deal with the problem of quantitatively assessing the NFR modeling process early in the project, and of generating test cases for NFR verification purposes. The NFR framework has been chosen for the integration of NFRs into the requirements modeling process and for their quantitative assessment. Our proposal is based on the functional size measurement method, COSMIC-FFP, adopted in 2003 as the ISO/IEC 19761 standard. Also in this paper, we extend the use of COSMIC-FFP for NFR testing purposes. This is an essential step for improving NFR development and testing effort estimates, and consequently for managing the scope of NFRs. We discuss the merits of the proposed approach and the open questions related to its design

Scope Management of Non-Functional Requirements

In order to meet commitments in software projects, a realistic assessment must be made of project scope. Such an assessment relies on the availability of knowledge on the user-defined project requirements and their effort estimates and priorities, as well as their risk. This knowledge enables analysts, managers and software engineers to identify the most significant requirements from the list of requirements initially defined by the user. In practice, this scope assessment is applied to the Functional Requirements (FRs) provided by users who are unaware of, or ignore, the Non-Functional Requirements (NFRs). This paper presents ongoing research which aims at managing NFRs during the software development process. Establishing the relative priority of each NFR, and obtaining a rough estimate of the effort and risk associated with it, is integral to the software development process and to resource management. Our work extends the taxonomy of the NFR framework by integrating the concept of the "hardgoal". A functional size measure of NFRs is applied to facilitate the effort estimation process. The functional size measurement method we have chosen is COSMICFFP, which is theoretically sound and the de facto standard in the software industry

Applying Block Chain Technologies to Digital Voting Algorithms

Voting is a fundamental aspect to democracy. Many countries have advanced voting systems in place, but many of these systems have issues behind them such as not being anonymous or verifiable. Additionally, most voting systems currently have a central authority in charge of counting votes, which can be prone to corruption. We propose a voting system which mitigates many of these issues. Our voting system attempts to provide decentralization, pseudoanonymity, and verifiability. For our system, we have identified the requirements, implemented the backbone of the system, recognized some of its shortcomings, and proposed areas of future work on this voting system

Early Quantitative Assessment of Non-Functional Requirements

Non-functional requirements (NFRs) of software systems are a well known source of uncertainty in effort estimation. Yet, quantitatively approaching NFR early in a project is hard. This paper makes a step towards reducing the impact of uncertainty due to NRF. It offers a solution that incorporates NFRs into the functional size quantification process. The merits of our solution are twofold: first, it lets us quantitatively assess the NFR modeling process early in the project, and second, it lets us generate test cases for NFR verification purposes. We chose the NFR framework as a vehicle to integrate NFRs into the requirements modeling process and to apply quantitative assessment procedures. Our solution proposal also rests on the functional size measurement method, COSMIC-FFP, adopted in 2003 as the ISO/IEC 19761 standard. We extend its use for NFR testing purposes, which is an essential step for improving NFR development and testing effort estimates, and consequently for managing the scope of NFRs. We discuss the advantages of our approach and the open questions related to its design as well

Intelligent Design

When designers obtain exclusive intellectual property (IP) rights in the functional aspects of their creations, they can wield these rights to increase both the costs to their competitors and the prices that consumers must pay for their goods. IP rights and the costs they entail are justified when they create incentives for designers to invest in new, socially valuable designs. But the law must be wary of allowing rights to be misused. Accordingly, IP law has employed a series of doctrinal and costly screens to channel designs into the appropriate regime—copyright law, design patent law, or utility patent law—depending upon the type of design. Unfortunately, those screens are no longer working. Designers are able to obtain powerful IP protection over the utilitarian aspects of their creations without demonstrating that they have made socially valuable contributions. They are also able to do so without paying substantial fees that might weed out weaker, socially costly designs. This is bad for competition and bad for consumers. In this Article, we integrate theories of doctrinal and costly screens and explore their roles in channeling IP rights. We explain the inefficiencies that have arisen through the misapplication of these screens in copyright and design patent laws. Finally, we propose a variety of solutions that would move design protection toward a successful channeling regime, balancing the law’s needs for incentives and competition. These proposals include improving doctrinal screens to weed out functionality, making design protection more costly, and preventing designers from obtaining multiple forms of protection for the same design

An investigation into the notion of non-functional requirements

Although Non-Functional Requirements (NFRs) are recognized as very important contributors to the success of software projects, studies to date indicate that there is still no general consensus in the software engineering community regarding the notion of NFRs. This paper presents the result of an extensive and systematic analysis of the extant literature over three NFRs dimensions: (1) definition and terminology; (2) types; and (3) relevant NFRs in various types of systems and application domains. Two different perspectives to consider NFRs are described. A comprehensive catalogue of NFRs types as well as the top five NFRs that are frequently considered are presented. This paper also offers a novel classification of NFRs based on types of systems and application domains. This classification could assist software developers in identifying which NFRs are important in a particular application domain and for specific systems. © 2010 ACM

Automatic Service Agreement Negotiators in Open Commerce Environments

There is a steady shift in e‑commerce from goods to services that must be provisioned according to service agreements. This study focuses on software frameworks to develop automated negotiators in open commerce environments. Analysis of the litera‑ ture on automated negotiation and typical case studies led to a catalog of 16 objective requirements and a conceptual model that was used to compare 11 state-of-the-art software frameworks. None of them was well suited for negotiating service agreements in open commerce environments. This motivated work on a reference architecture that provides the foundations to develop negotiation systems that address the previous requirements. A software framework was devised to validate the proposal by means of case studies. The study contributes to the fields of requirements engineering and software design, and is expected to support future efforts of practitioners and researchers because its findings bridge the gap among the existing automated negotiation techniques and lay the founda‑ tions for developing new software frameworksMinisterio de Educación y Ciencia TIN2006–00472Ministerio de Ciencia e Innovación TIN2009–07366Junta de Andalucía P07-TIC-2533 (Isabel)Ministerio de Educación y Ciencia TIN2007–64119Junta de Andalucía P07-TIC-02602Junta de Andalucía P08-TIC-4100Ministerio de Ciencia e Innovación TIN2008–04718-