Developing Non-Functional Requirements for a Service-Oriented Application Platform

2011 ◽  
pp. 24-47 ◽  
Author(s):  
Daniel Gross ◽  
Eric Yu ◽  
Xiping Song
Keyword(s):  
Functional Requirements ◽  
Modeling And Analysis ◽  
Development Method ◽  
Domain Specific ◽  
Industrial Setting ◽  
Trade Offs ◽  
Analysis Technique ◽  
Service Oriented ◽  
Related Trade ◽  
Load Conditions

The challenges in developing non-functional requirements (NFRs) for an application platform go much beyond those for a single application system. To derive platform NFRs from NFR specifications of different domain applications, requirements analysts must deal with much variation of domain specific NFRs, with different deployment configurations and load conditions, with different NFR related trade-offs, as well as with different terminology and metric definitions. This chapter presents a platform NFR development method that supports dealing with the aforementioned challenges. The presented method offers a goal- and scenario-oriented modeling and analysis technique that supports dealing with qualitative and quantitative NFRs during platform NFR development in an integrated way. The platform NFR development method was used to develop NFRs of a service-oriented application platform for three different application domains in an industrial setting.

scholarly journals Unified Power Flow Controller (UPFC) Modeling and Analysis Technique by using Matlab and EMTP

2018 ◽  
Vol 1 ◽  
pp. 164-169
Author(s):  
Tariq Masood ◽  
◽  
Nasir Jameels ◽  
Suhail Aftab Qureshi ◽  
Muhammad Tajammal ◽  
...  
Keyword(s):  
Power Flow ◽  
Unified Power Flow Controller ◽  
Modeling And Analysis ◽  
Analysis Technique ◽  
Flow Controller ◽  
Power Flow Controller

Cloud-Based Intelligent User Interface for Cloud Manufacturing: Model, Technology, and Application

2015 ◽  
Vol 137 (4) ◽  
Author(s):  
Lei Ren ◽  
Jin Cui ◽  
Ni Li ◽  
Qiong Wu ◽  
Cuixia Ma ◽  
...  
Keyword(s):  
User Interface ◽  
Manufacturing Industry ◽  
Multimodal Interaction ◽  
Cloud Manufacturing ◽  
Domain Specific ◽  
Intelligent User Interface ◽  
Usability Problems ◽  
Key Characteristics ◽  
Industry Practice ◽  
Service Oriented

Cloud manufacturing is gradually transforming the way enterprises do business from traditional production-oriented manufacturing to service-oriented manufacturing. The development of cloud manufacturing in industry practice is closely related to domain-specific user experience. The huge amount of users with diverse roles and various requirements in manufacturing industry are facing great challenges of cloud system usability problems. Thus, user interface issues play a significant role in pushing this new area forward. In this paper, we discuss the key characteristics of intelligent user interface (IUI) for cloud manufacturing, i.e., naturality, smart mobility, self-configuration, and flexible customization. Further, a cloud-plus-IUI model for cloud end-users is presented. Then we discuss the enabling technologies, i.e., automatic configuration based on virtualization, context-aware adaption and recommendation, and multimodal interaction. Finally, we present SketchPart, a sketch-based pad system prototype for searching part drawings in the cloud, to show the advantages of the proposed cloud-plus-IUI solution.

An Inexpensive, Portable Machine to Facilitate Testing and Characterization of the Friction Stir Blind Riveting Process

2016 ◽  
Vol 138 (9) ◽  
Author(s):  
A Zachary Trimble ◽  
Brennan Yammamoto ◽  
Jingjing Li
Keyword(s):  
Complete Characterization ◽  
Rotational Axis ◽  
Functional Requirements ◽  
X Ray ◽  
Friction Stir ◽  
Trade Offs ◽  
X Ray Imaging ◽  
Test Parameters ◽  
Riveting Process

The expanding use of materials that are difficult to join with traditional techniques drives an urgent need, in a wide array of industries, to develop and characterize production capable joining processes. Friction stir blind riveting (FSBR) is such a process. However, full adoption of FSBR requires more complete characterization of the process. The relatively inexpensive, portable FSBR machine discussed here facilitates in situ X-ray imaging of the FSBR process, which will enhance the ability of researchers to understand and improve the FSBR process. Real-time, unobstructed, angular X-ray access drives the functional requirements and design considerations of the machine. The acute angular access provided by the machine necessitates tradeoffs in stiffness and Abbe errors. An error budget quantifies the effect of the various trade-offs on likely sensitive directions and relationships. Additionally, the machine motivates more test parameters important to machine designers (e.g., parallelism and runout) that have not yet been explored in the literature. Ultimately, a machine has been developed, which has a single rotational axis that translates parallel to the rotational axis, can be built for under $12,000, has a mass of less than 110 kg, measures 915 mm × 254 mm × 624 mm, has a rotational speed range of 400–8000 RPM, has a feed rate range of 0.1–200 mm/min, can be installed on most test benches, has total rivet runout of 0.1 mm, has plunge and rotational axis parallelism of less than 0.1 deg, and has a plunge axis repeatability of better than 2  μ m over a 10 mm range.

Verification of Non-Functional Requirements by Abstract Interpretation

2012 ◽  
pp. 22-35
Author(s):  
Agostino Cortesi ◽  
Francesco Logozzo
Keyword(s):  
Static Analysis ◽  
Abstract Interpretation ◽  
Software Requirements ◽  
Functional Requirements ◽  
Formal Approach ◽  
Space Efficiency ◽  
Source Program ◽  
Service Oriented ◽  
Abstract Domains ◽  
Functional Software

This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpretation-based static analysis of the source program, and by a suitable choice of abstract domains, it is possible to design formal and effective tools for non-functional requirements validation.

Towards Automated SLA Management for Service Delivery in SOA-based Environments

2016 ◽  
Vol 7 (1) ◽  
pp. 26-40
Author(s):  
Elarbi Badidi ◽  
Mohamed El Koutbi
Keyword(s):  
Service Oriented Architecture ◽  
Service Providers ◽  
Service Level ◽  
Third Party ◽  
Handheld Devices ◽  
Service Provisioning ◽  
Functional Requirements ◽  
Business Goals ◽  
Sla Negotiation ◽  
Service Oriented

The services landscape is changing with the growing adoption by businesses of the Service Oriented Architecture (SOA), the migration of business solutions to the cloud, and the proliferation of smartphones and Internet-enabled handheld devices to consume services. To meet their business goals, organizations increasingly demand services, which can satisfy their functional and non-functional requirements. Service Level Agreements (SLAs) are seen as the means to guarantee the continuity in service provisioning and required levels of service. In this paper, we propose a framework for service provisioning, which aims at providing support for automated SLA negotiation and management. The Service Broker component carries out SLA negotiation with selected service-providers on behalf of service-consumers. Multi-rounds of negotiations are very often required to reach an agreement. In each round, the negotiating parties bargain on multiple SLA parameters by trying to maximize their global utility functions. The monitoring infrastructure is in charge of observing SLA compliance monitoring using measurements obtained from independent third party monitoring services.

scholarly journals A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements

2020 ◽  
Vol 19 (5) ◽  
pp. 1191-1227 ◽  
Author(s):  
Qusai Ramadan ◽  
Daniel Strüber ◽  
Mattia Salnitri ◽  
Jan Jürjens ◽  
Volker Riediger ◽  
...  
Keyword(s):  
Data Storage ◽  
Business Processes ◽  
User Study ◽  
Query Language ◽  
Healthcare Management ◽  
Security Requirements ◽  
Domain Specific ◽  
Trade Offs ◽  
Legal Sanctions ◽  
Context Specific

Abstract Requirements are inherently prone to conflicts. Security, data-minimization, and fairness requirements are no exception. Importantly, undetected conflicts between such requirements can lead to severe effects, including privacy infringement and legal sanctions. Detecting conflicts between security, data-minimization, and fairness requirements is a challenging task, as such conflicts are context-specific and their detection requires a thorough understanding of the underlying business processes. For example, a process may require anonymous execution of a task that writes data into a secure data storage, where the identity of the writer is needed for the purpose of accountability. Moreover, conflicts not arise from trade-offs between requirements elicited from the stakeholders, but also from misinterpretation of elicited requirements while implementing them in business processes, leading to a non-alignment between the data subjects’ requirements and their specifications. Both types of conflicts are substantial challenges for conflict detection. To address these challenges, we propose a BPMN-based framework that supports: (i) the design of business processes considering security, data-minimization and fairness requirements, (ii) the encoding of such requirements as reusable, domain-specific patterns, (iii) the checking of alignment between the encoded requirements and annotated BPMN models based on these patterns, and (iv) the detection of conflicts between the specified requirements in the BPMN models based on a catalog of domain-independent anti-patterns. The security requirements were reused from SecBPMN2, a security-oriented BPMN 2.0 extension, while the fairness and data-minimization parts are new. For formulating our patterns and anti-patterns, we extended a graphical query language called SecBPMN2-Q. We report on the feasibility and the usability of our approach based on a case study featuring a healthcare management system, and an experimental user study.

scholarly journals Model Testing of Complex Embedded Systems Using EAST-ADL and Energy-Aware Mutations

Designs ◽  
2020 ◽  
Vol 4 (1) ◽  
pp. 5
Author(s):  
Eduard Paul Enoiu ◽  
Cristina Seceleanu
Keyword(s):  
Embedded Systems ◽  
Complex Structure ◽  
Cost Effective ◽  
Model Testing ◽  
Functional Requirements ◽  
Energy Aware ◽  
Domain Specific ◽  
Complex Interactions ◽  
Architectural Models ◽  
Architecture Description

Nowadays, embedded systems are increasingly complex, meaning that traditional testing methods are costly to use and infeasible to directly apply due to the complex interactions between hardware and software. Modern embedded systems are also demanded to function based on low-energy computing. Hence, testing the energy usage is increasingly important. Artifacts produced during the development of embedded systems, such as architectural descriptions, are beneficial abstractions of the system’s complex structure and behavior. Electronic Architecture and Software Tools Architecture Description Language (EAST-ADL) is one such example of a domain-specific architectural language targeting the automotive industry. In this paper, we propose a method for testing design models using EAST-ADL architecture mutations. We show how fault-based testing can be used to generate, execute and select tests using energy-aware mutants—syntactic changes in the architectural description, used to mimic naturally occurring energy faults. Our goal is to improve testing of complex embedded systems by moving the testing bulk from the actual systems to models of their behaviors and non-functional requirements. We combine statistical model-checking, increasingly used in quality assurance of embedded systems, with EAST-ADL architectural models and mutation testing to drive the search for faults. We show the results of applying this method on an industrial-sized system developed by Volvo GTT. The results indicate that model testing of EAST-ADL architectural models can reduce testing complexity by bringing early and cost-effective automation.

Sign in / Sign up

Export Citation Format

Share Document