Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Logical Time in Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Real-time object-oriented modeling
Real-time object-oriented modeling
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
DSSA (Domain-Specific Software Architecture): pedagogical example
ACM SIGSOFT Software Engineering Notes
Summary of the Dagstuhl workshop on software architecture
ACM SIGSOFT Software Engineering Notes
First international workshop on architectures for software systems workshop summary
ACM SIGSOFT Software Engineering Notes
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reuse of off-the-shelf components in C2-style architectures
Proceedings of the 1997 symposium on Software reusability
Proceedings of the third international workshop on Software architecture
Sixth International Symposium on the Foundations of Software Engineering
Separating fact from fiction in software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Integrating architecture description languages with a standard design method
Proceedings of the 20th international conference on Software engineering
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
The unified software development process
The unified software development process
Turning clockwise: using UML in the real-time domain
Communications of the ACM
Applied software architecture
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Requirements and Specification Exemplars
Automated Software Engineering
The 4+1 View Model of Architecture
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Assessing the Suitability of a Standard Design Method for Modeling Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
A formal approach to software architecture
A formal approach to software architecture
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Reconciling the needs of architectural description with object-modeling notations
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Extending architectural representation in UML with view integration
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Enabling the refinement of a software architecture into a design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
WREN---an environment for component-based development
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
On the role of middleware in architecture-based software development
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Using UML Profiles for Documenting Web-Based Application Frameworks
Annals of Software Engineering
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Heavyweight extensions to the UML metamodel to describe the C3 architectural style
ACM SIGSOFT Software Engineering Notes
Validating UML models against architectural profiles
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 21st annual international conference on Documentation
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Quantifiable architecting of dependable systems of embedded systems
ACM SIGSOFT Software Engineering Notes
Towards a UML profile for QoS: a contribution in the reliability domain
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Modeling architectural patterns using architectural primitives
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An MDA-Oriented .NET Metamodel
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
Describing dynamic software architectures using an extended UML model
Proceedings of the 2006 ACM symposium on Applied computing
AVDL: a highly adaptable architecture view description language
Journal of Systems and Software
Moving architectural description from under the technology lamppost
Information and Software Technology
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
The implications of network-centric software systems on software architecture: a critical evaluation
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Viewing CSP Specifications with UML-RT Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
A visual environment for specifying global reduction operations
International Journal of High Performance Computing and Networking
Slicing UML architectural models
ACM SIGSOFT Software Engineering Notes
Reference architecture knowledge representation: an experience
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Issues with representing software architectures in the unified modeling language
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
A catalog of architectural primitives for modeling architectural patterns
Information and Software Technology
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Concepts of modeling architectural module views for compliance checks based on architectural styles
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A style-based architecture modelling approach for UML 2 component diagrams
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic implementation of constraints in component based applications
Information and Software Technology
Modeling and managing the variability of Web service-based systems
Journal of Systems and Software
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
A family of languages for architecture constraint specification
Journal of Systems and Software
An architecture for open learning management systems
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Low-level dynamic system formation with high-level automation: extending UML in support of UPnP
ACM SIGSOFT Software Engineering Notes
Quality analysis of dependable systems: a developer oriented approach
Architecting dependable systems
Modeling the variability of architectural patterns
Proceedings of the 2010 ACM Symposium on Applied Computing
Building the presentation-tier of rich web applications with hierarchical components
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
A UML 2.0 profile for architecting B3G applications
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Making control loops explicit when architecting self-adaptive systems
Proceedings of the second international workshop on Self-organizing architectures
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
An ADL-approach to specifying and analyzing centralized-mode architectural connection
ECSA'10 Proceedings of the 4th European conference on Software architecture
Ontological analysis for generating baseline architectural descriptions
ECSA'10 Proceedings of the 4th European conference on Software architecture
An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software
ACM Transactions on Software Engineering and Methodology (TOSEM)
A practical architecture-centric analysis process
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
On the systematic conformance check of software artefacts
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
A UML-Compatible formal language for system architecture description
SDL'05 Proceedings of the 12th international conference on Model Driven
Automated invariant maintenance via OCL compilation
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Supporting tools for designing-by-contract in component-based applications
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Good architecture = good (ADL + practices)
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Composition-Centered architectural pattern description language
ECSA'13 Proceedings of the 7th European conference on Software Architecture
SysADL: a SysML profile for software architecture description
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Modeling stroke rehabilitation processes using the Unified Modeling Language (UML)
Computers in Biology and Medicine
Hi-index | 0.00 |
The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of useful capabilities to the software designer, including multiple, interrelated design views, a semiformal semantics expressed as a UML meta model, and an associated language for expressing formal logic constraints on design elements. The primary goal of this work is an assessment of UML's expressive power for modeling software architectures in the manner in which a number of existing software architecture description languages (ADLs) model architectures. This paper presents two strategies for supporting architectural concerns within UML. One strategy involves using UML "as is," while the other incorporates useful features of existing ADLs as UML extensions. We discuss the applicability, strengths, and weaknesses of the two strategies. The strategies are applied on three ADLs that, as a whole, represent a broad cross-section of present-day ADL capabilities. One conclusion of our work is that UML currently lacks support for capturing and exploiting certain architectural concerns whose importance has been demonstrated through the research and practice of software architectures. In particular, UML lacks direct support for modeling and exploiting architectural styles, explicit software connectors, and local and global architectural constraints.