• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• International Journal of Advanced Culture Technology
• /
• v.5 no.1
• /
• pp.9-16
• /
• 2017

In an English multiple Wh-construction with two wh-words, only a higher-located wh-word in a sentence structure is allowed to pre-pose to the Spec of CP, which has been known as a Superiority Effect(SE). Contrary to English, Korean and Japanese have been known not to respect SE, and this phenomenon has been called an Anti-Superiority Effect(ASE). Recent studies including Takita et al(2007) and Harada(2015) among others, however, have suggested exceptional cases to ASE in Japanese, and attempted to explain them through a feature checking mechanism within the Minimalist Program(MP) by Chomsky(1995, 1998). Such explanations of MP, which are based on the abstract feature checking system, have recently been considered just as a kind of technicalia and should be backed up with further empirical evidence. In this paper, I show that there are also exceptions to ASE in Korean, and the exceptional cases to ASE both in Korean and Japanese can be well explainable based on the empirical evidence of Korean/Japanese morpho-syntax.

• Language and Information
• /
• v.18 no.2
• /
• pp.59-79
• /
• 2014

This paper aims at exploring the processing mechanism of filler-gap dependency resolution and feature checking in Korean wh-constructions. Based on their findings on Japanese sentence processing, Aoshima et al. (2004) have argued that the parser posits a gap in the embedded clause in head-final languages, unlike in head-initial languages, where the parser posits a gap in the matrix clause. In order to verify their findings in the Korean context, and to further explore the mechanisms involved in processing Korean wh-constructions, the present study replicated the study done by Aoshima et al., with some modifications of problematic areas in their original design. Sixty-four Korean native speakers were presented Korean sentences containing a wh-phrase in four conditions, with word order and complementizer type as the two main factors. The participants read sentences segment-by-segment, and the reading times at each segment were measured. The reading time analysis showed that there was no such slowdown at the embedded verb in the scrambled conditions as observed in Aoshima et al. Instead, there was a clear indication of the wh-feature checking process in terms of a major slowdown at the relevant region.

• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.1
• /
• pp.1-6
• /
• 2014

Many companies have tried to adopt Software Product Line Engineering for improving the quality and productivity of information systems and software product. There are several models defined in software product line methodology and each model has different abstraction level. Therefor it is important to maintain the traceability and consistency between models. In this paper, consistency checking rules are suggested by traceability matrix of work products.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1996.02a
• /
• pp.257-266
• /
• 1996

• Journal of the Korean Society for Precision Engineering
• /
• v.10 no.4
• /
• pp.30-41
• /
• 1993

Developed in this paper is a feature based modeling system for the design of welded plat construction(WPC) which is composed of flat or bended plates represented as reference plane with a constant thickness. First, the necessity and the characteristics of the modeing system for WPC as compared with the assembly of mechanical parts are investigated. Secondly, feature library for the assembly of WPC is shown which contains several types of features like joint feature, groove feature, material feature, and precision feature. Thirdly, the assembly procedures are presented which mainly consist of both the assembly transformation and the correct assembly checking. Fourthly, weld lines of the assembled WPC are defined so that those can be used in the process planning or the manufacturing stage. Finally, a prototype by a geometric modeling software Pro/Engineer, a graphic software GL(Graphic Library), and C language on a CAD workstation IRIS.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.04b
• /
• pp.267-271
• /
• 1993

Developed in this paper is a feature based modeling of welded plate construction(WPC) which is composed of flat or bended plates represented as reference plane with a constant thickness. First, the necessity and the characteristics of the feature based modeling of WPC as compared with the assemblies of mechanical parts are investigated. Second, feature library for the assemblied of WPC is shown which contains several types of features like joint feature, groove feature, materialfeature and precision feature. Third, the assembly procedures are presented whichmainly consist of both the assembly transformation and the correct assembly checking. Fourth, weld lines generated in the assembled WPC are defined so that those can be used in the process planning or the manufacturing stage. Finally, A prototype system isdeveloped by using a geometric modeling software Pro/Engineer, a graphic software GL(Graphic Library), and C language on a CAD workstation IRIS.

• Language and Information
• /
• v.6 no.2
• /
• pp.1-14
• /
• 2002

This paper discusses so called the non-DP subject constructions in English. In general, a subject is a DP that bears Nominative case and that occupies 〔Spec, IP〕. However, in some examples under investigation, it looks as if non-DP categories such as Prepositional Phrases(PP), Adjectival Phrases(AP), Adverbial Phrases (AdvP), Small Clauses (PreP or SC), and VP occupy the canonical subject position, 〔Spec, IP〕. Under the framework of Chomsky's (1993, 1995) along with his previous works (Chomsky 1981, 1986), the Case Checking mechanism undoubtedly assumes that only DPs can have Case Therefore, the Case Checking/Agree mechanism is stated such that the strong uninterpretable feature, in this case Case feature (D or NP) feature must be checked off in a certain manner. Therefore, any phrasal categories other than DPs are not included in the considerations. Nonetheless, there are many instances of non-DP categories in English that occupy the seemingly canonical subject position, 〔spec, IP〕. In this paper, it is proposed that the actual position of these non-DP subjects in English is not in Spec of IP. Rather, they occupy 〔Spec, TopP〕 under CP in the sense of Lasnik & Stowell (1991), Rizzi (1997), and Haegeman & Gueron (1999). In its effect, therefore, this paper extends the idea of Stowell (1981) who argues that the clausal subjects in English is not in 〔Spec, IP〕, but in 〔Spec, TopP〕. We further argue that Stowell's version of Case Resistance Principle must be extended in order to accomodate many more occurrences of so called non-DP subjects.

• KIPS Transactions on Computer and Communication Systems
• /
• v.4 no.3
• /
• pp.97-104
• /
• 2015

This paper will feature designs for security vulnerability based on MS-SQL Database and OLE connectivity by checking the MS-SQL database password policy, the user account password access attempts, a user without password, and password does not be changed for a period of time. This paper uses the MS-SQL database and C++ linkage in order to use the OLE DB function. The design module should judge presence or absence of security vulnerability by checking database password policy, the user account password access attempts, a user without password, password does not be changed for a period of time. The MS-SQL database password associated with a feature, judging from the many features allows you to check for security vulnerability. This paper strengthen the security of the MS-SQL database by taking the advantage of the proposed ability.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.10
• /
• pp.2482-2488
• /
• 2014

This paper proposes that a user account of the MS-SQL is checked whether expirated or not in C++ program environment. Vulnerability checking module decides security weakness for password change time or user configuration time. The proposed module prevents and protects a user account from a malicious user account. Recently, Information Assets becomes more important. If the loss of database information it would make large damage in our life. This paper develops user account checking module, which checks whether user password have not been changed for a long time or whether the user account expirated in the MS-SQL Database. By checking security vulnerability using this feature, a malicious user cannot access the Database.