Concern Based Approach to Generating SCR Requirement Specification: A Case Study
SCR is a mature and widely used document driven requirement method, which emphasizes creating strict and complete formal requirement documents during software requirement analysis to serve the whole life circle. However, due to the big gap between textual requirement description and formal requirement document, how to obtain formal SCR requirements specification from informal textual description becomes an obstacle of applying SCR to real projects. In this paper, a concern based approach to generating SCR requirement specification from textual requirement document is proposed. The requirement analysis process includes concerns elicitation, specification of concerns and their relationship, identification of concepts, definition and classification of variables, derivation of SCR requirement specification, and validation of requirement specification. The method introduced in this paper has been applied to a classical case – Light Control System by documenting the requirements of hallway section. It is indicated that our approach bridges the gap between textual requirement description and formal SCR requirement document.

title: Applying PageRank Algorithm in Requirement Concern Impact Analysis
abstract: As an important part of requirement management, managing requirement change plays a key role in controlling project schedule and costs at early stage. Effective requirement impact analysis would give proper assessment on the effect of certain requirement changes on the whole system, and provide useful information for making trade-off decisions on future system design and implementation. In this paper a quantitative approach to concern impact analysis at requirement level has been proposed with the application of PageRank algorithm, which is a successful link based web page sorting algorithm. At first, separation of concerns is applied during deriving formal requirement specification from textual requirement statements. Next, concerns are specified and concern relationship graph is established. Finally, PageRank algorithm is utilized on concern relationship graph for assessing the impact of concern changes. Our approach has been applied to hallway section in Light Control System and validation of analysis result has been stated.

title: Implementation Technique of Unrestricted LL Action Grammar
abstract: Action Grammar is a grammar with action symbols appearing in the right part of production rules, which can be used to implement semantic analyzer automatically. An action symbol represents the name of a semantic routine. Implementation of action grammar relies on specific parsing methods, such as LL(K), recursive-descent or LR, and so on. However, these parsing methods have their own restrictions on grammars, therefore, in order to accomplish these parsing methods certain equivalent transformations have been done to make the grammars meet the restrictions. This paper has proposed an implementation technique of LL action grammar, which requires no transformation to the original grammar. Our approach includes following steps: parsing the input string with back-tracking and producing the parsing paths for each non-terminal symbol, then constructing LL parsing table with the parsing paths obtained, finally conducting semantic analysis with LL parsing table. The main contribution of this paper is that non-backtracking semantic analyzer has been achieved without making any transformations to the grammar.

title: A Pi-calculus-Based Business Process Formal Design Method
abstract: The pi-calculus is a model of concurrent computation, which can express communication between correlation processes. It provides a way of constructing systems in a bottom-up manner by composing subsystems, and it also has strict formal semantics. Therefore, pi-calculus is very suitable for designing business processes which are presently becoming more and more complicated. The paper proposes a composition-oriented approach to business process design based on pi-calculus theory and gives the formal definition of business process. It also illustrates the design method by simulating an example of order processing. By this method, a complicated business process can be divided into several independent simple sub-modules, which can greatly reduce the complexity of business process design.

title: Efficient Video Authentication for H.264/AVC
abstract: This paper proposed a novel and efficient scheme to authenticate the H.264/AVC video. The scheme makes an accurate usage of the tree-structured motion compensation, motion estimation and Lagrangian optimization of the standard. Authentication information is embedded strictly based on the best mode decision strategy in the sense that if undergone any spatial and temporal attacks, the scheme can detect the tampering by the sensitive mode change. And the experimental results prove the effectiveness the algorithm against many transcoding and signal processing attacks

title: Core role-based access control: efficient implementations by transformations
abstract: This paper describes a transformational method applied to the core component of role-based access control (RBAC), to derive efficient implementations from a specification based on the ANSI standard for RBAC. The method is based on the idea of incrementally maintaining the result of expensive set operations, where a new method is described and used for systematically deriving incrementalization rules. We calculate precise complexities for three variants of efficient implementations as well as for a straightforward implementation based on the specification. We describe successful prototypes and experiments for the efficient implementations and for automatically generating efficient implementations from straightforward implementations.

title: A Topic Modeling Approach and Its Integration into the Random Walk Framework for Academic Search
abstract: In this paper, we propose a unified topic modeling approach and its integration into the random walk framework for academic search. Specifically, we present a topic model for simultaneously modeling papers, authors, and publication venues. We combine the proposed topic model into the random walk framework. Experimental results show that our proposed approach for academic search significantly outperforms the baseline methods of using BM25 and language model, and those of using the existing topic models (including pLSI, LDA, and the AT model).

title: Levels of Independence in Aspect-Oriented Modeling
abstract: We are investigating the application of aspect-oriented principles as an aid toward improving the capabilities of domain-specific modeling. The approach, in general, provides transformations by weaving modeling aspects into a base model. The modeling aspects provide variation points within the model and can be used to drive the synthesis of the model into different artifacts. In this brief position paper, we describe how our current and future work improves the capabilities offered in a model-based tool. We highlight several levels of independence that make the approach applicable to numerous modeling situations.