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.
Filters
Towards Enabling Architectural Refactorings through Source Code Annotations
[article]
2014
arXiv
pre-print
Preserved Fulltext
First, we augment the source code with architectural information. Second, this "lightweight architectural model" can be checked more easily against the full architectural description. ...
Based on this approach refactorings on either side (code or architecture) are detected automatically and conformance checks become possible. ...
We will look into this, when we have more experience with architecture and code links. ...
arXiv:1409.6612v1
fatcat:xb7lbnultrabbbwzvfvsmqlhmy
OrionPlanning: Improving modularization and checking consistency on software architecture
2015
2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT)
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.
Many techniques have been proposed in the literature to support architecture definition, conformance, and analysis. However, there is a lack of adoption of such techniques by the industry. ...
The contributions of the tool consist in: (i) providing iterative modifications in the architecture, and (ii) providing an environment for architecture inspection and definition of dependency rules. ...
The definition uses the same syntax of DCL [12] , a DSL for conformance checking originally proposed to Java systems. In ORIONPLANNING, the user first defined logical modules as a set of classes. ...
doi:10.1109/vissoft.2015.7332435
dblp:conf/vissoft/SantosAEDV15
fatcat:zu5ebgfvgrgddfbjqgwlzcncde
Static extraction and conformance checking of the runtime architecture of object-oriented systems
2008
Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08
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 propose a semi-automated approach to statically extract a runtime architecture of an object-oriented system using ownership domain annotations and check its structural conformance with an as-designed ...
architecture. ...
This is joint work with my Ph.D. advisor, Jonathan Aldrich. My thesis committee, Nenad Medvidovic, Brad Myers and William Scherlis also guided me. ...
doi:10.1145/1449814.1449904
dblp:conf/oopsla/Abi-Antoun08
fatcat:f74sw5qot5fxxlhvsgrjijsamy
An Experience in Architectural Extensions: Active Objects in J2EE
[chapter]
2003
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 2003; you can also visit the original URL.
The file type is application/pdf.
The solutions were formalized as well and their consistency with the J2EE model was validated by using model checking techniques. In this way we discovered that only one of them was acceptable. ...
In Charmy the architectural formalization makes use of diagrammatic notations, Scenarios and State Diagrams, and SPIN is the target model checking engine. ...
Then we provide actual architectural models for these high level descriptions and model-check their correctness with respect to the desired properties. ...
doi:10.1007/3-540-36520-6_8
fatcat:cpj5b5mc4zddnehry4jgwawlb4
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture
2008
Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08
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 2010; you can also visit the original URL.
The file type is application/pdf.
We present tools for statically checking the structural conformance of a system to its runtime architecture. ...
Maintaining the conformance of an implementation to its architecture is difficult in practice since developers often make changes that degrade the architectural structure. ...
Document the as-designed architecture using an Architecture Description Language such as Acme [4] Architectural Conformance. ...
doi:10.1145/1449814.1449839
dblp:conf/oopsla/Abi-AntounA08
fatcat:5k5lcsnjwvdmzc7ibooicylzee
Operation Based Model Representation: Experiences on Inconsistency Detection
[chapter]
2011
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 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we detail our experience evaluating an Operation Based consistency engine (Praxis) when compared with a legacy system based on EMF. ...
The ARCADIA method adopts a viewpoint-based architectural description such as described in the conceptual foundations of ISO/IEC 42010, Systems and Software Engineering -Architecture Description [2] . ...
-The "Logical Architecture" model level, which provides a "white box" view of the System. ...
doi:10.1007/978-3-642-21470-7_7
fatcat:32utcpfkwnac5fsm5uwqtkidye
Using Architectural Patterns to Define Architectural Decisions
2012
2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture
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.
finally automate the architectural decision conformance checking. ...
However, little focus is paid on the automation of architectural decision checking. This paper proposes to leverage pattern formalization techniques to document architectural decisions. ...
AD Conformance Checking Being one of the first works dealing with AD conformance checking, Tibermacine et al. ...
doi:10.1109/wicsa-ecsa.212.28
dblp:conf/wicsa/ThatSO12
fatcat:y6hs2jnghjh2jdnbxsrt2q652i
Using code analysis tools for architectural conformance checking
2011
Proceeding of the 6th international workshop on SHAring and Reusing architectural Knowledge - SHARK '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 2014; you can also visit the original URL.
The file type is application/pdf.
Checking architecture conformance is important to prevent that the system erodes over time and to safeguard the quality. ...
In this paper, we investigate several code analysis tools that offer support for Java and compare their capabilities for architectural conformance checking: Architecture Rules, Macker, Lattix DSM, SonarJ ...
The architect can check for architectural conformance by comparing the DSM of the implementation with the DSM of the envisioned architecture. ...
doi:10.1145/1988676.1988687
dblp:conf/icse/EyckBHH11
fatcat:wpdtlwgmgbaqdn22z45ijrg32e
Design Architectures through Category Constraints
1995
BRICS Report Series
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 2007; you can also visit the original URL.
The file type is application/pdf.
Such architectural<br />styles are specified in a tailored parse tree logic, which permits<br />automatic support for conformance and consistency. ...
We exemplify<br />these ideas with a small design architecture inspired by real world constraints<br />found in the Ericsson ATM Broadband System. ...
This will enable the programming environment to provide automatic semantic support for checking that a design conforms to the given architecture. ...
doi:10.7146/brics.v2i17.19919
fatcat:yoybcwqpbnbythwset4hmbecdu
FDTs for ODP
1995
Computer Standards & Interfaces
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.
There is then a need to combine the framework provided by the architectural semantics with actual consistency checking relationships arising from FDTs. ...
PROST divides conformance assessment for ODP into two parts: speci cation checking and conformance testing. ...
doi:10.1016/0920-5489(95)00021-l
fatcat:wuoc5qcagzfvzlrhkgopy5cwqi
Some Results on Cross Viewpoint Consistency Checking
[chapter]
1995
Open Distributed Processing
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.
This paper considers definitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. ...
Our conclusions centre on the relationship between the different definitions of consistency and on the requirements for realistic consistency checking. ...
Secondly, there is a need to demonstrate that descriptions in different FDTs of particular architectural semantics entities are consistent. ...
doi:10.1007/978-0-387-34882-7_31
fatcat:fdtu3ojhevbcli3kwdfivyhl7i
Executable and Symbolic Conformance Tests for Implementation Models (Position Paper)
[chapter]
2002
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 2003; you can also visit the original URL.
The file type is application/pdf.
Following the Model-Driven Architecture (MDA), a system description consists of several models, i.e. views of the system. ...
This paper is concerned with formal conformance tests between different models. It stresses the need for formal semantical foundations of all languages that are used to express models. ...
The Model-Driven Architecture (MDA) [14, 2] is the new strategy of the OMG to maintain the whole lifecycle of a system. ...
doi:10.1007/3-540-46105-1_27
fatcat:owokh4bkkvez5jgfuyf5ot667y
Using Aspects for Enforcing Formal Architectural Invariants
2008
Electronical Notes 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 2019; you can also visit the original URL.
The file type is application/pdf.
Integrating logic for checking and enforcing these invariants into the application's implementation is generally done by adding appropriate code to the functional application code. ...
At the implementation level, aspects intercept architecture reconfiguration events and check according to the formal specification and the coordination protocol whether a reconfiguration action can be ...
However, Z, which is based on predicate logic and set theory allows a low-level description of architectural invariants. ...
doi:10.1016/j.entcs.2008.06.018
fatcat:zpxmk6hvevgnnfrugfmqgc73yu
Software Architecture Constraints as Customizable, Reusable and Composable Entities
[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.
Component-based applications using business and constraint components can be modeled with CLACS, a dedicated ADL which is also introduced in the paper. ...
Architecture constraints can be executed at design-time within CLACS. CLACS is implemented as a plugin in the Eclipse IDE. ...
We aim thus at proposing an operational component-based design environment providing new capabilities to express architecture constraints that can be executed at design-time to check the conformity of ...
doi:10.1007/978-3-642-15114-9_51
fatcat:gihlw7xawff4nfjv6mrcs4mcae
DiaSuite
2011
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '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 2016; you can also visit the original URL.
The file type is application/pdf.
Our approach is instantiated with the Sense-Compute-Control paradigm, and uniformly integrated into a suite of declarative languages and tools. ...
A description language can be extended with non-functional declarations, expanding further the type of conformance that can be checked between the description of a software system and its implementation ...
Conformance of the component implementation with respect to error-handling declarations is checked statically. ...
doi:10.1145/1929501.1929515
dblp:conf/pepm/Consel11
fatcat:ujx2rami55hh7nnjcq6qt5a3je
« Previous
Showing results 1 — 15 out of 41,251 results