You cannot see this page without javascript.

Language
한국어

Moon

  • BBS
  • Owner
    • C.V.
    • Schedule
    • Thoughts
    • Critics
    • Chef
  • CBNU
    • Teaching
    • Research
    • Public Services
    • SRE Lab
    • OMiLab Korea
    • JBNU_Critics
    • Advisor
  • BZ
    • BZEN Inc.
    • The Proto Systems
  • Tasks
  • Works
    • Poem
    • Novel
    • News/Issues
  • Interest in
    • 음악/Music
    • 언어/Language
    • 역사/History
    • 무기/Military
    • 경제/Economy
    • 정치/Politics
    • 문화/Culture
    • 교육/Education
    • 과학/Science
    • 철학/Philosophy
    • 의학/Medical
    • 문학/Literature
    • 삶/Life
    • 해학/Humor

BBS

게시판 Bulletin Board
글 수 375
  • 회원가입
  • 로그인...
  • Skin Info
  • Tag list
  • List
  • Webzine
  • Gallery

[2019-07-24] NEMO2019, The 6th: Day 8 - Wed

moonkun
http://moon.jbnu.ac.kr/index.php?mid=m_bbs&document_srl=836488
2019.07.25 16:32:29 (*.80.2.139)
481
Program.jpg


이 게시물을
  • Program.jpg (120.7KB)(0)
목록
댓글
2019.07.25 16:36:52 (*.80.2.139)
moonkun
KakaoTalk_20190725_074751174.jpg


KakaoTalk_20190725_074748965.jpg


KakaoTalk_20190725_074746350.jpg


  • KakaoTalk_20190725_074751174.jpg (58.8KB)(0)
  • KakaoTalk_20190725_074746350.jpg (62.1KB)(0)
  • KakaoTalk_20190725_074748965.jpg (102.0KB)(0)
댓글
2019.07.25 16:37:24 (*.80.2.139)
moonkun

Process Algebra to Model Probabilistic Behavior of Smart IoT

Prof. Dr. Moonkun Lee, Chonbuk National University, Korea

Abstract

In general, process algebra can be the most suitable formal method to specify IoT systems due to the equivalent notion of processes as things. However there are some limitations to predict smart IoT systems with the properties of distribution, mobility and real-time. For example, Timed pi-Calculus has capability of specifying time property, but is lack of direct specifying both execution time of action and mobility of process at the same time. And d-Calculus has capability of specifying mobility of process itself, but is lack of specifying various time properties of both action and process, such as, ready time, timeout, execution time, deadline, as well as priority and repetition. In order to overcome the limitations, this lecture presents a process algebra, called, dTp-Calculus, extended from d-Calculus, by providing with capability of specifying probabilistic transitions with the set of time properties, as well as priority and repetition. Further the method is implemented as a tool, called SAVE, on the ADOxx meta-modeling platform. It can be considered one of the most practical and innovative approaches to model probabilistic behavior of smart IoT systems.


DSC06988-hp.JPG


DSC06989-hp.JPG


DSC06993-hp.JPG


DSC06998-hp.JPG


DSC08954-hp.JPG


DSC09038-hp.JPG



  • DSC06988-hp.JPG (30.7KB)(0)
  • DSC06989-hp.JPG (31.2KB)(0)
  • DSC06993-hp.JPG (29.8KB)(0)
  • DSC06998-hp.JPG (41.9KB)(0)
  • DSC08954-hp.JPG (53.1KB)(0)
  • DSC09038-hp.JPG (43.2KB)(0)
댓글
2019.07.25 16:37:47 (*.80.2.139)
moonkun

Supporting Business Process Improvement through a Modeling Tool

Prof. Dr. Florian Johannsen, Hochschule Schmalkalden, Germany

Abstract

Business Process Improvement (BPI) ranks among the topics of highest priority in modern organizations. However, considering the rapidly changing customer requirements in times of high market transparency and the increasing collaboration between organizations, the conduction of BPI projects has become very challenging. Implicit process knowledge from diverse process participants needs to be elicited and transformed into improvement opportunities. In this context, the results achieved need to be properly documented, communicated and processed throughout a company. The purpose of the lecture is to present a conceptual solution (called “BPI roadmap”), which is a means for systematically performing BPI initiatives based on a set of easy-to-use and proven BPI techniques. In the in the tool “RUPERT” (Regensburg University Process Excellence and Reengineering Toolkit), the BPI techniques are realized in form of corresponding model types. The lecture gives insights into the development of the “BPI roadmap” and “RUPERT” and demonstrates the tool’s functionality by referring to a use case stemming from a cooperation project.


DSC07000-hp.JPG


DSC07002-hp.JPG



  • DSC07000-hp.JPG (32.4KB)(0)
  • DSC07002-hp.JPG (26.9KB)(0)
댓글
2019.07.25 16:38:07 (*.80.2.139)
moonkun

Capability Oriented Requirements Engineerings

Prof. Evangelia Kavakli, University of the Aegean, Greeces

Abstract

The NEMO 2019 lecture concerns an approach to the application of conceptual modelling known as the Capability Oriented Requirements Engineering (CORE) approach. The conceptual modelling framework applied in CORE employs a set of complimentary and intertwined modelling paradigms based on enterprise capabilities, goals, actors, and information objects. The lecture will define the foundational concepts of CORE as well as the way of working from capturing textual descriptions from stakeholders, progressing to formally defining models of early requirements, based on the CORE meta-model, and in a stepwise refinement define functional and non-functional requirements of desired systems. The theory will be supplemented by examples from a real application of CORE on a Cyber Physical Production System.



댓글
2019.07.25 16:38:19 (*.80.2.139)
moonkun

Capability Oriented Requirements Engineerings

Prof. Evangelia Kavakli, University of the Aegean, Greeces

Abstract

The NEMO 2019 lecture concerns an approach to the application of conceptual modelling known as the Capability Oriented Requirements Engineering (CORE) approach. The conceptual modelling framework applied in CORE employs a set of complimentary and intertwined modelling paradigms based on enterprise capabilities, goals, actors, and information objects. The lecture will define the foundational concepts of CORE as well as the way of working from capturing textual descriptions from stakeholders, progressing to formally defining models of early requirements, based on the CORE meta-model, and in a stepwise refinement define functional and non-functional requirements of desired systems. The theory will be supplemented by examples from a real application of CORE on a Cyber Physical Production System.



댓글
2019.07.25 16:38:32 (*.80.2.139)
moonkun

Quality Assurance for BPMN Models

Prof. Dr. Andreas Polini, University of Camerino, Italy

Abstract

Business Process modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe the flow of activities of complex organisations, when they are pursuing specific objectives. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for such activities. Nonetheless the lack of a formal semantics hinders the adoption of the standard by software engineers, as it leaves room for ambiguity and it limits the possibility to precisely check the satisfaction of relevant behavioural properties. In both cases with a negative impact on the quality of the resulting software. The lecture will introduce a verification framework for BPMN, called BProVe, that is based on a structured operational semantics definition, implemented using the executable formal framework MAUDE. The specification has been devised to clarify the semantics of the language, and to make the model verification possible and effective. With the intention to effectively support BPMN model verification, also on those scenario suffering from the state-space explosion problem, BProVe integrates both standard model checking techniques, through the MAUDE's LTL model checker, and statistical model checking techniques, through the statistical analyzer MultiVeSta. To support the adoption of the framework a complete toolchain that allows for rigorous modelling and verification of business processes has been developed. In the lecture practical examples will be used, and successively a set of exercises will be proposed to students that will have the opportunity to use the proposed tool chain.



번호
제목
글쓴이
날짜
조회 수
355 [March 2024] Korea-Austria Joint Project: DeViLL 4 file
moonkun
2024-03-21 208
 
354 [Jan 2024] Remodeling OMiLAB Korea Laboratory for Final New Age. 1 file
moonkun
2024-01-29 252
 
353 [Jan 2024] Sensors: Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT Systems in Digital Twin file
moonkun
2024-01-25 224
 
352 [NEMO '23] [Fri] [28th July 2023] [UniVie] 10th Day 8 file
moonkun
2023-07-24 270
 
351 [NEMO '23] [Thur] [27th July 2023] [UniVie] 9th Day file
moonkun
2023-07-24 202
 
350 [NEMO '23] [Wed [26th July 2023] [UniVie] 8th Day file
moonkun
2023-07-24 195
 
349 [NEMO '23] [Tue] [25th July 2023] [UniVie] 7th Day file
moonkun
2023-07-24 261
 
348 [NEMO '23] [Mon] [24th July 2023] [UniVie] 6th Day file
moonkun
2023-07-24 210
 
347 [NEMO '23] [Fri] [21th July 2023] [UniVie] 5th Day file
moonkun
2023-07-24 154
 
346 [NEMO '23] [Thur] [20th July 2023] [UniVie] 4th Day file
moonkun
2023-07-24 158
 
345 [NEMO '23] [Wed] [19th July 2023] [UniVie] 3rd Day - Prof. Lee's Presentation file
moonkun
2023-07-24 196
 
344 [NEMO '23] [Tue] [18th July 2023] [UniVie] 2nd Day file
moonkun
2023-07-24 146
 
343 [NEMO '23] [Mon] [17th July 2023] [UniVie] Opening Day file
moonkun
2023-07-24 184
 
342 [14th July 2023] Korea-Austria Joint Project Meeting in The University of Vienna file
moonkun
2023-07-24 163
 
341 [21st June 2023] A View from the Office at the Beginning of Summer file
moonkun
2023-06-21 195
 
340 [19th May 2023] A View from the Office at the End of Spring 1 file
moonkun
2023-05-19 164
 
339 [16th May 2023] 시집 『메타-메타』 (Meta-Meta)
moonkun
2023-05-16 211
1) 시집 『메타-메타』 (Meta-Meta) 2) 관련 기사 3) Theme Poems in English  
338 [14 April 2023] A Morning View from the Office w/o Yellow Dust file
moonkun
2023-04-14 173
 
337 [April 2023][OMiLAB Book Series] 군집행위 메타-모델링 구현 체계 3 file
moonkun
2023-04-10 194
 
336 [Aug 2022] ADA SRL Meta-Language 1 file
moonkun
2023-03-06 198
 
쓰기... 목록
첫 페이지 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 끝 페이지
취소
Powered byXE