���f�B�A

VDM��p�����d�l�L�q�E���� �` �d�l�L�q�� �`�F�N�ł��g����`����@�i4�j�i1/3 �y�[�W�j

����́A�uLEGO Mindstorms NXT�v�̃��C���g���[�X�d�l���e�[�}�ɋL�q����UML����ɁAVDM�ɂ��d�l�L�q�̎菇���ڂ����������I

» 2009�N01��21�� 00��00�� ���J
[�A�؉�K�iCSK�j�C��IT MONOist]

�@�O��uVDM��p�����d�l�L�q�E���� �` ���f�����O�� �`�v�ł́A���S�Ђ�LEGO Mindstorms NXT�i�ȉ��AMindstorms�j�̃��C���g���[�X�d�l���e�[�}�ɗv���𕪐͂��AUML�Ń��f�����L�q���܂����B

�@����́A�O��L�q����UML�����VDM�L�q�����Ă����܂��B��������́AVDM�̍\���������‚��o�Ă��܂��̂ŁAVDM information web site��VDMTools�}�j���A���Ɍf�ڂ���Ă���uVDM++ ����}�j���A���v���_�E�����[�h���A�K�v�ɉ����ĎQ�Ƃ��Ȃ���ǂݐi�߂Ă��������B


�֘A�����N�F
�� VDM information web site

�Ȃ����f����VDM�ŋL�q����̂��H

�@�ǎ҂̒��ɂ́A�u�O��UML�ŗv�������f���������̂�����A������VDM�ŋL�q����K�v�͂Ȃ��̂ł͂Ȃ����H�v�Ɗ����Ă���������������邩������܂���B�����ŁA�g�Ȃ�VDM���L�q����̂��h�ɂ‚��Đ������邱�Ƃ���n�߂����Ǝv���܂��B

�@�d�l��UML�ŋL�q����ɂ���A���{��ŋL�q����ɂ���A���ƂȂ�͈̂ȉ���2�_�ł��B

  • �d�l�L�q�҂̈Ӑ}�����m�Ɏd�l�̓ǂݎ�֓`���Ȃ�
  • �L�q�����d�l�̐�������������Ȃ�

�@1�_�ڂ́u�d�l�L�q�҂̈Ӑ}�����m�Ɏd�l�̓ǂݎ�֓`���Ȃ��v�̂́A�L�q�������܂��ň�ѐ����Ȃ��L�q����Ă��邽�߂ɁA���܂��܂ȉ��߂��ł��Ă��܂����Ƃ������ł��BUML�̂悤�Ȑ}���\���ł͂�����x�ɘa����܂����A���{��ł̎d�l�\���ł͂����܂����������ɕ\��܂��B����ł́u�d�l�𐳊m�ɑ��҂ɓ`����v�Ƃ����������ʂ������Ƃ��ł��܂���B�܂��A�d�l���ɕ\���p��̒�`����ӂłȂ����߁A����Ɏd�l�̓ǂݎ������������̂ł��B

�@2�_�ڂ́u�L�q�����d�l�̐�������������Ȃ��v�̂́A�d�l�ɑ΂��錟�؊�����m�łȂ����ƂƁA�d�l���̂̐�����������m�łȂ����Ƃ������ł��B��ʓI�Ɏd�l�̌��ؕ��@�Ƃ����΁A�d�l�����r���[���邱�Ƃł��B�������A���r���[�ł͖��m�Ȍ��؊���Ȃ��A���ؕi���̓��r���[�A�̗͗ʂɍ��E����邱�Ƃ����X�ɂ��Ă���܂��B�܂��A�d�l���̂̐�������𖾊m�ɂ��Ă��Ȃ����߂ɁA1��1�‚̋@�\�����Ӗ��₻�̋@�\���g�����ɉۂ�����Ӗ��������炸�A���ꂪ�e�X�g�H���Ńo�O�Ƃ��Č��݉�����̂ł��B

�@��L�̂悤�Ȗ�����������ɂ́A��ѐ��̂���d�l�𐧖�������܂߂Ă����܂����Ȃ��L�q���A���m�Ȍ��؊�̉��A�l��ɗ���Ȃ����؂��K�v�ł��B������������邽�߂�1�‚̕��@���A����Љ��VDM�ł̋L�q�ƌ��؂ɂȂ�̂ł��B

�@�����AMindstorms��VDM�L�q������������Ƃ���ł����A�܂���VDM�L�q�̑S�̍\����������܂��B

VDM�̑S�̍\��

�@�{�A�ڂŎ�舵���Ă���VDM++�́A�ȉ��̂悤�ɍ\������Ă��܂��B

class �N���X��
  types
    �^��`
  values
    �萔��`
  instance variables
    �C���X�^���X�ϐ���`
  functions
    �֐���`
  operations
    �����`
end �N���X�� 

�@�ق��ɂ��A�usync�v��uthread�v���g�����Ƃœ��������X���b�h��`���L�q�ł��܂��B�����ł́A��Ɏg�����L��`�ɂ‚��ĊȒP�ɐ������܂��B

�@VDM++�̍ł��傫�ȋL�q�P�ʂ̓N���X�ł��B�����āA�N���X�̒��Ɂutypes�v��ufunctions�v�̂悤�ȃL�[���[�h�ʂɂ��ꂼ��̗v�f���`���Ă����܂��B���ꂼ��̗v�f���L�q���镶�@�͕ʓrVDM++ ����}�j���A�����Q�Ƃ��Ă��������B�����̗v�f���L�q���鏇�Ԃ͊֌W���Ȃ��Atypes��2���o�Ă���悤�ȏd����������Ă��܂��B

�@����ł�Mindstorms���ɁAVDM���L�q���Ă����ߒ������Ă����܂��傤�B

�@�@�@�@�@�@ 1|2|3 ���̃y�[�W��

Copyright © ITmedia, Inc. All Rights Reserved.

���ʋ��^PR
�X�|���T�[����̂��m�点PR
Pickup ContentsPR

�g�ݍ��݊J���̋L�������L���O

Special SitePR
���Ȃ��ɂ������߂̋L��PR