Spelling suggestions: "subject:"[een] ORIENTED SYSTEMS"" "subject:"[enn] ORIENTED SYSTEMS""
11 |
Feature-Oriented Design Pattern Detection in Object-Oriented SystemsHu, Lei 07 1900 (has links)
<p> Identifying design pattern instances within an existing software system can support understanding and reuse of the system functionality. Moreover, incorporating behavioral features through task scenario into the design pattern recovery would enhance both the scalability of the process and the usefulness of the design pattern instances. In this context, we present a novel method for recovering design pattern instances from the implementation of system behavioral features through a semi-automatic and multi-phase reverse engineering
process.</p> <p> The proposed method consists of a feature-oriented dynamic analysis and
a two-phase design pattern detection process. The feature-oriented dynamic analysis works on the software system behavioral features' run-time information and produces a mapping between features and their realization at class level. In the two-phase design pattern detection process, we employ an approximate matching and a structural matching to detect the instances of the target design pattern described in our proposed Pattern Description Language (PDL), which is an XML-based design pattern description language. The correspondence between system features and the identified design pattern instances can
facilitate the construction of more reusable and configurable software components.
Our target application domain is an evolutionary development of software product line which emphasizes on reusing software artifacts to construct a reference architecture for several similar products. We have implemented a prototype toolkit and conducted experimentations on three versions of JHotDraw systems to evaluate our approach.</p> / Thesis / Master of Applied Science (MASc)
|
12 |
A Design Framework for Service-oriented SystemsEnoiu, Eduard, Marinescu, Raluca January 2011 (has links)
In the context of building software systems, Service-oriented Systems (SOS) have become one of the major research topics in the past few years. In SOS, services are basic functional units that can be created, invoked, composed, and if needed deleted on-the-fly. Since these software systems are composed of different services there is no easy way to assure the Quality of Service (QoS), therefore, formal specification of both functional and extra-functional system behaviour, compatibility, and interoperability between different services have become important issues. As a way to address this issues, resource-aware timing behavioural language REMES was chosen to be extended towards service-oriented paradigm with service specific information, such as type, capacity, time-to-serve, etc., as well as Boolean predicate constraints on control flow guarantees. In this thesis we present a design framework that provides a graphical user interface for behaviour modelling of services based on REMES language. NetBeans Visual Library API is used to display editable service diagrams with support for graph-oriented models. A textual dynamic service composition language was implemented, together with means to automatically verify service composition correctness. We ensure also an automated traceability between service specification interfaces, where both modelling levels are combined in an efficient tool for designing SOS.
|
13 |
Architectural modelling and verification of open service-oriented systems of systemsBecker, Basil January 2013 (has links)
Systems of Systems (SoS) have received a lot of attention recently. In
this thesis we will focus on SoS that are built atop the techniques of
Service-Oriented Architectures and thus combine the benefits and
challenges of both paradigms. For this thesis we will understand SoS
as ensembles of single autonomous systems that are integrated to a
larger system, the SoS. The interesting fact about these systems is
that the previously isolated systems are still maintained, improved
and developed on their own. Structural dynamics is an issue in SoS, as
at every point in time systems can join and leave the ensemble. This
and the fact that the cooperation among the constituent systems is not
necessarily observable means that we will consider these systems as open systems.
Of course, the system has a clear boundary at each point in time, but
this can only be identified by halting the complete SoS. However,
halting a system of that size is practically impossible. Often SoS
are combinations of software systems and physical systems. Hence a
failure in the software system can have a serious physical impact what
makes an SoS of this kind easily a safety-critical system.
The contribution of this thesis is a modelling approach that extends
OMG's SoaML and basically relies on collaborations and roles as an
abstraction layer above the components. This will allow us to describe
SoS at an architectural level. We will also give a formal semantics
for our modelling approach which employs hybrid graph-transformation
systems. The modelling approach is accompanied by a modular
verification scheme that will be able to cope with the complexity
constraints implied by the SoS' structural dynamics and size. Building such autonomous systems as SoS without evolution at the architectural level --- i. e. adding and removing of components and services --- is inadequate. Therefore our approach directly supports the modelling and verification of evolution. / Systems of Systems (SoS) sind ein seit längerem bekanntes Konzept, das
jedoch in letzter Zeit vermehrt Aufmerksamkeit erhielt. Das
Hauptaugenmerk dieser Arbeit wird auf SoS liegen, die mit Hilfe von
Techniken aus Service-Orientierten Architekturen erstellt
werden. Somit vereinen die hier betrachteten SoS die Vorteile und
Herausforderungen beider Paradigmen. SoS können definiert werden als
Zusammenschlüsse einzelner, autonomer Systeme, die zu einem größeren
System integriert werden. In diesem Zusammenhang interessant ist,
dass die ehemals isolierten Systeme nach wie vor isoliert voneinander
weiterentwickelt und gewartet werden. Desweiteren kommt der
Strukturdynamik innerhalb des SoS eine beachtliche Bedeutung zu, da
jederzeit Systeme dem SoS beitreten und es verlassen können. Zusammen
mit der Tatsache, dass die Kooperationen zwischen den konstituierenden
Systemen nicht immer beobachtbar sind, führt dies dazu, dass wir diese
Systeme als offene Systeme bezeichnen. Wobei das System natürlich
jederzeit eine klar definierte Grenze besitzt, diese aber nur durch
ein Anhalten des Systems zu bestimmen ist. Dies jedoch ist, von einer
praktischen Perspektive aus betrachtet, unmöglich. Häufig stellen SoS
eine Kombination aus Softwaresystemen und pyhsikalischen Systemen dar
mit der Folge, dass ein Fehler in der Software eine SoS schnell eine
immense physikalische Wirkung entwickeln kann. Von daher fallen SoS
leicht in die Klasse der sicherheitskritischen Systeme.
In dieser Arbeit werden wir einen Modellierungsansatz vorstellen, der
die Sprache SoaML der OMG erweitert. Die grundlegenden Konzepte
dieses Ansatzes sind die Modellierung mit Kollaborationen und Rollen
als Abstraktionsebene über Komponenten. Der vorgestellte Ansatz
erlaubt es uns SoS auf einer architekturellen Ebene zu betrachten.
Die formale Semantik unseres Modellierungsansatzes ist durch hybride
Graphtransformationssysteme gegeben. Abgestimmt auf die Modellierung
werden wir ebenfalls ein Verfahren zu Verifikation von SoS vorstellen,
welches trotz der inhärenten Komplexität von SoS, diese zu
verifizieren. Die Modellierung und Verifikation von Evolution wird
von unserem Ansatz direkt unterstützt.
|
14 |
[en] COMPARISON OF AGENT AND OBJECT ORIENTED PROJECTS USING THE GEORISC PLATFORM / [pt] COMPARAÇÃO DE PROJETO BASEADO EM AGENTES E ORIENTAÇÃO A OBJETOS NA PLATAFORMA GEORISCSERGIO LUIZ RUIVACE CERQUEIRA 08 September 2011 (has links)
[pt] Diversas tecnologias de implementação de software são discutidas na
literatura. Duas dessas tecnologias são a orientação a objetos, que se encontra
consolidada, e a orientação a agentes, que vem sendo objeto de muitos estudos e
experimentos. Esses estudos indicam a orientação a agentes como muito
promissora e como uma evolução da orientação a objetos. No entanto, há poucos
trabalhos comparando essas duas técnicas e os poucos trabalhos se baseiam em
comparações ideológicas e qualitativas. Essa dissertação tem por objetivo
desenvolver e avaliar modos sistemáticos de avaliação de duas arquiteturas de
implementação de sistemas. As duas tecnologias apresentadas foram comparadas
e foi determinado se a utilização de uma tecnologia trouxe benefícios,
desvantagens ou foi indiferente face à outra. A comparação foi realizada tomando
por base um problema real, ou seja, foram criadas duas implementações que
solucionam o problema de modo similar cada uma usando uma tecnologia. Para o
desenvolvimento desse trabalho foi criado um plano de medição com base na
técnica Goal Question Metric. O plano de medição foi aplicado às duas
implementações e resultados obtidos foram avaliados definindo os benefícios de
cada técnica. Por fim, foi feita uma crítica da utilização do modelo GQM em um
projeto real. / [en] There are several software development technologies currently in the
literature. Two such technologies are object orientation, which is consolidated,
and agent orientation, which has been the subject of many studies and
experiments. These studies indicate the agent orientation as very promising and an
evolution of object orientation. However, there is only a few studies comparing
these two techniques and these studies have been based on ideological and
qualitative comparisons. This dissertation aims to develop and evaluate methods
of systematic evaluation of two architectures for implementing systems. The two
technologies presented were compared and determined whether the use of
technology has brought benefits, disadvantages or was indifferent to the other.
The comparison was performed based on taking a real problem; in other words,
two implementations have been created that address the problem similarly each
using a technology. To develop this work, it was created a measurement plan
based on the technique Goal Question Metric. The measurement plan was applied
to both implementations and results were evaluated by defining the benefits of
each technique. Finally was done a discussion about the use of the GQM model in
a real project.
|
15 |
Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service AnalysisČaušević, Aida January 2011 (has links)
Service-oriented systems (SOS) have recently emerged as context-independent component-based systems. In contrast to components, services can be created, invoked, composed and destroyed at run-time. Services are assumed to be platform independent and available for use within heterogeneous applications. One of the main assets in SOS is service composability. It allows the development of composite services with the main goal of reusable functionality provided by existing services in a low cost and rapid development process at run-time. However, in such distributed systems it becomes difficult to guarantee the quality of services (QoS), both in isolation, as well as of the newly created service compositions. Means of checking correctness of service composition can enable optimization w.r.t. the function and resource-usage of composed services, as well as provide a higher degree of QoS assurance of a service composition. To accomplish such goals, we employ model-checking technique for both single and composed services. The verification eventually provides necessaryinformation about QoS, already at early development stage.This thesis presents the research that we have been carrying out, on developing of methods and tools for specification, modeling, and formal analysis of services and service compositions in SOS. In this work, we first show how to formally check QoS in terms of performance and reliability for formallyspecified component-based systems (CBS). Next, we outline the commonalities and differences between SOS and CBS. Third, we develop constructs for the formal description of services using the resource-aware timed behavioral language called REMES, including development of language to support service compositions. At last, we show how to check service and service composition(functional, timing and resource-wise) correctness by employing the strongest post condition semantics. For less complex services and service compositions we choose to prove correctness using Hoare triples and the guarded command language. In case of complex services described as priced timed automata(PTA), we prove correctness via algorithmic computation of strongest post-condition of PTA. / Q-ImPreSS
|
16 |
Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos / How the practice of TDD influences the class design on object-oriented systemsAniche, Mauricio Finavaro 25 April 2012 (has links)
Desenvolvimento Guiado por Testes (TDD) e uma das praticas sugeridas na Programacao Extrema. A mecanica da pratica e simples: o programador escreve o teste antes de escrever o codigo. E, portanto, possivel inferir que a pratica de TDD e uma pratica de testes de software. Entretanto, muitos autores de livros conhecidos pela industria e academia afirmam que os efeitos da pratica vao alem. Segundo eles, TDD ajuda o desenvolvedor durante o processo de criacao do projeto classes, fazendo-os criar classes menos acopladas e mais coesas. Entretanto, grande parte dos trabalhos da literatura sao voltados a descobrir se a pratica faz diferenca na qualidade do codigo gerado, mas poucos sao os autores que discutem como a pratica realmente auxilia. Mesmo os proprios praticantes nao entendem ou conseguem expressar bem como a pratica os guia. Este trabalho tem por objetivo compreender melhor os efeitos de TDD e como sua pratica influencia o desenvolvedor durante o processo de projeto de sistemas orientados a objetos. Para entende-las, neste trabalho optamos por um estudo exploratorio essencialmente qualitativo, no qual participantes foram convidados a resolver exercicios pre-preparados utilizando TDD e, a partir dos dados colhidos nessa primeira parte, nos levantamos detalhes sobre como a pratica influenciou as decisoes de projeto de classes dos participantes por meio de entrevistas. Ao final, observamos que a pratica de TDD pode guiar o desenvolvedor durante o processo de criacao do projeto de classes por meio de constantes feedbacks sobre a qualidade do projeto. Esses feedbacks alertam desenvolvedores sobre possiveis problemas, como alto acoplamento ou baixa coesao. Os desenvolvedores, por sua vez, devem interpretar e melhorar o projeto de classes. Este trabalho catalogou e nomeou os padroes de feedback percebidos pelos participantes. / Test-Driven Development (TDD) is one of the suggested practices in Extreme Programming (XP). The mechanical is simple: the developer writes a test before writing the implementation. Thus, TDD is often seen as a software testing technique. However, many famous book authors suggest that TDD can help developers during the class design creation process, enabling developers to create less coupled highly cohesive classes. Most of the academic studies are interested on finding the difference between a TDDd and a non-TDDd code. Only a few of them discuss how the practice really supports class design. Even practitioners do not understand how the practice guides them. This work aims to understand better the effects of TDD and how the practice influences the practitioner during the class design process in object-oriented systems. To better understand them, we did a essencially qualitative explorative study, in which participants were invited to solve a set of pre-prepared exercises using TDD and, based on the gathered data, we retrieved details of how the practice influenced the developers class design decisions through interviews. At the end, we observed that the practice of TDD can guide developers during the class design creation process through constant feedback about its quality. These feedbacks alert developers about possible problems, such as high coupling or low cohesion. Developers then should interpret and improve the class design accordingly. This study also catalogues the TDD feedback patterns perceived by the participants.
|
17 |
Probing Anisotropic Interactions In Solid State NMR : Techniques And ApplicationsJayanthi, S January 2010 (has links) (PDF)
The thesis aims at methodological developments in Nuclear Magnetic Resonance (NMR) and study of oriented samples like liquid crystals and single crystals and powder samples. Though methodological development in solid state NMR (ss-NMR) has gone far ahead, this work attempts to contribute some novel methods in this direction. The work presented here falls into two categories (i) methodological developments for obtaining information on anisotropic interactions and (ii) experiments which utilize the existing methodologies to study systems of interest under static condition and also under sample spinning at the Magic Angle. In the solid state, dipolar couplings play a crucial role. On the one hand these couplings could be used to transfer polarization from an abundant nucleus to a rare nucleus and increase the sensitivity of the rare nucleus. On the other hand, the measurement of dipolar couplings itself is crucial for extracting structural and dynamic information. A third aspect is that dipolar couplings could be used to obtain correlation, say between two different nuclear species or between the same kind of nuclei as in an exchange experiment. A major part of this thesis deals with all three aspects mentioned above. The thesis presents a new heteronuclear polarization transfer scheme which is devoid of some of the short comings of the existing and well-known polarization transfer schemes. This pulse sequence has been found to be useful in different contexts involving both spin ½ and spin 1 nucleus. The use of dipolar couplings for obtaining correlation in both static oriented systems and in powder samples has been illustrated. In the case of the powder sample, the study has been useful in obtaining useful orientation information. Finally, chemical shifts are known to be indicators of finer structural features of molecules in solution and solid state. 13 C MAS NMR studies have been exploited in understanding these structural features of short peptides containing prolines in the solid state and for comparing with their structures in solution.
Chapter 1 covers the theoretical aspects required for the experimental work described in the thesis. A brief description of NMR has been followed by the explicit description of various interaction Hamiltonian’s in ss-NMR. Subsequently the experimental and the theoretical tools needed for ss-NMR study like Magic Angle Spinning (MAS), Cross-Polarization, Homo/Heteronuclear decoupling schemes have also been discussed.
Chapter 2, describes a new heteronuclear polarization transfer scheme for oriented samples – named DAPT (Dipolar Assisted Polarization Transfer) and its application to different systems. DAPT uses a homonuclear decoupling sequence such as BLEW-12 for effecting heteronuclear polarization transfer. The chapter has been divided into five related parts. Section 2(A) starts with an introduction to the existing heteronuclear polarization transfer schemes. Subsequently the theoretical background of the new sequence is presented. Experimental implementation of the sequence in an oriented system, liquid crystal is presented and is compared with the well-known polarization transfer scheme, Hartmann-Hahn Cross Polarization (HH-CP). In 2(B) the implementation of the sequence as a local field spectroscopy for measuring heteronuclear dipolar couplings is presented. After initial discussion about local field spectroscopy and its relevance in ss-NMR, the improvements made in the earlier mentioned sequence along with its 2D implementation in a liquid crystal sample are described. A comparative study is also presented using DAPT with various other homonuclear decoupling sequences. Chapter 2(C) deals with the extension of DAPT to spin-1 systems. The difficulties in setting up the HH-CP in spin-1 systems are highlighted. Experimental demonstrations on a test sample of oriented CD3 I and also on a deuterated liquid crystal is described. The sequence has been incorporated as part of a 2D correlation experiment, where the F1 dimension provides the quadrupolar couplings of deuterium and the F2 the chemical shifts of the attached carbons. The comparison of the sequence with HH-CP, its merits and demerits are discussed and the potential applications are highlighted. Chapter 2(D) deals with the relatively less studied transition in 14N nucleus, known as the Overtone-Transition (OT). An introduction to OT and its relevance is provided in the beginning followed by the extension of DAPT in exciting and detecting OT. The experiments have been done on a single crystal of a model peptide, N-Acetyl-DL-Valine and are compared with the conventional method. Amide proton chemical shifts are also measured using DAPT in an indirect way. The advantages and the future application in studying OT are also discussed. Chapter 2(E) discusses the extension of DAPT to the single crystal of NAV and in identifying the molecules in the unit cell. The SLF
spectrum of NAV is complicated due to the presence of two magnetically in-equivalent molecules in the unit cell and with pairs of splitting for each C - 1H and C - 1H pairs. The dipolar couplings are extracted from the experiment and with the aid of a MATLAB program and by incorporating the crystal coordinates, identification of C-1H and C-1H pairs belonging to a particular molecule have been carried out.
Chapter 3 describes a novel and useful modification of the well-known Separated Local Field (SLF) sequence in solid state known as PISEMA (Polarization Spin Exchange at the Magic Angle). PISEMA is a popular technique for measuring heteronuclear dipolar couplings in oriented in oriented biological membranes and in liquid crystals. While it has several advantages such as a large dipolar scaling factor, narrow line-widths in the dipolar dimension and ease of setting up etc it suffers from a major problem. The technique is highly sensitive to the proton off-sets which affect the measured dipolar couplings. In the present chapter the origin of this problem has been analyzed in detail and a solution has been proposed. The modification to the experiment has been implemented on a liquid crystal and the off-set independence of the new sequence has been demonstrated. Further studies on a more rigid system such as a solid single crystal has been used to verify the effect of the modification on homonuclear decoupling efficiency and the consequent effects on the line widths in addition to off-set independence. The advantages of the proposed method over the existing one in terms of line-width and robustness in measuring heteronuclear dipolar couplings are demonstrated.
Chapter 4 presents a study of deuterium exchange on a di-peptide. Deuterium as well as carbon-13 NMR spectroscopy has been extensively used earlier on static powder samples for studying exchange phenomena. In the present study we have applied the methodology for obtaining relative N-D vector orientation in a di-peptide. The magnetization exchange between deuterium nuclei through the dipolar couplings between them has been monitored. The need to match the quadrupolar split energy levels of two different deuterium’s differently oriented in the magnetic field requires that the sample be spun slowly. Characteristic exchange powder patterns were obtained which were used to infer relative orientation information. Comparison with the crystal structure indicates that the magnetization is likely to be inter-molecular rather than intra-molecular. The chapter follows the following sequence. A brief description about the importance of exchange studies in ss-NMR is presented. A theoretical approach is followed by a discussion of the angular dependence of the frequencies and the visualization of the mutual re-orientation angles. The motivation of the project followed by the experimental techniques, especially the use of slow MAS ~ 100 Hz in exchange studies are also presented. Initial studies have been carried out on di-methyl sulphone to check the reproducibility of the earlier reported results and later the sequence is extended to amide proton deuterated di-glycine. The 2D exchange spectrum recorded under slow MAS is then discussed in the context of the crystal structure and possible amide deuteriums involved in the exchange process are inferred.
Chapter 5 discusses the natural abundant 13C and 15N NMR spectroscopy in the solid state in designed tri-peptides containing prolines. Proline is a unique amino acid because of it torsion angle values and is responsible for the turns and the globularity of the proteins. The well studied SH3 domain protein often binds to short peptides containing prolines and hence these study gains importance. Three peptides containing prolines were taken up for study. For peptide (1), the conformation was observed as cis/trans in the solution state and for the other two peptides it was all trans. The X-ray studies showed that peptide (1) has two molecules in the unit cell with both cis conformation. This motivated us to look at the solid state spectra of the peptides. Chemical shifts are signatures of conformers and it was established from the chemical shift differences that there exist two molecules in the unit cell for peptide (1), both in cis conformation. The conformers for the other two peptides predicted by NMR chemical shifts also matched with those obtained from X-ray studies. This opens up the possibility of using simple NMR measurements in the solid state as tools for secondary structure determination in larger peptides and proteins.
|
18 |
Quantitative modeling and analysis of service-oriented real-time systems using interval probabilistic timed automataKrause, Christian, Giese, Holger January 2012 (has links)
One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the availability of composite interorganizational services. Such systems are often characterized by a variety of inherent uncertainties, which must be addressed in the modeling and the analysis approach. The different relevant types of uncertainties can be categorized into (1) epistemic uncertainties due to incomplete knowledge and (2) randomization as explicitly used in protocols or as a result of physical processes.
In this report, we study a probabilistic timed model which allows us to quantitatively reason about nonfunctional properties for a restricted class of service-oriented real-time systems using formal methods. To properly motivate the choice for the used approach, we devise a requirements catalogue for the modeling and the analysis of probabilistic real-time systems with uncertainties and provide evidence that the uncertainties of type (1) and (2) in the targeted systems have a major impact on the used models and require distinguished analysis approaches.
The formal model we use in this report are Interval Probabilistic Timed Automata (IPTA). Based on
the outlined requirements, we give evidence that this model provides both enough expressiveness for a realistic and modular specifiation of the targeted class of systems, and suitable formal methods for analyzing properties, such as safety and reliability properties in a quantitative manner. As technical means for the quantitative analysis, we build on probabilistic model checking, specifically on probabilistic time-bounded reachability analysis and computation of expected reachability rewards and costs. To carry out the quantitative analysis using probabilistic model checking, we developed an extension of the Prism tool for modeling and analyzing IPTA. Our extension of Prism introduces a means for modeling probabilistic uncertainty in the form of probability intervals, as required for IPTA. For analyzing IPTA, our Prism extension moreover adds support for probabilistic reachability checking and computation of expected rewards and costs. We discuss the performance of our extended version of Prism and compare the interval-based IPTA approach to models with fixed probabilities. / Eine der wichtigsten Herausforderungen in der Entwicklung von Service-orientierten Systemen ist die Vorhersage und die Zusicherung von nicht-funktionalen Eigenschaften, wie Ausfallsicherheit und Verfügbarkeit von zusammengesetzten, interorganisationellen Diensten. Diese Systeme sind oft charakterisiert durch eine Vielzahl von inhärenten Unsicherheiten, welche sowohl in der Modellierung als auch in der Analyse eine Rolle spielen. Die verschiedenen relevanten Arten von Unsicherheiten können eingeteilt werden in (1) epistemische Unsicherheiten aufgrund von unvollständigem Wissen und (2) Zufall als Mittel in Protokollen oder als Resultat von physikalischen Prozessen.
In diesem Bericht wird ein probabilistisches, Zeit-behaftetes Modell untersucht, welches es ermöglicht quantitative Aussagen über nicht-funktionale Eigenschaften von einer eingeschränkten Klasse von Service-orientierten Echtzeitsystemen mittels formaler Methoden zu treffen. Zur Motivation und Einordnung wird ein Anforderungskatalog für probabilistische Echtzeitsysteme mit Unsicherheiten erstellt und gezeigt, dass die Unsicherheiten vom Typ (1) und (2) in den untersuchten Systemen einen Ein uss auf die Wahl der Modellierungs- und der Analysemethode haben.
Als formales Modell werden Interval Probabilistic Timed Automata (IPTA) benutzt. Basierend auf den erarbeiteten Anforderungen wird gezeigt, dass dieses Modell sowohl ausreichende Ausdrucksstärke für eine realistische und modulare Spezifikation als auch geeignete formale Methoden zur Bestimmung von quantitativen Sicherheits- und Zuverlässlichkeitseigenschaften bietet. Als technisches Mittel für die quantitative Analyse wird probabilistisches Model Checking, speziell probabilistische Zeit-beschränkte Erreichbarkeitsanalyse und Bestimmung von Erwartungswerten für Kosten und Vergütungen eingesetzt. Um die quantitative Analyse mittels probabilistischem Model Checking durchzuführen, wird eine Erweiterung des Prism-Werkzeugs zur Modellierung und Analyse von IPTA eingeführt. Die präsentierte Erweiterung von Prism ermöglicht die Modellierung von probabilistischen Unsicherheiten mittelsWahrscheinlichkeitsintervallen, wie sie für IPTA benötigt werden. Zur Verifikation wird probabilistische Erreichbarkeitsanalyse und die Berechnung von Erwartungswerten durch das Werkzeug unterstützt. Es wird die Performanz der Prism-Erweiterung untersucht und der Intervall-basierte IPTA-Ansatz mit Modellen mit festen Wahrscheinlichkeitswerten verglichen.
|
19 |
Um mecanismo de tratamento de excessões sensível ao contexo para sistemas ubíquos orientados a tarefas / A mechanism for exception handling sensitive to surrounding context for ubiquitous systems oriented tasksQueiroz Filho, Carlos Alberto Batista de January 2012 (has links)
QUEIROZ FILHO, Carlos Alberto Batista de. Um mecanismo de tratamento de excessões sensível ao contexo para sistemas ubíquos orientados a tarefas. 2012. 95 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2012. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-08T16:21:00Z
No. of bitstreams: 1
2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-08T16:24:48Z (GMT) No. of bitstreams: 1
2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Made available in DSpace on 2016-06-08T16:24:48Z (GMT). No. of bitstreams: 1
2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5)
Previous issue date: 2012 / The main purpose of ubiquitous computing is to provide information and features needed to help people in their daily tasks, proactively and transparently, at any time and anywhere. The development of ubiquitous systems involves a set of challenging requirements, including: context awareness, which allows systems to adapt their behavior to respond appropriately in the face of environmental changes, and dependability, which is related to the ability of systems provide a service which offer strong indications that are reliable. Regarding the attributes of dependability, neglecting them can bring grievances from small to severe risks to the physical integrity of the users. Exception handling is a major fault tolerance techniques used in software development to achieve greater levels of dependability. This technique, even though it is widely used in traditional software development, it is still not widely used in the development of ubiquitous systems. This is due to challenging requirements and characteristics of this type of system, among which we highlight the sensitivity to the context and distribution, which can make the necessary possibilities of handling exceptions in a system as a whole is greater than the sum of possibilities for exception handling of the parts that compose it. Therefore, this dissertation aims to propose a mechanism for exception handling context-sensitive ubiquitous systems for task-oriented. The proposed mechanism is available through a framework called foreheads, which allows the reuse mechanism. By using this framework, system functionality can be implemented on an abstraction task, which responds appropriately to changes in context, detecting and treating exceptional situations. To validate the proposed mechanism was implemented a prototype system of parking control ubiquitous as a proof of concept, which focuses on demonstration of how the tasks are implemented that make up this system and how they are defined exceptions contextual and their handlers. / O principal propósito da Computação Ubíqua é o fornecimento de informações e funcionalidades necessárias para ajudar as pessoas em suas tarefas cotidianas, de maneira proativa e transparente, a qualquer instante e em qualquer lugar. O desenvolvimento de sistemas ubíquos envolve um conjunto de requisitos desafiadores, dentre eles: sensibilidade ao contexto, que permite que os sistemas adaptem o seu comportamento para responder de forma apropriada diante de mudanças do ambiente; e dependabilidade, que está relacionado à capacidade dos sistemas de prestarem um serviço os quais ofereçam fortes indícios de que são confiáveis. Em relação aos atributos de dependabilidade, negligenciá-los pode trazer desde pequenas insatisfações até graves riscos à integridade física dos usuários. O tratamento de exceções é uma das principais técnicas de tolerância a faltas empregadas no desenvolvimento de software para atingir maiores níveis de dependabilidade. Essa técnica, apesar de já ser amplamente utilizada no desenvolvimento de software tradicional, ainda é pouco empregada no desenvolvimento de sistemas ubíquos. Isso ocorre em virtude das características e requisitos desafiadores desse tipo de sistema, dentre os quais se destacam a sensibilidade ao contexto e a distribuição, a qual pode fazer com que as possibilidades necessárias de tratamento de exceções de um sistema como um todo seja maior do que a soma das possibilidades de tratamento de exceções das partes que o compõe. Portanto, essa dissertação tem como objetivo propor um mecanismo de tratamento de exceções sensível ao contexto para sistemas ubíquos orientados a tarefas. O mecanismo proposto é disponibilizado através de um framework, denominado FRonTES, que permite a reutilização do mecanismo. Através da utilização desse framework, funcionalidades do sistema podem ser implementadas sob uma abstração de tarefa, que responde de maneira adequada a mudanças de contexto, detectando e tratando situações excepcionais. Para a validação do mecanismo proposto foi implementado um protótipo de sistema de controle de estacionamento ubíquo como uma prova de conceito, que foca na demonstração de como são implementadas as tarefas que compõem esse sistema e como são definidas as exceções contextuais e seus tratadores.
|
20 |
Um mecanismo de tratamento de excessÃes sensÃvel ao contexo para sistemas ubÃquos orientados a tarefas / A mechanism for exception handling sensitive to surrounding context for ubiquitous systems oriented tasksCarlos Alberto Batista de Queiroz Filho 30 November 2012 (has links)
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / O principal propÃsito da ComputaÃÃo UbÃqua à o fornecimento de informaÃÃes e funcionalidades necessÃrias para ajudar as pessoas em suas tarefas cotidianas, de maneira proativa e transparente, a qualquer instante e em qualquer lugar. O desenvolvimento de sistemas ubÃquos envolve um conjunto de requisitos desafiadores, dentre eles: sensibilidade ao contexto, que permite que os sistemas adaptem o seu comportamento para responder de forma apropriada diante de mudanÃas do ambiente; e dependabilidade, que està relacionado à capacidade dos sistemas de prestarem um serviÃo os quais ofereÃam fortes indÃcios de que sÃo confiÃveis. Em relaÃÃo aos atributos de dependabilidade, negligenciÃ-los pode trazer desde pequenas insatisfaÃÃes atà graves riscos à integridade fÃsica dos usuÃrios. O tratamento de exceÃÃes à uma das principais tÃcnicas de tolerÃncia a faltas empregadas no desenvolvimento de software para atingir maiores nÃveis de dependabilidade. Essa tÃcnica, apesar de jà ser amplamente utilizada no desenvolvimento de software tradicional, ainda à pouco empregada no desenvolvimento de sistemas ubÃquos. Isso ocorre em virtude das caracterÃsticas e requisitos desafiadores desse tipo de sistema, dentre os quais se destacam a sensibilidade ao contexto e a distribuiÃÃo, a qual pode fazer com que as possibilidades necessÃrias de tratamento de exceÃÃes de um sistema como um todo seja maior do que a soma das possibilidades de tratamento de exceÃÃes das partes que o compÃe. Portanto, essa dissertaÃÃo tem como objetivo propor um mecanismo de tratamento de exceÃÃes sensÃvel ao contexto para sistemas ubÃquos orientados a tarefas. O mecanismo proposto à disponibilizado atravÃs de um framework, denominado FRonTES, que permite a reutilizaÃÃo do mecanismo. AtravÃs da utilizaÃÃo desse framework, funcionalidades do sistema podem ser implementadas sob uma abstraÃÃo de tarefa, que responde de maneira adequada a mudanÃas de contexto, detectando e tratando situaÃÃes excepcionais. Para a validaÃÃo do mecanismo proposto foi implementado um protÃtipo de sistema de controle de estacionamento ubÃquo como uma prova de conceito, que foca na demonstraÃÃo de como sÃo implementadas as tarefas que compÃem esse sistema e como sÃo definidas as exceÃÃes contextuais e seus tratadores. / The main purpose of ubiquitous computing is to provide information and features needed to help people in their daily tasks, proactively and transparently, at any time and anywhere. The development of ubiquitous systems involves a set of challenging requirements, including: context awareness, which allows systems to adapt their behavior to respond appropriately in the face of environmental changes, and dependability, which is related to the ability of systems provide a service which offer strong indications that are reliable. Regarding the attributes of dependability, neglecting them can bring grievances from small to severe risks to the physical integrity of the users. Exception handling is a major fault tolerance techniques used in software development to achieve greater levels of dependability. This technique, even though it is widely used in traditional software development, it is still not widely used in the development of ubiquitous systems. This is due to challenging requirements and characteristics of this type of system, among which we highlight the sensitivity to the context and distribution, which can make the necessary possibilities of handling exceptions in a system as a whole is greater than the sum of possibilities for exception handling of the parts that compose it. Therefore, this dissertation aims to propose a mechanism for exception handling context-sensitive ubiquitous systems for task-oriented. The proposed mechanism is available through a framework called foreheads, which allows the reuse mechanism. By using this framework, system functionality can be implemented on an abstraction task, which responds appropriately to changes in context, detecting and treating exceptional situations. To validate the proposed mechanism was implemented a prototype system of parking control ubiquitous as a proof of concept, which focuses on demonstration of how the tasks are implemented that make up this system and how they are defined exceptions contextual and their handlers.
|
Page generated in 0.0461 seconds