Página 1 dos resultados de 1037 itens digitais encontrados em 0.006 segundos

‣ AGIRA - Um processo ágil de desenvolvimento de software baseado em arquiteturas de referência; AGIRA - An agile software development method based on reference architectures

Zani, Vinícius Augusto Tagliatti
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 04/03/2013 Português
Relevância na Pesquisa
48.376123%
A área de pesquisa de Arquitetura de Software tem recebido cada vez mais atenção dentro da Engenharia de Software, visto que arquiteturas de software têm tido papel determinante para a qualidade de sistemas de software. Nesse contexto, arquiteturas de referência surgiram como um tipo especial de arquitetura que provê diretrizes para construção de arquiteturas de software de uma dada classe de sistemas, promovendo também o reúso do conhecimento sobre um dado domínio de aplicação. Considerando sua relevância, arquiteturas de referência têm sido propostas e utilizadas com sucesso em diferentes domínios. Em outra perspectiva, a indústria de software tem cada vez mais adotado métodos ágeis de desenvolvimento de software, visando, entre outros aspectos, diminuir o tempo de entrega de seus produtos. De um modo geral, esses métodos têm como característica comum ciclos curtos de produção e entrega no desenvolvimento de software. Consequentemente, minimizam a quantidade de documentação gerada no processo. Dessa forma, parece ser conflitante a adoção de arquiteturas de referência no contexto de métodos ágeis. No entanto, iniciativas já podem ser encontradas, apesar de haver uma carência de trabalhos que propõem a utilização de ambas de forma integrada. Dessa forma...

‣ A new trend on the development of fault-tolerant applications : software meta-level architectures

Lisboa, Maria Lucia Blanck
Fonte: Universidade Federal do Rio Grande do Sul Publicador: Universidade Federal do Rio Grande do Sul
Tipo: Artigo de Revista Científica Formato: application/pdf
Português
Relevância na Pesquisa
48.011226%
The purpose of this paper is to investigate a clearly defined way of developing fault-tolerant applications using software meta-level architectures. Meta-level architectures are software architectures based on computational reflection. It addresses complex pieces of software: fault-tolerant software. Fault-tolerant applications must cope with several non-functional requirements to maintain its functionality. So, it is particularly relevant to investigate how to alleviate developers from repeatedly dealing with this complexity. Some solutions are presented, such as software patterns and basic guidelines to help the development of such applications.

‣ On refinement of software architectures

Meng, Sun; Barbosa, L. S.; Naixiao, Zhang
Fonte: Springer Berlin Publicador: Springer Berlin
Tipo: Artigo de Revista Científica
Publicado em //2005 Português
Relevância na Pesquisa
57.89013%
Although increasingly popular, software component techniques still lack suitable formal foundations on top of which rigorous methodologies for the description and analysis of software architectures could be built. This paper aims to contribute in this direction: building on previous work by the authors on coalgebraic semantics, it discusses component refinement at three different but interrelated levels: behavioural, syntactic, i.e., relative to component interfaces, and architectural. Software architectures are defined through component aggregation. On the other hand, such aggregations, no matter how large and complex they are, can also be dealt with as components themselves, which paves the way to a discipline of hierarchical design. In this context, a major contribution of this paper is the introduction of a set of rules for architectural refinement. Keywords: Software component, software architecture, refinement, coalgebra.; Fundação para a Ciência e a Tecnologia (FCT)

‣ Deriving software architectures for CRUD applications : the FPL tower interface case study

Mashkoor, Atif; Fernandes, João M.
Fonte: IEEE Computer Society Press Publicador: IEEE Computer Society Press
Tipo: Artigo de Revista Científica
Publicado em /08/2007 Português
Relevância na Pesquisa
57.66928%
The main aim of this paper is to present how to derive logical software architectures for CRUD (Create, Read, Update and Delete) applications using a specific technique called 4SRS. In this technique, a component diagram, which is obtained through transformations of use cases, is used to represent the logical software architecture. To show that the 4SRS technique, which was initially devised for behavior-intensive reactive systems, is also effective and gives seamless results for other software domains, it is being experimented on data processing systems, which typically follow a CRUD pattern. For demonstration purposes, the FPL tower interface system, which is responsible for communication between air traffic control operators and flight data processing system on airports of Portugal, has been used as a case study.

‣ On the derivation of class diagrams from use cases and logical software architectures

Santos, Maribel Yasmina; Machado, Ricardo J.
Fonte: IEEE Publicador: IEEE
Tipo: Conferência ou Objeto de Conferência
Publicado em //2010 Português
Relevância na Pesquisa
67.738296%
The transformation of user requirements into system requirements models can be achieved using the 4-Step Rule Set (4SRS) method that transforms UML use case diagrams into system-level object diagrams. These diagrams represent the logical architecture of the system, integrating the system-level entities, their responsibilities and the relationships among them. The logical architecture captures the system functional requirements and its nonfunctional intentionalities. Although contributing to the formalization of the design of software architectures, the 4SRS method needs to be extended in order to support the design of the database subsystems that may be considered pertinent within the specified logical architecture. This paper presents the extension of the 4SRS method to support the construction of the class diagram that complements the logical architecture, and shows, through the presentation of a demonstration case, the applicability of the proposed approach.

‣ Pushouts in software architecture design

Riché, T. L.; Gonçalves, Rui; Marker, B.; Batory, D.
Fonte: Universidade do Minho Publicador: Universidade do Minho
Tipo: Conferência ou Objeto de Conferência
Publicado em //2012 Português
Relevância na Pesquisa
57.738296%
A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this approach is hard or impractical when reverse engineering legacy software architectures. We present a case study that shows optimizations and pushouts--in addition to refinements and extensions--are essential for practical stepwise development of complex software architectures.; NSF CCF 0724979; NSF CNS 0509338; NSF CCF 0917167; NSF DGE-1110007; FCT SFRH/BD/47800/2008; FCT UTAustin/CA/0056/2008

‣ A New Trend on the Development of Fault-Tolerant Applications: Software Meta-Level Architectures

Lisbôa,Maria Lúcia Blanck
Fonte: Sociedade Brasileira de Computação Publicador: Sociedade Brasileira de Computação
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/11/1997 Português
Relevância na Pesquisa
47.987153%
The purpose of this paper is to investigate a clearly defined way of developing fault-tolerant applications using software meta-level architectures. Meta-level architectures are software architectures based on computational reflection. It addresses complex pieces of software: fault-tolerant software. Fault-tolerant applications must cope with several non-functional requirements to maintain its functionality. So, it is particularly relevant to investigate how to alleviate developers from repeatedly dealing with this complexity. Some solutions are presented, such as software patterns and basic guidelines to help the development of such applications

‣ Dynamic software product line architectures using service based computing for automotive systems

Shokry, Hesham; Ali Babar, Muhammad
Fonte: University of Limerick Publicador: University of Limerick
Tipo: Conference item; all_ul_research; none
Português
Relevância na Pesquisa
47.86606%
non-peer-reviewed; Our research is aimed at applying the notion of dynamic runtime variability of software product lines in the embedded automotive software systems to create adaptable and reconfigurable software architectures. We argue that Service-Oriented Architecture (SOA) can be used to describe and compose the software architecture of an in-vehicle Distributed Real-time Embedded System (DRES) software application. This paper describes how the SOA is, in general, an appropriate architectural style for automotive DRES and in particular it has the potential to help achieve the run time variability in product line architectures. The architecture of such a product line is composed of a set of interacting services. These services are “adaptively” connected together with adaptive connectors. The variability of the product line architecture lies and managed within these connectors.

‣ Designing mobile aspect-oriented software architectures with ambients

Ali, Nour; Ramos, Isidro
Fonte: IGI Global Publicador: IGI Global
Tipo: info:eu-repo/semantics/bookPart; all_ul_research; ul_published_reviewed
Português
Relevância na Pesquisa
57.45837%
peer-reviewed; This chapter focuses on designing software architectures of mobile applications using an Aspect-Oriented Architecture Description Language (AOADL). The AOADL follows an approach called Ambient-PRISMA which enables designers to address, in an explicit and abstract way, the notion of location and mobility. Concretely, the AOADL extends the PRISMA AOADL by introducing a primitive called an ambient which is inspired by Ambient Calculus. An ambient defines a bounded place where other architectural elements (components and connectors) reside and are coordinated with elements that are outside an ambient’s boundary. Architectural elements can enter and exit ambients. Ambients, as well as other architectural elements, are defined by importing aspects. Thus, behaviours that change the location of architectural elements are specified separately in distribution aspects. The objective of this chapter is to explain the steps that have to be followed when designing architecture configurations of distributed and mobile systems using the Ambient-PRISMA AOADL. This is explained by using a running example of a distributed auction system.

‣ A pattern language for evolution in component-based software architectures

Ahmad, Aakash; Jamshidi, Pooyan; Pahl, Claus; Khaliq, Fawad
Fonte: University of Limerick Publicador: University of Limerick
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
Português
Relevância na Pesquisa
58.011226%
peer-reviewed; Modern software systems are prone to a continuous evolution under frequently varying requirements. Architecture-centric software evolution enables change in system structure and behavior while maintaining a global view of software to address evolution-centric tradeoffs. The Lehman’s law of continuing change demands for long-living and continuously evolving architectures to prolong the productive life and economic value of deployed software. However, the existing solutions for architectural maintenance and evolution fall short of exploiting generic and reusable expertise to address recurring evolution problems. We argue that architectural evolution process requires an explicit evolution-centric knowledge – that can be discovered, shared and reused – to anticipate and guide change management. Therefore, we propose a pattern language (PatEvol) as a collection of interconnected change patterns that enable reuse-driven and consistent evolution in component-based software architectures (CBSAs). Pattern interconnections represent possible relationships among patterns (such as variants or related patterns) in the language. In component-based architectures, hierarchal configurations of atomic and composite elements express computational components and their connectors to develop and evolve software. More specifically...

‣ Summary of the '95 Monterey Workshop - Specification-Based Software Architectures

Berzins, V.; Shing, M.
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Conference Paper
Português
Relevância na Pesquisa
47.86606%
The focus of the 1995 Monterey Workshop was on the relation among specification-based software architectures, formal methods, and practical tools for software development. The study of software architectures is a young and evolving field. Although the term "software architecture" is not explicitly mentioned, some early work by Wiederhold et al proposes a component-based software technology for programming in the large, where software systems are made up of subsystems (called megamodules) glued together by megaprograms. The major difference between megamodules and traditional modules is that the former "encapsulate not only procedures and data, but also types, concurrency, knowledge, and ontology"[6] .

‣ Decomposing distributed software architectures for the determination and incorporation of security and other non-functional requirements

Uzunov, A.; Falkner, K.; Fernandez, E.
Fonte: IEEE; USA Publicador: IEEE; USA
Tipo: Conference paper
Publicado em //2013 Português
Relevância na Pesquisa
57.738296%
Non-functional requirements (NFRs) such as security, reliability and performance play a crucial role in the development of modern distributed systems. The burden of incorporating NFRs into a system's architecture, as well the determination of new design-level NFRs, can be greatly eased by the use of a structured approach providing guidance to developers. Such structured approaches, however, require equally structured system characterisations. This is especially important for distributed systems, which are inherently complex and multi-faceted. In this paper we propose a form of characterisation which we term architectural decomposition, and present a multi-level conceptual framework for decomposing distributed software architectures. Using the framework for decomposing architectures can help guide the incorporation and, via complementary analysis processes, the determination of NFRs at the architectural level. We describe each of the levels of the framework in turn, propose a complementary analysis process for security based on threat modelling, as well as a process for using the framework itself, and demonstrate the utility of our approach via an example derived from a real-life distributed architecture.; Anton V. Uzunov, Katrina Falkner...

‣ A framework for acquisition and application of software architecture evolution knowledge

Ahmad, Aakash; Jamshidi, Pooyan; Pahl, Claus
Fonte: Association for Computing Machinery Publicador: Association for Computing Machinery
Tipo: info:eu-repo/semantics/article; all_ul_research; ul_published_reviewed
Português
Relevância na Pesquisa
47.93867%
peer-reviewed; Software systems continuously evolve as a consequence of frequent changes in their functional requirements and the environment surrounding them. Architecture-centric software evolution (ACSE) enables changes in software structure and behaviour while abstracting the complex implementation-specific details. However, due to recurring evolution there is a need for solutions that enable a systematic reuse of frequent changes in software architectures. In recent years, architecture change patterns and evolution styles proved successful in promoting reuse expertise to tackle architecture evolution. However, there do not exist any solutions that enable a continuous acquisition and application of architecture evolution knowledge to systematically address frequent changes in software architectures. In this paper, we propose a framework PatEvol that aims to unify the concepts of i) software repository mining and ii) software evolution to enable acquisition and application of architecture evolution knowledge. In the proposed PatEvol framework, we present knowledge acquisition (architecture evolution mining) to enable post-mortem analysis of evolution histories to empirically discover evolution-centric knowledge. Furthermore, we support reuse of discovered knowledge to enable knowledge application (architecture evolution execution) that enables evolution-off-the-shelf in software architectures. Tool support facilitates the knowledge acquisition and knowledge application processes in the PatEvol framework.

‣ Uma infra-estrutura de software para apoiar a construção de arquiteturas de software baseadas em componentes; A software infrastructure to support component based software architecture construction

Tiago Cesar Moronte
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 23/02/2007 Português
Relevância na Pesquisa
48.03998%
Os paradigmas de arquitetura de software e de desenvolvimento baseado em componentes (DBC) são abordagens complementares para o desenvolvimento de sistemas de software. O DBC se baseia na construção de sistemas através da integração de componentes de software reutilizáveis. A arquitetura de software auxilia na forma como estes componentes são integrados levando em consideração atributos de qualidade, tais como confiabilidade e distribuição. Entretanto, observa-se atualmente a falta de consenso entre os conceitos, termos e definições utilizados nas abordagens de arquitetura de software e de DBC, dificultando a integração das respectivas técnicas e ferramentas. As ferramentas e ambientes atuais para descrição de arquiteturas de software não apóiam todas as fases dos processos de DBC, normalmente não geram implementações das arquiteturas e não implementam conceitos importantes de DBC, tais como especificações de interfaces providas e requeridas. Por outro lado, ferramentas e ambientes DBC atuais, em geral, são baseados em modelagem UML e não englobam todos os conceitos presentes em arquitetura de software, tais como estilos arquiteturais e uso explícito de conectores. Este trabalho apresenta uma infra-estrutura de software para construção de arquiteturas de software baseadas em componentes...

‣ ACME vs PDDL: support for dynamic reconfiguration of software architectures

Méhus, Jean-Eudes; Batista, Thais; Buisson, Jérémy
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 01/06/2012 Português
Relevância na Pesquisa
57.859395%
On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL is a predicative language for the description of planning problems. It has been designed in the AI community for the International Planning Competition of the ICAPS conferences. Several related works have already proposed to encode software architectures into PDDL. Existing planning algorithms can then be used in order to generate automatically a plan that updates an architecture to another one, i.e., the program of a recon guration. In this paper, we improve the encoding in PDDL. Noticeably we propose how to encode ADL types and constraints in the PDDL representation. That way, we can statically check our design and express PDDL constraints in order to ensure that the generated plan never goes through any bad or inconsistent architecture, not even temporarily.; Comment: 6\`eme \'edition de la Conf\'erence Francophone sur les Architectures Logicielles (CAL 2012), Montpellier : France (2012)

‣ Delta Modeling for Software Architectures

Haber, Arne; Rendel, Holger; Rumpe, Bernhard; Schaefer, Ina
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 08/09/2014 Português
Relevância na Pesquisa
57.54152%
Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independent approach for modeling system variability. A set of diverse systems is represented by a core system and a set of deltas specifying modifications to the core system. In this paper, we give a first sketch of how to apply delta modeling in MontiArc, an existing architecture description language, in order to obtain an integrated modeling language for architectural variability. The developed language, MontiArc, allows the modular modeling of variable software architectures and supports proactive as well as extractive product line development.; Comment: 10 pages, 6 figures. > Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, fortiss GmbH M\"unchen, February 2011

‣ Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures

Mousavi, MohammadReza; Salaün, Gwen
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 28/07/2010 Português
Relevância na Pesquisa
57.54152%
This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on July 30th, 2010 as a satellite event of the 21st International Conference on Concurrency Theory, CONCUR 2010. The papers presented in this proceedings tackle different issues that are currently central to our community, namely software adaptation, sensor networks, distributed control, non-functional aspects of coordination such as resources, timing and stochastics.

‣ Transforming Platform-Independent to Platform-Specific Component and Connector Software Architecture Models

Ringert, Jan O.; Rumpe, Bernhard; Wortmann, Andreas
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 17/11/2015 Português
Relevância na Pesquisa
48.030576%
Combining component & connector architecture descriptionlanguageswithcomponentbehaviormodelinglanguages enables modeling great parts of software architectures platformindependently. Nontrivial systems typically contain components with programming language behavior descriptions to interface with APIs. These components tie the complete software architecture to a specific platform and thus hamper reuse. Previous work on software architecture reuse with multiple platforms either requires platform-specific handcrafting or the effort of explicit platform models. We present an automated approach to transform platform-independent, logical software architectures into architectures with platform-specific components. This approach introduces abstract components to the platform-independent architecture and refines the se with components specific to the target platform prior to code generation. Consequently, a single logical software architecture model can be reused with multiple target platforms, which increases architecture maturity and reduces the maintenance effort of multiple similar software architectures.; Comment: 6 pages, 4 figures, 2 listings 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp)

‣ Support for Evolving Software Architectures in the ArchWare ADL

Morrison, Ron; Kirby, Graham; Balasubramaniam, Dharini; Mickan, Kath; Oquendo, Flavio; Cîmpan, Sorana; Warboys, Brian; Snowdon, Bob; Greenwood, Mark
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 24/06/2010 Português
Relevância na Pesquisa
47.835303%
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and re-negotiation of its business goals nor intercept the potential of new technology. To accommodate change in software systems we have defined an active software architecture to be: dynamic in that the structure and cardinality of the components and interactions are changeable during execution; updatable in that components can be replaced; decomposable in that an executing system may be (partially) stopped and split up into its components and interactions; and reflective in that the specification of components and interactions may be evolved during execution. Here we describe the facilities of the ArchWare architecture description language (ADL) for specifying active architectures. The contribution of the work is the unique combination of concepts including: a {\pi}-calculus based communication and expression language for specifying executable architectures; hyper-code as an underlying representation of system execution that can be used for introspection; a decomposition operator to incrementally break up executing systems; and structural reflection for creating new components and binding them into running systems.; Comment: 4th Working IEEE/IFIP Conference on Software Architecture (WICSA'04) pp.69-78...

‣ Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures

Mousavi, Mohammad Reza; Ravara, Antonio
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 28/07/2011 Português
Relevância na Pesquisa
57.54152%
Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components. To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and software architecture are recognised as fundamental. The goal of the this workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the context of coordination languages and software architectures.; Comment: EPTCS 58, 2011