242 Hits in 10.5 sec

Statistical Model Checking of Dynamic Software Architectures [chapter]

Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
2016 Lecture Notes in Computer Science  
In this paper, we introduce a novel notation to formally express architectural properties as well as an SMC-based toolchain for verifying dynamic software architectures described in π-ADL, a formal architecture  ...  description language.  ...  Additionally, code source in the Go programming language [1] is automatically generated from π-ADL architecture descriptions, thereby allowing for their execution [6] .  ... 
doi:10.1007/978-3-319-48992-6_14 fatcat:5kcu4rhx5zhbfafdoy6uq64njq

Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures

Valdemar Vicente Graciano Neto, Carlos Eduardo Barros Paes, Lina Garcés, Milena Guessi, Wallace Manzano, Flavio Oquendo, Elisa Yumi Nakagawa
2017 Journal of the Brazilian Computer Society  
Stimuli-SoS uses software architecture descriptions for automating the creation of such generators.  ...  Specifically, this approach transforms SoSADL, a formal architectural description language for SoS, into dynamic models expressed in DEVS, a simulation formalism.  ...  Leslie Foulds (INF/UFG) for the language review; and Dr. Flavio Horita (CEMADEN) by providing data that we use and adapt to serve as input to our stimuli generators.  ... 
doi:10.1186/s13173-017-0062-y fatcat:ubtooxy6ffc5tkubyochkpkqkq

Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models

Or Wertheim, Dan R. Suissa, Ronen I. Brafman
2022 Electronic Proceedings in Theoretical Computer Science  
Skill Documentation Language (GSDL) makes code documentation simpler, compact, and more expressive using ideas from probabilistic programming languages. 2) An expressive abstraction mapping (AM) bridges  ...  In principle, AI planning can be used to address this challenge and generate good behavior policies automatically. But this requires passing three hurdles.  ...  It leverages the code in the GSDL to automatically generate efficient sampling code 2 for sampling-based POMDP solvers and RL algorithms, but also supports ADL-based solvers. 4.  ... 
doi:10.4204/eptcs.362.10 fatcat:shziyea2s5esdjnhek6oa7dday

Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System [article]

Nadeem Akhtar, Malik M. Saad Missen
2015 arXiv   pre-print
We construct the system incrementally from subcomponents, based on software architecture.  ...  The development process has been classified in to four major phases of requirement specifications, verification specifications, architecture specifications and implementation.  ...  This work has been possible due to the support of The Department of Computer Science & IT, The Islamia University of Bahawalpur, Pakistan.  ... 
arXiv:1604.05577v1 fatcat:hwg3qh2o2nc6xepka5pfwjq6hu

Leveraging software architectures to guide and verify the development of sense/compute/control applications

Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
Mapping a software architecture to an implementation is a well known challenge.  ...  This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications.  ...  When a software architecture is expressed formally using an Architecture Description Language (ADL) [14] , and is sufficiently concrete, it may be possible to generate an implementation automatically.  ... 
doi:10.1145/1985793.1985852 dblp:conf/icse/CassouBCL11 fatcat:esno54er25axvns7y3jdp4gipi

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications [article]

Damien Cassou, Emilie Balland, Charles Consel (INRIA Bordeaux - Sud-Ouest, ENSEIRB), Julia Lawall
2011 arXiv   pre-print
Mapping a software architecture to an implementation is a well known challenge.  ...  We instantiate our approach in an architecture description language for the domain of Sense/Compute/Control applications, and describe associated compilation and verification strategies.  ...  When a software architecture is expressed formally using an Architecture Description Language (ADL) [14] , and is sufficiently concrete, it may be possible to generate an implementation automatically.  ... 
arXiv:1109.2807v1 fatcat:setdghlyfjfz5bilmxte6qpm44

Coordinating distributed components on the web: an integrated development environment

Lidia Fuentes, Jos� Mar�a Troya
2001 Software, Practice & Experience  
Tools for the automatic generation of code from the ADL specifications are also described. 210 L. FUENTES AND J. M.  ...  By applying an architecture description language (ADL) we are able to document the framework and help designers in: constructing; reusing, and connecting components; extending the framework architecture  ...  Architecture description languages (ADLs) deal with the description, analysis and reuse of software architectures.  ... 
doi:10.1002/spe.362 fatcat:lbai3hbqojboznydlhkt4xsp3i

An Architecture-Centric Approach for Information System Architecture Modeling, Enactement and Evolution [chapter]

Herv Verjus, Sorana Cmpan, Ilham Alloui
2012 Innovative Information Systems Modelling Techniques  
Going from abstract architectural representations to more concrete ones is inherent in architecture-centric development, and to the model-driven development in general.  ...  In the first case, a target source code can be generated from specifications using mappings and adding implementation details related to the target environment.  ...  An Architecture-Centric Approach for Information System Architecture Modeling, Enactement and Evolution  ... 
doi:10.5772/36808 fatcat:sc7gqemiebanlho3fsfgqbucly

Modelling large-scale information systems using ADLs – An industrial experience report

Eoin Woods, Rabih Bashroush
2015 Journal of Systems and Software  
The approach taken by the software architects tasked with this project included the definition of a simple, very specific, architecture description language.  ...  As a precursor to this, it was decided to create a comprehensive architectural description to capture and understand the system's design.  ...  THE STYLE AND ITS DESCRIPTION LANGUAGE A The Architectural Style An analysis of the system's implementation revealed that it generally followed a set of discernable patterns created from a small number  ... 
doi:10.1016/j.jss.2014.09.018 fatcat:wlou6cqjb5d27hqlvfrhxcinmm

What Industry Needs from Architectural Languages: A Survey

Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione, Antony Tang
2013 IEEE Transactions on Software Engineering  
Hereafter, we use the term architectural language, or AL, to refer to any form of expression used for architecture description.  ...  As a way to plan for next generation languages for architectural description, this study analyzes practitioners' perceived strengths, limitations and needs associated to existing languages for software  ...  ACKNOWLEDGMENTS We would like to thank the practitioners that invested time and effort in participating in this survey, and the members of the IFIP 2.10 Working Group on Software Architecture for providing  ... 
doi:10.1109/tse.2012.74 fatcat:nicuicxvazcmrdpikkxc3itwwq

Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors [chapter]

Steven Op de beeck, Marko van Dooren, Bert Lagaisse, Wouter Joosen
2013 Lecture Notes in Computer Science  
We have integrated MView in an ADL, called MViewADL, which is supported by an Eclipse-plugin that performs code generation to the JBoss and Spring middleware platforms.  ...  This results in connectors that suffer from monolithic descriptions, in which the views of different architects are tangled.  ...  This research is partially funded by the Research Fund KU Leuven and the Fund for Scientific Research (FWO) in Flanders.  ... 
doi:10.1007/978-3-642-36964-3_4 fatcat:bg52dwhkdjbsnpntjp3tubbh5a

An "abstract process" approach to algebraic dynamic architecture description

Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, M. Encarnación Beato
2005 The Journal of Logic and Algebraic Programming  
In late years, a number of specific architecture description languages (ADLs) have been proposed in order to achieve the required precision.  ...  The algebraic approach to architecture description is probably the most successful in the field.  ...  of our reflective framework for software architecture description.  ... 
doi:10.1016/j.jlap.2004.05.003 fatcat:2dkt4k4bzbha7cpjwh35ypqasi

An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection [chapter]

Guoxin Su, Mingsheng Ying, Chengqi Zhang
2010 Lecture Notes in Computer Science  
In this paper we propose a new Architecture Description Language, called ACDL, to represent the centralizedmode architectural connection in which all components are linked by a single connector.  ...  Based on ACDL, we develop analytic techniques to facilitate the system checking of temporal properties of an architecture.  ...  Acknowledgements The authors would like to thank the anonymous referees for their helpful comments to improve the draft of this paper.  ... 
doi:10.1007/978-3-642-15114-9_4 fatcat:cs6lqyc6gbg2bcq4fwjayzbjca

First-Class Connectors to Support Systematic Construction of Hierarchical Software Architecture

Abdelkrim Amirat, Mourad Chabane Oussalah
2009 Journal of Object Technology  
To provide hierarchical description from different software architectural view points we need more than one abstraction hierarchy and connection mechanisms to support the interactions among components.  ...  This paper describes an architecture-centric approach allowing the user to describe the logical architecture view where a physical architecture view is generated automatically for all application instances  ...  Implementation represents the code developed in any programming language for each architectural element. Each architectural element may have one or more implementation.  ... 
doi:10.5381/jot.2009.8.7.a3 fatcat:x26hyab325e4tpgvvho4fpdvne

Aspect-oriented connectors for coordination

Jennifer Pérez, Carlos E. Cuesta
2007 International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07  
Coordination has become a key concept in the industrial systems as it leads to a better understanding of the interactions that take place in complex and distributed systems.  ...  In the last few years, coordination has been introduced in two important fields of Software Engineering: Software Architectures, through the notion of connector, and Aspect-Oriented Software Development  ...  In fact, Architecture Description Languages (ADLs) [22] could be classified according to the importance they give to coordination.  ... 
doi:10.1145/1294917.1294919 dblp:conf/sigsoft/PerezC07 fatcat:afip7d6myzcztb7urm7smbruuy
« Previous Showing results 1 — 15 out of 242 results