As Web programming standards and browser infrastructures have matured, the implementation of UIs for many Web sites has seen a parallel increase in complexity. In order to deal withthis problem, we are researching wa...
详细信息
ISBN:
(纸本)9783642028175
As Web programming standards and browser infrastructures have matured, the implementation of UIs for many Web sites has seen a parallel increase in complexity. In order to deal withthis problem, we are researching ways to bridge the gap between the browser view of a UI and its JavaScript implementation. To achieve this we propose a novel JavaScript reverse-engineering approach and a prototype tool called Script InSight. this approach helps to relate the semantically meaningful elements in the browser to the lower-level JavaScript syntax, by leveraging context available during the script execution. the approach uses run-time tracing to build a dynamic, context-sensitive, control-flow model that provides feedback to developers as a summary of tracing information. To demonstrate the applicability of the approach we present a study of an existing open-source Web 2.0 application called the Java Pet Store and metrics taken from several popular online sites.
software maintenance is perhaps one of the most difficult activities in softwareengineering, especially for systems that have undergone several years of ad hoc maintenance. the problem is that, for such systems, the ...
详细信息
ISBN:
(纸本)9781424459124
software maintenance is perhaps one of the most difficult activities in softwareengineering, especially for systems that have undergone several years of ad hoc maintenance. the problem is that, for such systems, the gap between the system implementation and its design models tend to be considerably large. Reverse engineering techniques, particularly the ones that focus on design and architecture recovery, aim to reduce this gap by recovering high-level design views from the source code. the course code becomes then the data on which these techniques operate. In this paper, we argue that the quality of a design and architecture recovery approach depends significantly on the ability to detect and eliminate the unwanted noise in the source code. We characterize this noise as being the system utility components that tend to encumber the system structure and hinder the ability to effectively recover adequate design views of the system. We support our argument by presenting various design and architecture recovery studies that have been shown to be successful because of their ability to filter out utility components. We also present existing automatic utility detection techniques along withthe challenges that remain unaddressed.
A current limitation to component reusability is that component models target to describe a deployed assembly and thus bind the behavior of a component to the data-types it manipulates. this paper studies the feasibil...
详细信息
ISBN:
(纸本)9783642042102
A current limitation to component reusability is that component models target to describe a deployed assembly and thus bind the behavior of a component to the data-types it manipulates. this paper studies the feasibility of supporting genericity within component model including component and port types. the proposed approach works by extending the meta-model of an existing component model. It is applied to the SCA component model;a working prototype shows its feasibility.
Modeling business processes is vital when improving or automating existing business pocesses, documenting processes properly or comparing business processes. In addition, it is necessary to be able to evaluate the qua...
详细信息
ISBN:
(纸本)9789604741274
Modeling business processes is vital when improving or automating existing business pocesses, documenting processes properly or comparing business processes. In addition, it is necessary to be able to evaluate the quality of a business process model, which in tern requires a set of quality metrics. Most of the works proposed to evaluate business process models deal with quality by adapting software metrics. this is possible, because software products and business processes software are quite similar. Our contribution in this paper consists in adapting object oriented software metrics to business process models. this adaptation is based on correspondences which we establish between BPMN (Business Process Modeling Notation) concepts and object oriented concepts. By adapting object oriented metrics, we aim to obtain new metrics which give us more information about the complexity of business processes, cohesion between process tasks and coupling between processes themselves.
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business processes are captured by business proces...
详细信息
ISBN:
(纸本)9780769537610
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business processes are captured by business process models. these models serve as the basis for the declarative configuration of a SOA using appropriate deployment artifacts - i.e., XML-based process languages. Consequently, requirements engineering for SOAs must focus on business processes and on their integration into systems using interoperable services, which is not the case for most conventional requirements engineering approaches. In this paper we present a requirements engineering approach specifically designed for the engineering of SOAs. Requirements are captured using a unified process, based on phases and iterations eventually leading to a formalized and unambiguous requirements specification. the final requirements specification can be used in succeeding development phases - i.e. for the model-driven generation of deployment artifacts for SOAs. the presented solution is called [vem:xi..] and is successfully used in the IT department of a Mobile Network Operator (MNO) in Austria. In the highly volatile world of mobile communication the presented approach enables faster application development and faster integration of solutions, thus leading to a competitive advantage over other market participants.
In this study we used domain engineering as a method for gaining deeper formal understanding of a class of algorithms. Specifically, we analyzed 6 stemming algorithms from 4 different sub-domains of the conflation alg...
详细信息
ISBN:
(纸本)9783642042102
In this study we used domain engineering as a method for gaining deeper formal understanding of a class of algorithms. Specifically, we analyzed 6 stemming algorithms from 4 different sub-domains of the conflation algorithms domain and developed formal domain models and generators based on these models. the application generator produces source code for not only affix removal but also successor variety, table lookup, and n-gram stemmers. the performance of the generated stemmers was compared withthe stemmers developed manually in terms of stem similarity, source, and executable sizes, and development and execution times. Five of the stemmers generated by the application generator produced more than 99.9% identical stems withthe manually developed stemmers. Some of the generated stemmers were as efficient as their manual equivalents and some were not.
the proceedings contain 9 papers. the topics discussed include: satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm;a formalism for describing modeling transformations for...
ISBN:
(纸本)9781605588766
the proceedings contain 9 papers. the topics discussed include: satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm;a formalism for describing modeling transformations for verification;verification of DSMLs using graph transformation: a case study with alloy;from UML to alloy and back again;model transformations to satisfy all-configurations-transitions on statecharts;automated model-based testing using the UML testing profile and QVT;from design models to test models by means of test ideas;generating class contracts from UML protocol statemachines;and supporting inconsistency resolution through predictive change impact analysis.
Riboswitches are cis-acting genetic regulatory elements within a specific mRNA, and can regulate both transcription and translation by interacting withtheir corresponding metabolites. Recently, more and more riboswit...
详细信息
this paper is to understand the dynamics of teaching behaviors based on complex adaptive system theory and methods of modeling. Due to the complexity and indetermination of complex systems, it is difficult to study th...
详细信息
ISBN:
(纸本)9780769537450
this paper is to understand the dynamics of teaching behaviors based on complex adaptive system theory and methods of modeling. Due to the complexity and indetermination of complex systems, it is difficult to study the complex systems withthe traditional reductive theory. the agent-based computer simulation is approved in the paper. Because classical interactions only among pre-set behavioral models may limit the capability to explore all possible evolution patterns, to tackle this issue, we introduce participating method to the MAS model, propose participator MAS(P-MAS)modeling method. In order to support this new approach, we introduce the concept and framework of artificial classroom (AC) for the first time by employing artificial societies. By adopting the bottom-up modeling technique and MAS model, the innovative dynamic model of AC is built. We have given a system structure of AC, design and implement an AC based on TCP/IP. the AC is currently being developed in NetLogo/HubNet. It provides a good tool to study classroom behaviors.
this paper presents an approach to develop service-oriented user agents using the software Product Line (SPL) engineering paradigm. the approach comprises activities and models to support building service-oriented cus...
详细信息
ISBN:
(纸本)9783642042102
this paper presents an approach to develop service-oriented user agents using the software Product Line (SPL) engineering paradigm. the approach comprises activities and models to support building service-oriented customized agents that automate user tasks based on service orchestration involving multiple agents in open environments, and takes advantage of the synergy of Service-oriented Architectures, Multi-agent Systems and SPLs. the domain-based process involves extended domain analysis with goals and variability, domain design withthe specification of agent services and plans, and domain implementation.
暂无评论