����́A�uLEGO Mindstorms NXT�v�̃��C���g���[�X�d�l���e�[�}�ɋL�q����UML����ɁAVDM�ɂ��d�l�L�q�̎菇���ڂ����������I
�@�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 |
�@�ǎ҂̒��ɂ́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
�@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
�@�{�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
Copyright © ITmedia, Inc. All Rights Reserved.
�g�ݍ��݊J���̋L�������L���O
�R�[�i�[�����N