145,507 research outputs found
On the Specification of Non-functional Properties of Systems by Observation
Domain specific languages play a cornerstone role in Model-Driven
Engineering (MDE) for representing models and metamodels. So far, most of
the MDE community efforts have focused on the specification of the functional
properties of systems. However, the correct and complete specification of
some of their non-functional properties is critical in many important distributed
application domains, such as embedded systems, multimedia applications or
e-commerce services. In this paper we present an approach to specify QoS requirements,
based on the observation of the system actions and of the state of
its objects. We show how this approach can be used to extend languages which
specify behavior in terms of rules, and how QoS characteristics can be easily expressed
and reused across models. We show as well how this approach enables
the specification of other important properties of systems, such as automatic reconfiguration
of the system when some of the QoS properties change.Ministerio de Ciencia e Innovación TIN2008-031087Junta de Andalucía P07-TIC-0318
Requirements Problem and Solution Concepts for Adaptive Systems Engineering, and their Relationship to Mathematical Optimisation, Decision Analysis, and Expected Utility Theory
Requirements Engineering (RE) focuses on eliciting, modelling, and analyzing
the requirements and environment of a system-to-be in order to design its
specification. The design of the specification, usually called the Requirements
Problem (RP), is a complex problem solving task, as it involves, for each new
system-to-be, the discovery and exploration of, and decision making in, new and
ill-defined problem and solution spaces. The default RP in RE is to design a
specification of the system-to-be which (i) is consistent with given
requirements and conditions of its environment, and (ii) together with
environment conditions satisfies requirements. This paper (i) shows that the
Requirements Problem for Adaptive Systems (RPAS) is different from, and is not
a subclass of the default RP, (ii) gives a formal definition of RPAS, and (iii)
discusses implications for future research
Observation and abstract behaviour in specification and implementation of state-based systems
Classical algebraic specification is an accepted framework for specification. A criticism which applies is the
fact that it is functional, not based on a notion of state as most software development and implementation languages
are. We formalise the idea of a state-based object or abstract machine using algebraic means. In contrast to similar approaches we consider dynamic logic instead of equational logic as the framework for specification and implementation. The advantage is a more expressive language allowing us to specify safety and liveness conditions. It also allows a clearer distinction of functional and state-based parts which require different treatment in order to achieve behavioural abstraction when necessary. We shall in particular focus on abstract behaviour and observation. A behavioural notion of satisfaction for state-elements is needed in order to abstract from irrelevant details of the state realisation
An algebraic basis for specifying and enforcing access control in security systems
Security services in a multi-user environment are often based on access control mechanisms. Static aspects of an access control policy can be formalised using abstract algebraic models. We integrate these static aspects into a dynamic framework considering requesting access to resources as a process aiming at the prevention of access control violations when a program is executed. We use another algebraic technique, monads, as a meta-language to integrate access control operations into a functional
programming language. The integration of monads and concepts from a denotational model for process algebras provides a framework for programming of access control in security systems
GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology
In this article, we propose a domain specific language, GUBS (Genomic Unified
Behavior Specification), dedicated to the behavioral specification of synthetic
biological devices, viewed as discrete open dynamical systems. GUBS is a
rule-based declarative language. By contrast to a closed system, a program is
always a partial description of the behavior of the system. The semantics of
the language accounts the existence of some hidden non-specified actions
possibly altering the behavior of the programmed device. The compilation
framework follows a scheme similar to automatic theorem proving, aiming at
improving synthetic biological design safety.Comment: In Proceedings MeCBIC 2012, arXiv:1211.347
Recommended from our members
Comparing test sets and criteria in the presence of test hypotheses and fault domains
A number of authors have considered the problem of comparing test sets and criteria. Ideally
test sets are compared using a preorder with the property that test set T1 is at least as strong
as T2 if whenever T2 determines that an implementation p is faulty, T1 will also determine that
p is faulty. This notion can be extended to test criteria. However, it has been noted that very
few test sets and criteria are comparable under such an ordering; instead orderings are based
on weaker properties such as subsumes. This paper explores an alternative approach, in which
comparisons are made in the presence of a test hypothesis or fault domain. This approach allows
strong statements about fault detecting ability to be made and yet for a number of test sets and
criteria to be comparable. It may also drive incremental test generation
The pros and cons of using SDL for creation of distributed services
In a competitive market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. Optimizing the development process is very much a matter of optimizing the technologies used during service creation. This paper reports on the experience gained in the Service Creation projects SCREEN and TOSCA on use of the language SDL for efficient service creation
- …