RIFL 1.1: A Common Specification Language for Information-Flow Requirements

نویسندگان

  • Thomas Bauereiß
  • Simon Greiner
  • Mihai Herda
  • Michael Kirsten
  • Ximeng Li
  • Heiko Mantel
  • Martin Mohr
  • Matthias Perner
  • David Schneider
  • Markus Tasch
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

Enhancing BPMN 2.0 informational perspective to support interoperability for cross-organizational business processes

Business Process Modeling Notation (BPMN) is being adopted as one of the industry standards for modeling cross-organizational business processes (CBPs). BPMN analyzes a business process as a set of interrelated activities, focusing primarily on the functional perspective of the process. However, for successful CBP modeling, an informational perspective is important. Although BPMN 2.0 supports i...

متن کامل

Requirements Definition for Enterprise Information Portals: An Integrated Method for Specifying Quantitative and Qualitative Information Needs

Rational and funded management decisions require both quantitative and qualitative information from internal and external resources. New information system architectures like enterprise information portals provide a personalized single gateway to quantitative information, which is mainly provided by data warehouse and OLAP systems for analysis purposes, as well as to qualitative information, wh...

متن کامل

Approach for Is Workspace Design Based on Output Driven Requirements Specification

The problem of information system (IS) workspace design is analysed. Different conceptions for IS workspace structure design are overviewed. Conceptions are based on Oracle CASE method, IDEF and UML application approach. The structure of the output driven requirements specification method is described. An approach to IS workspace design based on information flows specification is proposed. Some...

متن کامل

Software Testing Strategies for Software Requirements and Design

Software requirements testing and software design testing are very important and must be taken seriously. Specifications of software requirements and design must be verified and validated before the implementation. Many individuals involved in design still find that some of the techniques available for these tasks are difficult and far from practical. This paper presents simple and very practic...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017