Filters








128,167 Hits in 4.2 sec

Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models

Fatemeh Majidi, Ali Harounabadi
2015 Journal of Advanced Computer Science & Technology  
Upon analyzing the results, it is observed that the offered method can evaluate the performance of software architecture based on blackboard technique at the design age.  ...  Later, upon converting the actual model to the formal model, requirements for system performance evaluation on the formal model is provided.  ...  An executable model of architecture is assumed as a formal description of architecture through which may analyze the behavior of final system before architecture implementation and get aware of problems  ... 
doi:10.14419/jacst.v4i1.3982 fatcat:tdji722x7fhtnioudslums4tke

ATAM-based Architecture Evaluation Using LOTOS Formal Method

Muhammad Usman Ashraf, Wajdi Aljedaibi
2017 International Journal of Information Technology and Computer Science  
Many methods and formal descriptive techniques have been proposed to make a comprehensive analysis and formal representation of a system architecture.  ...  System Architecture evaluation and formal specification are the significant processes and practical endeavors in all domains.  ...  Nevertheless, early stage evaluation of large-scale system architecture is not sufficiently addressed by existing architectural evaluation methods.  ... 
doi:10.5815/ijitcs.2017.03.02 fatcat:tjrzsesy5vgkxbey5sgr7gtem4

Performance Evaluation using Blackboard Technique in Software Architecture

Fatemeh majidi, Ali Harounabadi
2015 International Journal of Computer Applications Technology and Research  
We propose an approach for evaluate the performance of software systems, based on black board technique in software architecture level.  ...  Therefore, modeling and evaluation of non-functional requirements in software architecture level, that are designed at the primary stages of software systems development cycle and prior to implementation  ...  An executable model of architecture is assumed as a formal description of architecture through which may analyze the behavior of final system before architecture implementation and get aware of problems  ... 
doi:10.7753/ijcatr0402.1011 fatcat:aggp6fsvvjdrxpc4i3e6nzpnhu

Enterprise architecture evaluation using architecture framework and UML stereotypes

Narges Shahi, Ali Haroun Abadi, Hadi abooei mehrizi
2014 Management Science Letters  
In this study, the processes of enterprise architecture are illustrated through UML diagrams, and the architecture is evaluated in programming phase through transforming the UML diagrams to Petri nets.  ...  The enterprise architecture process generally consists of three phases including strategic programing of information technology, enterprise architecture programing and enterprise architecture implementation  ...  The recommended method, in addition to the abilities of those methods, is able of evaluating the enterprise architecture through software resources; in fact, it is the unique ability of this recommended  ... 
doi:10.5267/j.msl.2014.7.005 fatcat:p6xtqznajnetzjn3if7xzlvj3e

Sustainability evaluation of software architectures

Heiko Koziolek
2011 Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11  
Existing literature reviews for architecture evaluation focus on scenario-based methods, but do not provide a critical reflection of the applicability of such methods for sustainability evaluation.  ...  Our review identifies a need for further empirical research, for the integration of existing methods, and for the more efficient use of formal architectural models.  ...  No end-to-end method for sustainability evaluation from requirements to maintenance is available.  ... 
doi:10.1145/2000259.2000263 dblp:conf/qosa/Koziolek11 fatcat:dedzvz2dhnbhvflkgolh4iycs4

OntoArch Approach for Reliability-Aware Software Architecture Development

Jiehan Zhou, Eila Niemelä, Antti Evesti, Anne Immonen, Pekka Savolainen
2008 2008 32nd Annual IEEE International Computer Software and Applications Conference  
2) targeting reliability-aware software architecture development; and 3) OntoArch ontology in the context of software architecture design and software reliability engineering.  ...  This paper tackles the issue by introducing an ontology-based approach, called OntoArch, which is characterized by: 1) integration of software reliability engineering and software architecture design;  ...  Acknowledgement This work was funded by Tekes, the Finnish Funding Agency for Technology and Innovation (Tekes), and VTT Technical Research Centre of Finland.  ... 
doi:10.1109/compsac.2008.91 dblp:conf/compsac/ZhouNEIS08 fatcat:flpd7r54mzac3e4x6fqpjonjme

Modeling and simulation framework for quality estimation of web applications through architecture evaluation

María Julia Blas, Horacio Leone, Silvio Gonnet
2020 SN Applied Sciences  
Therefore the simulation process is hidden to software architects, providing an evaluation process able to be executed by any developer without knowledge of discrete-event simulation.  ...  The explosive growth of the cloud computing industry in recent years has paying attention to problems related to software services quality.  ...  All the conventional evaluation methods are useful to evaluate CCA software architectures.  ... 
doi:10.1007/s42452-020-2171-z fatcat:wcv7khs6dzcaljkjn5yobflroy

Introduction to the Special Section on Adaptive and Reconfigurable Distributed Systems

Slim Kallel (Managing Guest Editor), Khalil Drira, Mohamed Jmaiel
2017 Computers & electrical engineering  
His current research areas include software engineering of distributed systems, formal methods in model-driven architecture, self-adaptive and pervasive systems, autonomic middleware.  ...  The passage from a scale to another is also done in a formal way, through the application of various rules of architectural transformation.  ... 
doi:10.1016/j.compeleceng.2017.09.021 fatcat:2ukmevqmlfewbnuugbhljfifpm

Introduction to the theme issue on models for quality of software architecture

Dorina C. Petriu, Jens Happe
2013 Journal of Software and Systems Modeling  
An architecture framework for enterprise IT service availability analysis introduced in the paper of Ulrik Franke, Pontus Johnson, and Johan König combines formal availability methods (such as fault trees  ...  ) and qualitative methods (such as maturity models) to provide a holistic analysis of the availability of IT services.  ... 
doi:10.1007/s10270-013-0373-1 fatcat:filpt5btfzemjkbcpas4fjefly

ICSE 97 doctoral consortium (workshop)

Michal Young
1997 Proceedings of the 19th international conference on Software engineering - ICSE '97  
Full research abstracts and contact information are available through the ICSE 97 web site.  ...  As au example, integrating a Unix titer with a Corba object is problematic: the titer expects to interact through streams; the object, through method calls.  ... 
doi:10.1145/253228.253835 dblp:conf/icse/Young97 fatcat:brofert5i5hj5bq4cxrid3jhgi

Quantitative Measurement of Quality Attribute Preferences Using Conjoint Analysis [chapter]

Kwang Chun Lee, Ho-Jin Choi, Dan Hyung Lee, Sungwon Kang
2006 Lecture Notes in Computer Science  
This paper shows how the method can be applied to the area of software architecture to analyze architectural tradeoffs among quality attributes.  ...  By eliciting customers utilities through conjoint analysis, software engineers can identify and focus on the useful quality attributes, which will increase the chance of delivering satisfactory software  ...  The Architecture Tradeoff Analysis Method (ATAM) developed by the Software Engineering Institute (SEI) at CMU is a method for evaluating architecturelevel designs that considers multiple quality attributes  ... 
doi:10.1007/11752707_18 fatcat:mipjw3b6n5hsbjv2veqmvvyuqq

A Research Landscape on Formal Verification of Software Architecture Descriptions

Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo
2019 IEEE Access  
To evaluate the research landscape on this subject, we have carried out a systematic mapping study in which we collected and analyzed studies available at the literature on formal verification of architecture  ...  In this context, it is worthwhile investigating the role of architecture descriptions to support the formal verification of software architectures to ensure their quality, as well as how such a process  ...  through a systematic, rigorous procedure of collection, selection, and analysis of available primary studies [11] , [12] .  ... 
doi:10.1109/access.2019.2953858 fatcat:qkq4p4cnabgnjgaazq2hndxnma

Software Components Evaluation: an Overview

Miguel Goulão, Fernando Brito e Abreu
2004 Zenodo  
Method: Comparison of several approaches available in the literature, in terms of their scope, intent, definition technique and maturity.  ...  Objective: To contribute with an overview on the current state of the art concerning metrics-based quality evaluation of software components and component-based assemblies.  ...  Method: Comparison of several approaches available in the literature, in terms of their scope, intent, definition technique and maturity.  ... 
doi:10.5281/zenodo.2667427 fatcat:tylun4ggtvbyrofewc5igxv57e

Statistical Model Checking of Dynamic Software Architectures [chapter]

Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flavio Oquendo, Thais Batista, Axel Legay
2016 Lecture Notes in Computer Science  
The critical nature of many complex software-intensive systems calls for formal, rigorous architecture descriptions as means of supporting automated verification and enforcement of architectural properties  ...  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  ...  [20] , one of the most popular formal methods for analyzing software architectures is model checking, an exhaustive, automatic verification technique whose general goal is to verify if an architectural  ... 
doi:10.1007/978-3-319-48992-6_14 fatcat:5kcu4rhx5zhbfafdoy6uq64njq

A Framework for Classifying and Comparing Architecture-centric Software Evolution Research

P. Jamshidi, M. Ghafari, A. Ahmad, C. Pahl
2013 2013 17th European Conference on Software Maintenance and Reengineering  
Architecture-centric software evolution (ACSE) is considered as an approach to support software adaptation at a controllable level of abstraction in order to survive in the uncertain environment.  ...  Existing research and practices comprise a wide spectrum of evolution-centric approaches in terms of formalisms, methods, processes and frameworks to tackle ACSE as well as empirical studies to consolidate  ...  This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lero -the Irish Software Engineering Research Centre (www.lero.ie).  ... 
doi:10.1109/csmr.2013.39 dblp:conf/csmr/JamshidiGAP13 fatcat:rdyjnzodebb3lpkgtbqxe2vgsq
« Previous Showing results 1 — 15 out of 128,167 results