SoITS assignment 4 Thomas Loftager Nielsen Lasse Deleuran Jacob Mahler-Andersen Group 1.

Slides:

Advertisements

Similar presentations

1 Copyright © 2009, Oracle. All rights reserved. B Table Descriptions.

Advertisements

Give qualifications of instructors: DAP

Registers.1. Register  Consists of N Flip-Flops  Stores N bits  Common clock used for all Flip-Flops Shift Register  A register that provides the.

Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 5: Restaurant.

SoITS aflevering 5 Thomas Loftager Nielsen Lasse Deleuran Jacob Mahler-Andersen Gruppe 1.

Specification of IT Systems - Group 5 Part IV – Behavior Notations Specification of IT-systems Hand-in 4 Part IV: Behavior Notations Group 5 Guðlaugur.

1 Specification of IT Systems Mandatory Exercise Week 4.

Ch5: Software Specification. 1 Dynamic modeling using UML  Static models:  Dynamic models:

1 Design Methods for Reactive Systems, R.J. Wieringa Part IV: Behavior Notations Jens Bæk Jørgensen, University of Aarhus.

1 Modeldrevet softwareudvikling – 16. november 2004 Design Methods for Reactive Systems, R.J. Wieringa Part IV: Software Specification Methods Jens Bæk.

Clarke, R. J (2001) L951-08: 1 Critical Issues in Information Systems BUSS 951 Seminar 8 Arguments.

SoITS assignment 2 Thomas Loftager Nielsen Lasse Deleuran Jacob Mahler-Andersen Group 1.

Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 12. september 2006 Assignment 2 Function Notations for Scoreboard.

Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 Assignment 4 Behaviour Notations.

Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 10: Statecharts.

Find [G : H] if G = Z 18 and H =. (a) 1.5(b) 3 (c) 6(d) 9 (e) 12(f) 18 (g) None of the above.

Specification of IT Systems Mandatory Exercise Week 4 Group 3, Søren Vestergaard, Smari Waage, Belma Boyraz, Jannick Hoy.

1 times table 2 times table 3 times table 4 times table 5 times table

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System modeling 1.

1.3 – AXIOMS FOR THE REAL NUMBERS. Goals  SWBAT apply basic properties of real numbers  SWBAT simplify algebraic expressions.

Business Optix Library Service – Workflow

Formal Methods 1. Software Engineering and Formal Methods  Every software engineering methodology is based on a recommended development process  proceeding.

Okinawa International Hotel Management System. Overview Currently at the Okinawa International hotel, routine procedures like; vacant room inquiry, reservation.

Factoring Trinomials with Common Factors Grouping Method.

1.3 Solving Equations. A. Q,R B. Q C. N,W,Z D. All of the above Countdown 10 Response Grid.

Chapter 7 The Object-Oriented Approach to Requirements.

OOA&D - 1© Minder Chen, Models, Views, and Diagrams Use Case Diagrams Use Case Diagrams Use Case Diagrams Scenario Diagrams Scenario Diagrams.

HAWKES LEARNING Students Count. Success Matters. Copyright © 2015 by Hawkes Learning/Quant Systems, Inc. All rights reserved. Section 2.4 Applications.

1 Kyung Hee University Statecharts Spring Kyung Hee University Specifying Objects’ Behaviour  Interaction diagrams show message-passing behaviour.

Data Flow Diagrams CP1 Computing.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 8 Slide 1 System models.

OMT Modeling 1. Object Model : presented by the object model and the data dictionary. 2. Dynamic Model: presented by the state diagrams and event flow.

A Student Guide to Object-Oriented Development

Statechart Diagrams. Creating a Statechart Diagram A Statechart diagram shows the life cycle of a single object, from the time that it is created until.

Zhang Shuang Software Engineering Zhang Shuang 1.

Transitions, Animations When do you use them? Why do you use them?

$100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300 $400 $500 $100 $200 $300.

Chapter 2 Comments, Conditions, Assertions Comments Preconditions Postconditions Assertions.

CMSC 345 Fall 2000 Requirements Expression. How To Express Requirements Often performed best by working top- down Express general attributes of system.

Simplifying Algebraic Expressions. 1. Evaluate each expression using the given values of the variables (similar to p.72 #37-49)

Tables Learning Support

8.3 Multiplying Binomials Objective: to multiply two binomials or a binomial by a trinomial.

Concept Learning and The General-To Specific Ordering

Object Oriented Analysis and Design Introduction to Rational Rose.

Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 6: Restaurant.

General Analysis Procedure and Calculator Policy Calculator Policy.

Online Hotel Reservation System Online Hotel Reservation System Submitted by: Acueza, Rose Anne G. Epalan, Evelyn P. Sabile, Jovylyn A. Samson, Kristine.

Section 1.2 Data Classification © 2012 Pearson Education, Inc. All rights reserved. 1 of 61.

BIS 303 Week 2 Learning Team Hospitality Information Systems Direct Reservations Resource: Hospitality Information Systems: Direct Reservations, located.

BSA 411 Week 4 Individual Assignment Process Analysis and System Concept Development Process Analysis and System Concept Development Submit a 3- to 4-page.

Do Now (Today: Sort numbers into number sets)

Identifying & Creating Use Cases – Part 2

BASIC RESERVATION ACTIVITIES

ASSIGNMENT NO.-2.

Check On Learning Q: What manual, regulation, or publication governs The Army Management Structure for Fiscal Year? DFAS-IN MANUAL FY DFAS-IN 37-1.

3.4 - Solving Variables on Both Sides

Introduction to Sequential Circuits

Copyright NCAA 2006 & All rights reserved.

1.3 – AXIOMS FOR THE REAL NUMBERS

Registers and Counters

Presented by, Dr. Lori Jacobs

Identifying & Creating Use Cases - Part 3

Foundations and Definitions

3 times tables.

6 times tables.

Problem Statement. : Team Name. :. Team Leader Name. :

Similarities Differences

Chapter5: Synchronous Sequential Logic – Part 3

Presentation transcript:

SoITS assignment 4 Thomas Loftager Nielsen Lasse Deleuran Jacob Mahler-Andersen Group 1

State Transition table for reservation system: EventCurrent stateActionsNext State Register check in(s,g) NotCheckedIn(1,s)registerCheckIn(s,g)ShowAllCheckedIn(s) NotCheckedIn(n,s)registerCheckIn(s,g)NotCheckedIn(n-1,s) make reservation(s,r)reservations(R,s)reserve(s,r)reservations(R+r,s) Reservation r has ended reservations(R,s)endReservation(s,r)reservations(R\r,s) Similar with remove and change.

Statecharts 1/2 ShowAllCheckedIn NotCheckedIn exit / countdown (n) Guest checks in [n = 0 & hasReservation(g)] /check in Guest checks in [n > 0 & hasReservation(g)] /check in g = guest n = count

Statecharts 2/2 Reserved ReadyForReservation Reserve [check(r)] /reserver r = reservation EndedReservation [cancel] /remove [timeout] /remove

STT for stimulus/response: EventCurrent stateActionsNext State check in(s,g)CheckedIn(G,s)checkReservation(s,g) CheckedIn(G\g,s), registerCheckIn(s,g), checkSuccess(s,g), notifyOnAll(s,G) CheckedIn(G\g,s) request(s,r)reservations(R,s)check(r,s), reserve(s,r) reservations(R+r,s) Reservation r has ended reservations(R,s)endReservation(s,r)reservations(R\r,s)

Assumption descriptions Check in: Guests don’t register twice Make Reservation: NONE Reservation end: Time consistent

Statechart of Workflow

System Engineering Argument S and A entail E: Properties S from diagrams above Assertions about the environment Behaviour properties E of system