Một trong những bài toán được xét đến là bài toán xử lý đơn đặt chỗ. Biểu đồ tuần tự mô tả 3 đối tượng Oder, Ticket và Account. Hệ thống được xây dựng với chức năng chính là tiếp nhận xử lý các đơn đặt chỗ của Oder, cho phép đặt chỗ nếu có chỗ trống hoặc từ chối khi hết chỗ và cuối cùng là ghi nợ vào sổ kế toán. Hình 4.2.1 mô tả bản vẽ của biểu đồ tuần tự.
Biểu đồ tuần tự được mô tả dưới dạng tệp xmi và đưa vào công cụ xử lý. File xmi đầu vào được định kiểu theo quy tắc của công cụ. File xmi đầu vào mô tả cho biểu đồ tuần tự xử lý đặt chỗ như sau.
<sequence>
<object id="001" type="object" name="Order">
<event id="002" type="event" name="create" typeEvent="receive" /> <fragment id="003" type="CombinedFragment" operator="loop">
<operand id="004" type="Operand" condition="get next item">
<event id="005" type="event" name="reserve(date,count)" typeEvent="send" /> <fragment id="006" type="CombinedFragment" operator="alt">
<operand id="007" type="Operand" condition="available">
<event id="008" type="event" name="add(seats)" typeEvent="receive" /> </operand>
<operand id="009" type="Operand" condition="unavailable">
<event id="0010" type="event" name="reject" typeEvent="receive" /> </operand>
</fragment> </operand> </fragment>
<event id="011" type="event" name="debit(cost)" typeEvent="send" /> </object>
<object id="012" type="object" name="Ticket">
<fragment id="003" type="CombinedFragment" operator="loop"> <operand id="004" type="Operand" condition="get next item">
<event id="005" type="event" name="reserve(date,count)" typeEvent="receive" /> <fragment id="006" type="CombinedFragment" operator="alt">
<operand id="007" type="Operand" condition="available">
<event id="008" type="event" name="add(seats)" typeEvent="send" /> </operand>
<operand id="009" type="Operand" condition="unavailable">
<event id="010" type="event" name="reject" typeEvent="send" /> </operand>
</fragment> </operand> </fragment> </object>
<object id="013" type="object" name="Account">
<event id="011" type="event" name="debit(cost)" typeEvent="receive" /> </object>
</sequence>
Đầu ra của công cụ là các ôtômat vào/ra cho mỗi đối tượng. Mỗi ôtômat vào/ra đầu ra mong muốn sẽ mô hình hóa được các trạng thái của đối tượng cũng như sự tương tác khi nhận và gửi các thông điệp. Đầu ra mong muốn của các đối tượng Oder, Ticket và Account trong bài toán được mô tả lần lượt như trong hình 4.2.2, hình 4.2.3 và hình 4.2.4.