Design Process for Application - Specific Languages : a Language for Water Resources Policy Specification
نویسنده
چکیده
منابع مشابه
LoPSiL: A Location-Based Policy-Specification Language
This paper describes the design of LoPSiL, a language for specifying location-dependent security and privacy policies. Policyspecification languages like LoPSiL are domain-specific programming languages intended to simplify the tasks of specifying and enforcing sound security policies on untrusted (i.e., potentially insecure) software. As far as we are aware, LoPSiL is the first imperative poli...
متن کاملApplication Specific Higher Order Logic Theorem Proving
Theorem proving allows the formal verification of the correctness of very large systems. In order to increase the acceptance of theorem proving systems during the design process, we implemented higher order logic proof systems for ANSI-C and Verilog within a framework for application specific proof systems. Furthermore, we implement the language of the PVS theorem prover as well-established hig...
متن کامل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...
متن کاملAn Adaptive Framework for the Design of Software Specification Languages
Software specifications may be viewed as theories elaborated for application domains. A useful strategy for building specifications is the incremental extension of an initial theory, in which increments add new terms and notions not considered in previous extensions. Given an increment, the corresponding theory is stated in a corresponding specification language. The next increment – or extensi...
متن کاملChallenges in Designing Domain-Specific Modeling Language for Educational Games
In this paper, we discuss the challenges related to the design of domain-specific modeling languages to design educational games. A domainspecific modeling language uses the vocabulary of the application domain and provides abstractions that make the specifications of solutions easier and more accessible for domain experts and end users. Although such an approach looks promising for involving d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003