41,251 Hits in 4.9 sec

Towards Enabling Architectural Refactorings through Source Code Annotations [article]

Holger Krahn, Bernhard Rumpe
2014 arXiv   pre-print
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

Gustavo Santos, Nicolas Anquetil, Anne Etien, Stephane Ducasse, Marco Tulio Valente
2015 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT)  
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

Marwan Abi-Antoun
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
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]

Paola Inverardi, Fabio Mancinelli, Henry Muccini, Patrizio Pelliccione
2003 Lecture Notes in Computer Science  
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

Marwan Abi-Antoun, Jonathan Aldrich
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
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]

Jerome Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc
2011 Lecture Notes in Computer Science  
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

Minh Tu Ton That, Salah Sadou, Flavio Oquendo
2012 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture  
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

Jo Van Eyck, Nelis Boucké, Alexander Helleboogh, Tom Holvoet
2011 Proceeding of the 6th international workshop on SHAring and Reusing architectural Knowledge - SHARK '11  
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

Jari Koistinen, Nils Klarlund, Michael I. Schwartzbach
1995 BRICS Report Series  
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

Howard Bowman, John Derrick, Peter Linington, Maarten Steen
1995 Computer Standards & Interfaces  
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]

Howard Bowman, John Derrick, Maarten Steen
1995 Open Distributed Processing  
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]

Thomas Baar
2002 Lecture Notes in Computer Science  
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

Slim Kallel, Anis Charfi, Mohamed Jmaiel
2008 Electronical Notes in Theoretical Computer Science  
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]

Chouki Tibermacine, Christophe Dony, Salah Sadou, Luc Fabresse
2010 Lecture Notes in Computer Science  
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


Charles Consel
2011 Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11  
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