• Genomics & Informatics
• /
• 제9권1호
• /
• pp.5-11
• /
• 2011

Treating genomes just as languages raises the possibility of producing concise generalizations about information in biological sequences. Grammars used in this way would constitute a model of underlying biological processes or structures, and that grammars may, in fact, serve as an appropriate tool for theory formation. The increasing number of biological sequences that have been yielded further highlights a growing need for developing grammatical systems in bioinformatics. The intent of this review is therefore to list some bibliographic references regarding the recent progresses in the field of grammatical modeling of biological sequences. This review will also contain some sections to briefly introduce basic knowledge about formal language theory, such as the Chomsky hierarchy, for non-experts in computational linguistics, and to provide some helpful pointers to start a deeper investigation into this field.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.209-218
• /
• 2008

UML(Unified Modeling Language)은 소프트웨어 설계 단계에서 디자인을 구체화하고, 가시화하여 구성하고, 문서화하는데 일반적으로 사용되고 있다. UML 대부분의 설계는 소프트웨어 시스템 구조의 설계에 초점을 맞추고 있다. 최근에는 aspect-oriented 설계와 같이 복잡한 소프트웨어 시스템을 설계하기 위한 부가적인 설계의 요구 사항들이 등장하고 있다. 본 논문에서 는 policy-driven 아키텍처의 동적인 양상을 연구한다. 다양한 어플리케이션 도메인에서 적용할 수 있는 policy-driven 관리 어플리케이션의 상단계에서의 모델링을 제안한다. 어플리케이션들의 많은 활동들을 관리하기 위해서, 같은 상황에서의 다른 자원들에게 정책(policies)과 함께 활동성과 유연성이 지원되어야 확장이 가능하다. 이러한 흐름에서, policy-driven 아키텍처의 동적인 양상을 보여주기 위해 메타 모델링 방법론을 연구하였다. 본 방법론에 기반으로 하여 본 논문에서는 policy-driven 관리 어플리케이션 영역에서의 메타모델링을 설립하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제5권4호
• /
• pp.805-821
• /
• 2011

Wireless Sensor Networks (WSNs) are rapidly emerging because of their potential applications available in military and civilian environments. Due to unattended and hostile deployment environments, shared wireless links, and inherent resource constraints, providing high level security services is challenging in WSNs. In this paper, we revisit various security attack models and analyze them by using a well-known standard notation, Unified Modeling Language (UML). We provide a set of UML collaboration diagram and sequence diagrams of attack models witnessed in different network layers: physical, data/link, network, and transport. The proposed UML-based analysis not only can facilitate understanding of attack strategies, but can also provide a deep insight into designing/developing countermeasures in WSNs.

• International Journal of Computer Science & Network Security
• /
• 제24권6호
• /
• pp.180-186
• /
• 2024

A common language for modelling software requirements and design in recent years is Unified Modeling Language (UML). Essential principles and rules are provided by UML to help visualize and comprehend complex software systems. It has therefore been incorporated into the curriculum for software engineering courses at several institutions all around the world. However, it is commonly recognized that UML is challenging for beginners to understand, mostly owing to its complexity and ill-defined nature. It is unavoidable that we need to comprehend their preferences and issues considerably better than we do presently in order to approach the problem of teaching UML to beginner students in an acceptable manner. This paper offers a hint based approach that can be implemented along with an ordinary lab task. Some keywords are heighted to indicate class diagram component and make students to understand the textual descriptions. The experimental results indicate significant improvement in students learning skills. Furthermore, majority of students also positively responded to the survey conducted in the end experimental study.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 2003년도 한국생물과학협회 학술발표대회
• /
• pp.39-39
• /
• 2003

No Abstract, See Full Text

• 산업공학
• /
• 제2권2호
• /
• pp.51-62
• /
• 1989

A computer-aided simulation modeling system has been developed to allow the automatic construction of complete discrete simulation models for queueing systems. Three types of knowledge are used in the specification and construction of a simulation modeling: Knowledge of queueing system, simulation modeling, and a target simulation language. This knowledge has been incorporated into the underlying rule base in the form of extraction and construction rule, and implemented via the expert system building tool, OPS5. This paper suggested a knowledge based approach for automatic programming to enable a user who lacks modeling knowledge and simulation language expertize to quickly build executable models.

• 한국전자거래학회지
• /
• 제6권3호
• /
• pp.63-80
• /
• 2001

The construction of the students knowledge in e-Learning systems, namely the student modeling, is a core component used to develop e-Learning systems. However, existing e-Learning systems have many problems to share the knowledge in a heterogeneous student model and a distributed knowledge base. Because the methods of the knowledge representation are different in each e-Learning systems, the accumulated knowledge cannot be used or shared without a great deal of difficulty. In order to share this knowledge, existing systems must reconstruct the knowledge bases. Consequently, we propose a new a Case Markup Language based on XML in order to overcome these problems. A distributed e-Learning systems fan have the advantage of easily sharing and managing the heterogeneous knowledge base proposed by CaseML. Moreover students can generate and share a case knowledge to use the communication protocol of agents. In this paper, we have designed and developed a CaseML by using a knowledge markup language. Furthermore, in order to construct an intelligent e-Learning systems, we have done our research based on the design and development of the intelligent agent system by using CaseML.

• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.1055-1062
• /
• 2004

UML(Unified Modeling Language)은 소프트웨어 시스템의 명세화, 시각화, 생성, 그리고 문서화를 목적으로 하는 언어이다. 본 연구에서는 소프트웨어의 잡화, 대형화 추세에 자동화응용 프로그램 생성 시스템들 중의 하나인 Together를 Agent의 BDI에 응용시키고 이를 컴포넌트 시스템의 상호 운영성에 대하여 고찰 한다. 상호 운용성은 컴포넌트간의 데이터 교환에 의해 이루어지며 컴포넌트의 타입이 다르더라도 서로 협력할 수 있는 표준 명세서(FIPA:Foundation for Inteligent Physical Agent)를 기반으로 ACL 메시지, 그리고 프로토콜을 사용하며 이를 객체지향 모델링을 통한 메타모델기반 등을 이용하여 구현 시 오류를 최소화하는 방법과 정확성과 일관성에 관하여 연구한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.1110-1115
• /
• 1991

Tne mathematical modeling and analysis results of a dataflow logic solving processor(DFLSP) for programmable logic controller(PLC) are proposed in this paper. The logic program language is formalized using a dataflow graph model. From this dataflow graph, the instruction precedence relationship, and deadlock problems, which are major properties of a logic program, are described.