Journal of Korean Society of Industrial and Systems Engineering (산업경영시스템학회지)

Society of Korea Industrial and System Engineering (한국산업경영시스템학회)
권호 표지

A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment

유비쿼터스 환경에서 커뮤니티 컴퓨팅 지원을 위한 코디네이터 개발

  • Nam, Jin-Gyu (Department of Industrial Engineering, Hanyang University) ;
  • Kim, Hyun-Woo (Department of Industrial Engineering, Hanyang University) ;
  • Shin, Dong-Min (Department of Information and Industrial Engineering, Hanyang University) ;
  • Park, Jae-Il (Division of Industrial and Information Systems, Ajou University) ;
  • Hur, Sun (Department of Information and Industrial Engineering, Hanyang University)
  • 남진규 (한양대학교 산업공학과) ;
  • 김현우 (한양대학교 산업공학과) ;
  • 신동민 (한양대학교 정보경영공학과) ;
  • 박재일 (아주대학교 산업정보시스템공학부) ;
  • 허선 (한양대학교 정보경영공학과)
  • Published : 2008.09.30
Download PDF
⟨ Previous Next ⟩

Abstract

Recent advances in mobile computing technologies and platform-independent information systems have enabled to realize a ubiquitous environment. Community computing has been developed as a useful tool for realizing collaborative services in a ubiquitous environment. In this paper, we present a formal model of a ubiquitous space that takes community concept into consideration and propose two management frameworks that prevent conflicts among communities. To demonstrate the validity of the proposed frameworks, an example for coordinating two communities is provided.

Keywords

References

  1. 강경란, et al.; "커뮤니티 컴퓨팅：협업 기반 환경자동 적응의 컴퓨팅 모델", 정보과학회지, 24(12)： 84-91, 2006
  2. Brandin, B. A.; "The Real-time Supervisory Control of An Experimental Manufacturing Cell," IEEE Trans. On Robotics and Automation, 12(1)：1-14, 1996
  3. Cassandras, C. G. and Lafortune, S.; Introduction to Discrete Event Systems, Springer, New York, 1999
  4. Castillo, I. and Smith, J. S.; "Formal Modeling Methodologies for Control of Manufacturing Cells：survey and comparison," Journal of Manufacturing Systems, 21(1)：40-57, 2002 https://doi.org/10.1016/S0278-6125(02)90011-7
  5. Feng, L. and Chen, L.; "Achieving Online Coordination in real-time collaborative assembly modeling：a supervisory control approach," Journal of Computing and Information Science in Engineering, 6(3)：252-262, 2006 https://doi.org/10.1115/1.2194907
  6. Hopcroft, J. E., Motwani, R., and Ullman, J. D.; Introduction to Automata Theory, Languages, and Computataion, 2nd Ed. Addison-Wesley, New York, 2001
  7. Jung, Y., Lee, J., and Kim, M.; "Multi-agent based community computing system development with the model driven architecture," in Proceedings of the fifth international joint conference on Autonomous agents and multiagent, Hakodate, Japan, 1329-1331, 2006
  8. Jung, Y., Lee, J., and Kim, M.; "Community based Ubiquitous System Development in Multi-agent Environment," in CAiSE'06 Workshop Ubiquitous Mobile Information and Collaboration Systems(UMICS 2006), Luxembourg, Grand-Ducy of Luxembourg, 2006
  9. Kim, H., et al.; "Community Manager：A Dynamic Collaboration Solution on Heterogeneous Environment," in 2006 ACS/IEEE International Conference on Pervasive Services, Lyon, France, 2006
  10. Lupu, E. C. and Sloman, M. S.; "Conflicts in Policy- Based Distributed Systems Management," IEEE Transactions on Software Engineering-Special Issue on Inconsistency Management, 25(6)：852-869, 1999 https://doi.org/10.1109/32.824414
  11. Sivashanmugam, K., et al.; "Framework for Semantic Web Process Composition," International Journal of Electronic Commerce, 9(2)：71-106, 2004
  12. Shim, Y.-J., et al.; "A Ubiquitous System Architecture Based on the Community Computing Model," in ICHIT, Jeju, Korea, 2006
  13. Wong, K. C. and Wonham, W. M.; "Modular Control and Coordination of Discrete-event Processes," Discrete Event Dynamic Systems：Theory and Applications, 8(3)：247-297, 1998 https://doi.org/10.1023/A:1008210519960