Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
The CODE 2.0 graphical parallel programming language
ICS '92 Proceedings of the 6th international conference on Supercomputing
Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
Part II: specifying components in RESOLVE
ACM SIGSOFT Software Engineering Notes
Overview of Teknowledge's domain-specific software architecture program
ACM SIGSOFT Software Engineering Notes
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
SAAM: a method for analyzing the properties of software architectures
ICSE '94 Proceedings of the 16th international conference on Software engineering
Advances in Software Engineering and Knowledge Engineering
Advances in Software Engineering and Knowledge Engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Customization and composition of distributed objects: middleware abstractions for policy management
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Expressiveness in architecture description languages
ISAW '98 Proceedings of the third international workshop on Software architecture
Haemo dialysis software architecture design experiences
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Facilitating system-of-systems evolution with architecture support
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Architecture Support for System-of-Systems Evolution
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Giotto: A Time-Triggered Language for Embedded Programming
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Integrating the ConcernBASE Approach with SADL
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The unified problem-solving method development language UPML
Knowledge and Information Systems
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Towards preserving correctness in self-managed software systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
A secure architectural description language for agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A Taxonomy of Software Component Models
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Power reduction techniques for microprocessor systems
ACM Computing Surveys (CSUR)
Proceedings of the 41st annual Design Automation Conference
Product lines for digital information products
Information Systems
Supporting automatic configuration of component-based distributed systems
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Architectural Interoperability Checking in Visual Coordination Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Software Engineering
Towards the development of a rigorous model-driven domain-specific software engineering environment
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A pattern language for designing e-business architecture
Journal of Systems and Software
Processor Description Languages
Processor Description Languages
The concepts of model in information systems engineering: A proposal for an ontology of models
The Knowledge Engineering Review
ACM SIGSOFT Software Engineering Notes
Model-Driven approach to Software Architecture design
SHARK '09 Proceedings of the 2009 ICSE Workshop on Sharing and Reusing Architectural Knowledge
Exposing non-standard architectures to embedded software using compile-time virtualisation
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Using software architecture to facilitate reuse in a product family
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Designing multi-agent systems: a framework and application
Expert Systems with Applications: An International Journal
Combating architectural degeneration: a survey
Information and Software Technology
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Architectural description languages (ADLs) vs UML: a review
ACM SIGSOFT Software Engineering Notes
Towards a UML profile for software architecture descriptions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Data encapsulation in software components
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
A catalogue of component connectors to support development with reuse
Journal of Systems and Software
Engineering parallel applications with tunable architectures
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
SPARDL: a requirement modeling language for periodic control system
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
OntMDE approach: enhancing AIM with architectural ontology
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Proceedings of the 2011 ACM Symposium on Applied Computing
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
Assuring architectural properties during compositional architecture design
SC'11 Proceedings of the 10th international conference on Software composition
A constructive approach to compositional architecture design
ECSA'11 Proceedings of the 5th European conference on Software architecture
Controlling software architecture erosion: A survey
Journal of Systems and Software
Hierarchical integration of runtime models
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Towards supporting the software architecture life cycle
Journal of Systems and Software
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
On the use of real-time maude for architecture description and verification: a case study
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Luar: a language for agile development of NCL templates and documents
Proceedings of the 18th Brazilian symposium on Multimedia and the web
Challenges for SoS architecture description
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
A novel requirement analysis approach for periodic control systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Integrating component-based web engineering into content management systems
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Computer Science - Research and Development
Hi-index | 0.00 |
Architecture Description Languages (ADLs) are emerging as viable tools for formally representing the architectures of systems. While growing in number, they vary widely in terms of the abstractions they support and analysis capabilities they provide. Further, many languages not originally designed as ADLs serve reasonably well at representing and analyzing software architectures. This paper summarizes a taxonomic survey of ADLs that is in progress. The survey characterizes ADLs in terms of (a) the classes of systems they support; (b) the inherent properties of the languages themselves; and (c) the process and technology support they provide to represent, refine, analyze, and build systems from an architecture. Preliminary results allow us to draw conclusions about what constitutes an ADL, and how contemporary ADLs differ from each other.