• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.697-707
• /
• 2007

Since embedded software is very dependent for target hardware architecture, characteristics of the platform must be considered when designing the software. Furthermore, MPSoCs consists of heterogeneous hardware components that are specified in micro level. Thus mapping of embedded software for MPSoCs should be considered the characteristics. In this paper, we provide an approach to automatic mapping PIM (Platform Independent Model) of an embedded software to PSM(Platform Specific Model) for MPSoC(Multi Processor System On Chip) and verify its effectiveness with simulation. In the proposed approach, tasks are derived from an object oriented model based on the UML (Unified Modeling Language). And then the types of the derived tasks are identified. With the identified types and inter relationship between tasks, the tasks are assigned to appropriate heterogeneous hardware components. We expect that the approach improve accuracy of the assigning and concurrency of the deployed software.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.41 no.3
• /
• pp.17-25
• /
• 2004

Internet Service Subscribers Network has a new role of providing various multimedia services to the home. However, there exist several types of distributed subscriber networks using Asymmetric Digital Subscriber Line (ADSL), Very high-bit rate Digital Subscriber Line (VDSL), and Data Over Cable Service Interface Specifications (DOCSIS). The efficient and concentrated network management of those several distributed subscribers networks with resources requires the general network information model, which has and conceptional managed objects independent of type of network and its equipment to manage the integrated subscriber network. This paper presents the general Internet subscribers network model of the managed object to manage that network in the form of integrated hierarchy. This paper adopts the object-oriented development methodology with UML and designs and implements the integrated subscribers NMS of cable data network and VDSL network as examples of the subscriber networks.

• Journal of IKEEE
• /
• v.7 no.2 s.13
• /
• pp.144-155
• /
• 2003

In this paper, a conceptual data model, called the UDM(Unified Data Model), to efficiently represent database structures related with object technology and complex structured data, is proposed. This model integrates major features of modern data models, such as E-R model, Semantic Object Model, and UML, especially from the viewpoint of database design. This model is basically a simplified, but extended version of the Object-Relationship Model, which was proposed to model complex structures of temporal-spatial multimedia data. This model incorporates some of the important semantic and structural information of modern database applications and it is designed to support all of the major logical database models, including relational, object-relational, object-oriented, and (semi-)structured databases. A special diagrammatic technique, called the UDD(Unified Data Diagram), is introduced as a tool for database design. Also, possible ways to derive logical views of data from this unified data model are presented. The proposed model can be utilized as a convenient and practical tool for conceptual database designs.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.45 no.2
• /
• pp.18-25
• /
• 2008

The traditional a roaches to software development, such as XP, UP, CBD and other CASE tools, are useful for constructing various software components. However, they are not designed to face the challenges of open environments that focus on service. The Service-Oriented Architecture(SOA) is a component architecture that interconnects an application's different functional units, called services. SOA provides a good way to integrate the business process through well-defined interfaces and contracts between business services. In this paper, we propose a method of business process modeling based on SOA with a P2P approach. Also, A P2P business process modeling system is presented. This, results in admitting the reality of enterprise that changes on the basis of services, and suggests more efficient and visual direction for the process integration between enterprises.

• Journal of Digital Contents Society
• /
• v.8 no.1
• /
• pp.93-106
• /
• 2007

Web Applications are rapidly increasing and the structure becomes very complicated. However, when users explore such complex Web applications, they cannot often grasp the current location and get the information that they want. Therefore, a novel approach to model the navigation of Web application contents is required. In this study, a framework has been presented for modeling adaptive context-based contents navigation of Web applications. The framework performs activities including navigation analysis, navigation design, and navigation realization. first, in navigation analysis domain is analyzed by using use case, focusing on navigation. Next, in navigation design three models have been produced: a navigation information model, a profile, and a navigation interface model. Finally, in navigation realization a Webpage navigation model and a component navigation model have been produced. In this work, several formal definitions and rules for checking validity of navigation model have also been provided.

• Journal of the Korean Society for information Management
• /
• v.36 no.1
• /
• pp.191-213
• /
• 2019

The process of obtaining scientific knowledge is conducted through research. Researchers deal with the uncertainty of science and establish certainty of scientific knowledge. In other words, in order to obtain scientific knowledge, uncertainty is an essential step that must be performed. The existing studies were predominantly performed through a hedging study of linguistic approaches and constructed corpus with uncertainty word manually in computational linguistics. They have only been able to identify characteristics of uncertainty in a particular research field based on the simple frequency. Therefore, in this study, we examine pattern of scientific knowledge based on uncertainty word according to the passage of time in biomedical literature where biomedical claims in sentences play an important role. For this purpose, biomedical propositions are analyzed based on semantic predications provided by UMLS and DMR topic modeling which is useful method to identify patterns in disciplines is applied to understand the trend of entity based topic with uncertainty. As time goes by, the development of research has been confirmed that uncertainty in scientific knowledge is moving toward a decreasing pattern.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.1
• /
• pp.155-162
• /
• 2016

In recent years, hoping the interaction of individuals and rather than software development process and tools, and customers want software that works first, rather than a comprehensive document, in cooperation with the customer, rather than the developer negotiate a contract, to each other stick to the plan I think even more so than the value that corresponds to the change. In view of this, software development is given the autonomy and motivation to project team rather than process-oriented and have a passion and vision and human relations oriented management approach is required. In recent years, increasing the productivity benefits of agile development processes, improved quality, efficiency and customer satisfaction as is demonstrated in the methodology selected to promote the project, attention was given to the experts. Contemporary demands with regard to the methodology chosen to meet your needs, in this paper in the organization, and to solve the problems of product-based Cross functional team proposed methodology Feature Team model, this model is an organizational Cross functional team and the team is not the outcome (product) basis, were examined for the model that points to progress the development across multiple product as a functional unit, value-plan through the driven agile technique-based model and proposed a difference. And the domain analysis, required extraction by conventional JAD (joint application development) meeting the targets for the object-oriented modeling, in modeling and organize, review, aware in advance and the UML Structure and Behavior Diagrams and proposed to proceed with the project.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.55-68
• /
• 2012

Recently it is important to understand service supply chain because the economy moves from manufacturing to services. However, most of existing supply chain research focuses exclusively on the manufacturing sector. To overcome this situation, it needs to investigate and analyze service supply chain. Simulation is one of the most frequently used techniques for analysis and design of complex system. Service supply chain is complex and large systems that require an accurate designing phase. Especially, it is important to examine closely the dynamically interactive behavior of the different service supply chain components in order to predict the performance of the servcie supply chain. In this paper, we develop a conceptual model of service supply chain. Then, we present a new procedure to develop simulation model for the developed conceptual model of service supply chain, based on the UML analysis and design tools and on the ARENA simulation language. The two main characteristics of the proposed procedure are the definition of a systematic procedure to design service supply chain and of a set of rules for the conceptual model translation in an ARENA simulation language. The goal is to improve the knowledge on service supply chain management and support the simulation model development efficiency on service supply chain.

• Journal of the Korea Society for Simulation
• /
• v.15 no.2
• /
• pp.59-69
• /
• 2006

Component-based software development is introduced as a new development paradigm in software development method. This approach is different from existing software development approach because it is based on reusable and autonomous unit, component. Therefore, component-based development(CBD)is divided into two stages; component development process and component assembly process; application development process. Component development process is the core of CBD because component has a key for good software. Currently many methodologies or tools have been introduced by various academies or industries. However, those don't suggest systematic and flexible modeling techniques adaptable easily into component development project. Existing approaches have a unique orarbitrary modeling technique or provide heuristic guidelines for component modeling. As a result, many component developers are faced with a difficult problems; how to developcomponent models, when develop which diagrams, and so on. In order to address this problem, we suggest a meta-model driven approach for component development in this paper. We provide meta-models according to both layer and development phase. We expect that suggested meta-models allow component developers to develop appropriate models of the time.