With the increasing maturity of model-driven tools and methods, new model-based analysis methods are developed to support specific stakeholder concerns during software lifecycle. This multiplication of models and thei...
详细信息
ISBN:
(纸本)9781450306942
With the increasing maturity of model-driven tools and methods, new model-based analysis methods are developed to support specific stakeholder concerns during software lifecycle. This multiplication of models and their related analysis tools calls for solution addressing the integration of MOF-based analysis methods. Current research works on integration of analysis methods have already addressed the extraction of the needed input data as well as the control and the integration of the tools supporting the analysis execution. However, little attention has been paid to the integration of analysis results back into initial model. We propose a MOF-based framework enabling the integration of analysis results that a) defines a meta-model capturing the integration requirements, b) provides a MOF metamodel extension mechanism with support for upward compatibility;and c) automatically generates a model transformation for model integration. We illustrate the use of our framework by integrating a reliability analysis methods and a fault tolerant reconfiguration method on the ABC/ADL software Architecture. We applied the resulting analysis composition onto the ECPerf JEE system.
Supply chain modelling and simulation by SMEs (Small-to-Medium Enterprises) is a challenging problem. This is due both to complexity of the supply chain models required and the lack of required expertise among the SME...
详细信息
Supply chain modelling and simulation by SMEs (Small-to-Medium Enterprises) is a challenging problem. This is due both to complexity of the supply chain models required and the lack of required expertise among the SMEs. The problem is important since SMEs need to represent and modify their evolving skills and processes to be visible in electronic marketplaces and supply chain design platforms. We demonstrate how this problem can be addressed by developing a suite of novel domain-specific visual languages and a support tool. The challenging setup of our research context motivated us to trial a new approach for the design of our visual languages and to employ a collaborative development process across our distributed research team.
The emerging Media Independent Handover (MIH) standard proposes to support session continuity during handover between heterogeneous networks. One of the critical features provided by MIH is an Event Service which incl...
详细信息
Tens of thousands of universities are today educating students with different methods for a vast variety of majors. This paper aims to introduce Knowledge Tree (KT) as an integrated virtual structure to be used in the...
详细信息
Tens of thousands of universities are today educating students with different methods for a vast variety of majors. This paper aims to introduce Knowledge Tree (KT) as an integrated virtual structure to be used in the educational systems. A collaborative structure is utilized to define a universal curriculum for various university majors worldwide to maximize e-learning capabilities. Then, a collaborative competitive approach is introduced to enrich the contents of course topics offered based on the mentioned structure. The results based on both educational facts fetched from the search engines and a questionnaire filled by a group of academics from different universities show that this system performs well in educational systems in terms of time, effort and cost.
The emergence kinds of Web applications offer flexible and convenient service for users. Though the sites declare they won't disclose users' privacy without user's agreement, users may receive some spam af...
详细信息
ISBN:
(纸本)9781424476718
The emergence kinds of Web applications offer flexible and convenient service for users. Though the sites declare they won't disclose users' privacy without user's agreement, users may receive some spam after registered in or interacted with some sites. That is clearly that some sites disclosed user's privacy such as preference with user's email address to the third party by their commerce interests. So find out the privacy disclosure site is meaningful, and then user can change interaction pattern or adjust trust with the site even resort to law. In this paper, we propose a novel approach for tracking privacy disclosure in which we introduce an analysis center with our analysis algorithm to solve this issue. Our main contributions include (1) our method can find out privacy disclosure site easily and (2) the privacy disclosure site is hard to deny that it has disclosed user's privacy. Simulation results show our method can tracking privacy disclosure site well.
Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the π it -ca...
详细信息
Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the π it -calculus, a new variant of the π-calculus, in this paper. The good feature of the π it -calculus is that its execution can be interrupted and can handle timing events as well. We provide both syntax and semantics of the π it -calculus and define a strong bisimulation relation that specifies when two processes can be considered as the same. With the new calculus, we then model the activities of BPEL and BPEL4People, and give their precise semantics. Our formal framework may facilitate the reliability and consistency analysis in a BPEL or BPEL4People design process.
This paper describes the evolution of a software testing effort during a critical period for the flagship Mars Science Laboratory rover project at the Jet Propulsion Laboratory. Formal specification for post-run analy...
详细信息
This paper describes the evolution of a software testing effort during a critical period for the flagship Mars Science Laboratory rover project at the Jet Propulsion Laboratory. Formal specification for post-run analysis of log files, using a domain-specific language, LogScope, replaced scripted real-time analysis. Log analysis addresses the key problems of on-the-fly approaches and cleanly separates specification and execution. Mining the test repository suggested the inadequacy of the scripted approach, and encouraged a partly engineer-driven development. LogScope development should hold insights for others facing the tight deadlines and reactionary nature of testing for critical projects. LogScope received a JPL Mariner Award for "improving productivity and quality of the MSL Flight software" and has been discussed as an approach for other flight missions. We note LogScope features that most contributed to ease of adoption and effectiveness. LogScope is general and can be applied to any software producing logs.
Today, almost all the C2C e-commerce community member reputation evaluating algorithms are time sensitive. The reputation of a community member is accumulated after transactions and the increment of reputation after a...
详细信息
Although biometrics technology has progressed substantially, its performance is still to be improved for real applications. This paper aims to improve the accuracy of personal identification, when only single sample i...
详细信息
Although biometrics technology has progressed substantially, its performance is still to be improved for real applications. This paper aims to improve the accuracy of personal identification, when only single sample is registered as template, by integrating multiple hand-based biometrics. To make fusion much easier, the same feature, so called fusion code, and decision level fusion strategy are used. Two fusion cases, face & palmprint and FKP & palmprint were taken as examples to verify the effectiveness. Experimental results show that much better performance than single modal biometrics has been achieved.
暂无评论