A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Statistical Model Checking of Dynamic Software Architectures
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
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
2017
Journal of the Brazilian Computer Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2022
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2022 pre-print arXiv:2207.09713v1 fatcat:4exl5zse2vbwljqifqjn6vgwna
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]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceeding of the 33rd international conference on Software engineering - ICSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2001
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Innovative Information Systems Modelling Techniques
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
The Journal of Logic and Algebraic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2007
International workshop on Synthesis and analysis of component connectors in conjunction with the 6th ESEC/FSE joint meeting - SYANCO '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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