Filters








2,267 Hits in 5.3 sec

ADL—an interface definition language for specifying and testing software

Sriram Sankar, Roger Hayes
1994 Proceedings of the Workshop on Interface Definition Languages - IDL '94  
This paper describes an interface definition language called ADL which extends OMG's CORBA interface definition language with formal specification constructs.  ...  In addition to ADL's use in formal documentation, ADL's primary use is for testing software. ADL can be adapted for use with most programming languages.  ...  This language, ADL (Assertion Definition Language), enhances IDL with constructs for behavior description of interface constituents.  ... 
doi:10.1145/185084.185096 dblp:conf/idl/SankarH94 fatcat:xnafw4y3czdghhgpoj5zccwuce

Non-functional property specifications for WRIGHT ADL

Basem Suleiman, Vladimir Tosic, Eldar Aliev
2008 2008 8th IEEE International Conference on Computer and Information Technology  
Many architecture description languages (ADLs) were proposed for describing structure of software systems in terms of components and connectors.  ...  We propose new extensions of WRIGHT ADL with capabilities to specify non-functional properties at the architectural level. They are based on ontological definitions of non-functional properties.  ...  Khaled Khan from University of Western Sydney has provided valuable information in the course Software Architecture that contributed to achieving this work.  ... 
doi:10.1109/cit.2008.4594771 dblp:conf/IEEEcit/SuleimanTA08 fatcat:7b3bbaiwn5gsdjdnony2dfbqpm

Architecture-Centric Component-Based Development Needs a Three-Level ADL [chapter]

Huaxi Zhang, Christelle Urtado, Sylvain Vauttier
2010 Lecture Notes in Computer Science  
Such development processes produce architecture definitions, using architecture description languages (Adls). This paper proposes a three step process.  ...  This development process is supported by a three-level Adl which enables the separate definition of these three representations.  ...  The language has been implemented twice: as an XML-based Adl and as a Java-based Adl.  ... 
doi:10.1007/978-3-642-15114-9_22 fatcat:6ujinibm3jdwvlzhxatrvgndw4

Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL

Christoph Etzel, Florian Hofhammer, Bernhard Bauer
2020 Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development  
Therefore, the metrics (collections) Lines of Code, Cyclomatic Complexity, Chidamber and Kemerer and MOOD are examined for their application on EAST-ADL models.  ...  In this position paper, we look on selected metrics from code and object-oriented design analysis to use them for the evaluation of system architectures modeled with EAST-ADL.  ...  ACKNOWLEDGEMENTS This work was partially funded within the project ARAMiS II by the German Federal Ministry for Education and Research with the funding ID 01IS16025.  ... 
doi:10.5220/0009165704410448 dblp:conf/modelsward/EtzelHB20 fatcat:uz6jirej5naphlfouapdqifjze

Recent advances in ADL, CutLang and adl2tnm

Harrison B. Prosper, Sezen Sekmen, Gokhan Unel, Arpon Paul, C. Biscarat, S. Campana, B. Hegner, S. Roiser, C.I. Rovelli, G.A. Stewart
2021 EPJ Web of Conferences  
This paper presents an overview and features of an Analysis Description Language (ADL) designed for HEP data analysis.  ...  ADL is a domainspecific, declarative language that describes the physics content of an analysis in a standard and unambiguous way, independent of any computing frameworks.  ...  Moreover, ADL needs to be extended with syntax to specify and apply systematic uncertainties.  ... 
doi:10.1051/epjconf/202125103062 fatcat:354rahxaebdixed5stg2y5unvm

Recent advances in ADL, CutLang and adl2tnm [article]

Harrison B. Prosper, Sezen Sekmen, Gokhan Unel, Arpon Paul
2021 arXiv   pre-print
This paper presents an overview and features of an Analysis Description Language (ADL) designed for HEP data analysis.  ...  ADL is a domain specific, declarative language that describes the physics content of an analysis in a standard and unambiguous way, independent of any computing frameworks.  ...  Moreover, ADL needs to be extended with syntax to specify and apply systematic uncertainties.  ... 
arXiv:2108.00857v1 fatcat:3msgairtcrb7pjabamomcboanu

A Formal Verification Technique for Architecture-based Embedded Systems in EAST-ADL [article]

Eun-Young Kang
2019 arXiv   pre-print
EAST-ADL is an architecture description language developed to specify automotive embedded system architectures at multiple abstraction levels in the development of safety-critical automotive products.  ...  The criteria for this architecture-based verification is presented and the transformation rules which comply with this criteria are derived.  ...  Preliminaries EAST-ADL EAST-ADL (Electronics, Architecture and Software Technology -Architecture Description Language) is an ADL dedicated to automotive electronic systems resulting from several European  ... 
arXiv:1903.06241v1 fatcat:by5km4we75a5hpqjmpwrlqndey

Automatic optimisation of system architectures using EAST-ADL

Martin Walker, Mark-Oliver Reiser, Sara Tucci-Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, DeJiu Chen, David Servat
2013 Journal of Systems and Software  
The introduction of Architecture Description Languages (ADLs) has helped to meet these challenges by consolidating information about a system and providing a platform for modelling and analysis capabilities  ...  In this paper, we present a multi-objective optimisation approach based on EAST-ADL, an ADL in the automotive domain, with the goal of combining the advantages of ADLs and architectural optimisation.  ...  Representing system architectures with EAST-ADL Introduction to EAST-ADL EAST-ADL is an Architecture Description Language (ADL) initially defined in the European ITEA EAST-EEA project and subsequently  ... 
doi:10.1016/j.jss.2013.04.001 fatcat:urzs36s4azgblancwdw3whcjie

Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL

Raluca Marinescu, Eduard Enoiu, Cristina Seceleanu, Daniel Sundmark
2017 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
In this paper, we show how architectural models described in the EAST-ADL architectural language can also be used for testing the energy consumption of embedded systems, after transforming them into networks  ...  Assuming an EAST-ADL model annotated with energy consumption information, we show how to automatically generate energy-aware test cases based on statistical model checking (SMC) of the resulting network  ...  EAST-ADL Architectural Language EAST-ADL [9] is an AUTOSAR-compatible 2 [1] architectural description language dedicated to the development of automotive embedded systems.  ... 
doi:10.1109/icstw.2017.19 dblp:conf/icst/MarinescuESS17 fatcat:k33gmkednrdsdl6wcmmgfmcsjy

An augmented reality approach for ADL support in Alzheimer's disease: a crossover trial

Nina Rohrbach, Philipp Gulde, Alan Robert Armstrong, Linda Hartig, Anas Abdelrazeq, Stefan Schröder, Johanne Neuse, Timo Grimmer, Janine Diehl-Schmid, Joachim Hermsdörfer
2019 Journal of NeuroEngineering and Rehabilitation  
Dementia of the Alzheimer's type can impair the performance of activities of daily living and therefore severely impact independent living.  ...  Interviews were audio recorded, transcribed word-for-word according to specified guidelines [20] using the software f4/ f5transkript (dr. dressing & pehl GmbH) and pseudonymized.  ...  The aim of the study was to test for usability and feasibility but also to provide directions for further improvements.  ... 
doi:10.1186/s12984-019-0530-z pmid:31159816 pmcid:PMC6547460 fatcat:2a54gkt7u5h3zd3xgyzecf377e

A framework for classifying and comparing architecture description languages

Nenad Medvidovic, Richard N. Taylor
1997 Software engineering notes  
This paper attempts to provide an answer to these questions. It motivates and presents a definition and a classification framework for ADLs.  ...  There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which ADL is best suited for a particular problem.  ...  An ADL is a language that provides features for modeling a software system's conceptual architecture.  ... 
doi:10.1145/267896.267903 fatcat:uo44qiyicjb4bnaxir5hjbgycy

A framework for classifying and comparing architecture description languages [chapter]

Nenad Medvidovic, Richard N. Taylor
1997 Lecture Notes in Computer Science  
This paper attempts to provide an answer to these questions. It motivates and presents a definition and a classification framework for ADLs.  ...  There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which ADL is best suited for a particular problem.  ...  An ADL is a language that provides features for modeling a software system's conceptual architecture.  ... 
doi:10.1007/3-540-63531-9_7 fatcat:ifjlsefw5bczdjd4q2ygwrxzii

A classification and comparison framework for software architecture description languages

N. Medvidovic, R.N. Taylor
2000 IEEE Transactions on Software Engineering  
This paper attempts to provide an answer to these questions. It motivates and presents a definition and a classification framework for ADLs.  ...  There is, however, little consensus in the research community on what is an ADL, what aspects of an architecture should be modeled in an ADL, and which of several possible ADLs is best suited for a particular  ...  Government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright annotation thereon.  ... 
doi:10.1109/32.825767 fatcat:pi3e2it2hbcqbcfbrpxtvwftpm

Towards a unified event-based software architecture

John C. Grundy, John G. Hosking, Warwick B. Mugridge
1996 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -  
We describe our recent work in developing visual languages and support environments for the design and implementation of a range of event-based software architectures.  ...  These architectures are complex to design and implement, however, especially with conventional, textual programming languages.  ...  Environments to support ADLs for building such systems would also be useful. We describe a design for such an ADL and its environment.  ... 
doi:10.1145/243327.243624 fatcat:fenxgxougfbqfhk6khr52qsygm

Architecture description languages for programmable embedded systems

P. Mishra, N. Dutt
2005 IEE Proceedings - Computers and digital Techniques  
The paper surveys the existing ADLs in terms of (a) the inherent features of the languages and (b) the methodologies they support to enable simulation, compilation, synthesis, test generation and validation  ...  The ADL is used to specify programmable embedded systems, including processor, coprocessor and memory architectures.  ...  For example, an ADL intended for interface synthesis does not require internal structure or behaviour of the processor. Traditionally, structural ADLs are suitable for synthesis and test-generation.  ... 
doi:10.1049/ip-cdt:20045071 fatcat:sznyga75n5hk3pongpmyrmffgq
« Previous Showing results 1 — 15 out of 2,267 results