BASEL (Buffering Architecture SpEcification Language)
نویسندگان
چکیده
Buffering architectures and policies for their efficient management constitute one of the core ingredients of a network architecture. In this work we introduce a new specification language, BASEL, that allows to express virtual buffering architectures and management policies representing a variety of economic models. BASEL does not require the user to implement policies in a high-level language; rather, the entire buffering architecture and its policy are reduced to several comparators and simple functions. We show examples of buffering architectures in BASEL and demonstrate empirically the impact of various settings on performance.
منابع مشابه
Architecture Description Languages
Modeling plays a central role in design automation of embedded processors. It is necessary to develop a specification language that can model complex processors at a higher level of abstraction and enable automatic analysis and generation of efficient tools and prototypes. The language should be powerful enough to capture high-level description of the processor architectures. On the other hand,...
متن کاملTransforming Goal Oriented Requirement Specifications into Architecture Prescriptions
In this paper we propose a new method to transform the requirements specification for a software system into an architectural specification for the system. In the introduction we illustrate the needs for this new method in the context of the software development process and we explain the concept of architecture prescription. Then, we give a brief overview of KAOS, the goal oriented requirement...
متن کاملTemplate-Based Specification in LOTOS
The notion of a skeletal specification is introduced as a step in the incremental development of a specification. This leads to the idea of a template specification as a means of capturing specification architecture in a library of reusable specification components. The approach is illustrated by considering the architecture of service specifications in LOTOS. A library of macros written in the...
متن کاملTowards a Software Architecture Specification Language based on UML and OCL
The development of a system’s software architecture is a very complex and important issue. Existing description and modeling techniques do not fit the requirements of architecture centric system development. In this paper we are proposing the basic concepts and notions of software architectures. Furthermore, we provide a proposal for a new description and modeling technique for software archite...
متن کاملEnhancing CIMOSA with Exception Handling
CIMOSA (Open System Architecture for CIM) [2], an architecture for the modelling of manufacturing applications, does not provide a facility for exception definition and handling. Exceptions, traditionally associated to programming language and operating systems, are necessary in all types of languages, including specification languages. Our contribution consists of the enhancement of the CIMOSA...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1510.04235 شماره
صفحات -
تاریخ انتشار 2015