Event partitioning is an easy-to-apply systems analysis technique that helps the analyst organize requirements for large systems into a collection of smaller, simpler, minimally-connected, easier-to-understand "mini systems" / use cases.
The event-partitioning approach is explained by Stephen M. McMenamin and John F. Palmer in Essential Systems Analysis.[1] A brief version of the approach is described in the article on Data Flow Diagrams (DFDs). A more complete discussion is in Edward Yourdon's Just Enough Structured Analysis.[2] The description focuses on using the technique to create data flow diagrams, but it can be used to identify use cases as well.
The premise of event partitioning is that systems exist to respond to external events: identify what happens in the business environment that requires planned responses, then define and build systems to respond according to the rules of the business. In particular, a business system exists to service the requests of customers. A customer, in the jargon of the Unified Modeling Language (UML), is an "actor".
The method has the following steps.
The technique was extended with "non-event" events by Paul T. Ward and Stephen J. Mellor in Structured Development for Real-Time Systems: Essential Modeling Techniques.[3]
"Since the terminators [actors] are by definition outside the bounds of the system-building effort represented by the model, the implementors cannot modify the terminator [actor] technology at will to improve its reliability. Instead, they must build responses to terminator [actor] problems into the essential model of the system. A useful approach to modeling responses to terminator [actor] problems is to build a list of 'normal' events and then to ask, for each event, 'Does the system need to respond if this event fails to occur as expected?' " [4] [emphasis added]
Yourdon/DeMarco style of data dictionary notation may be used to describe the composition and structure of data.
Symbol | Meaning |
---|---|
= | "contains", "is", or "is composed of" |
+ | "and", "as well as", or "together with" (not arithmetic "plus") |
[x ; y ; z] | "select only one of either x or y or z". Either a semicolon (;) or a vertical bar (|) may be used to separate items in the list. |
m{x}n or m:n{x} or |
"from m to n iterations of x". If m or n is not specified, then the lower or upper limit is simply "unknown" or "unspecified". Multi-dimensional arrays may be specified by nesting, e.g., 10 { 10 { x } 10 } 10 defines a two-dimensional matrix of 10 rows with 10 columns. |
(x) | "optionally x". This is equivalent to 0{x}1 or 0:1{x} or . |
@ | prefix for an identifier within an iteration. For example, in {@i+@j+x} i and j are identifiers. |
* ... * | Anything between single asterisks is regarded as a comment. At the data element level, a comment may contain such type tags as "range :", "limits :", "precision :", "unit :" or "values :". |
The data structure elements can map to structured programming′s control structures:
NB. The items defined may be "material" (e.g., room key) as well as "data" (e.g., arrival date-time).
The event-response information may be captured in a table. The event is the raison d’être for the response, which gives "traceability" from the response back to the environment.
1. Actor | 2. External Event / Trigger | 3. Detected by | 4. Response(s) / Use Case(s) |
---|---|---|---|
Guest | Guest requests a room of a certain type, for a particular arrival date, departure date, at a certain rate, etc. | booking request + (payment validation) + (*external reservation system* booking confirmation) [5] |
Book Room (may include guaranteed booking, alternate hotel booking, waitlisted booking) |
Guest | Guest asks to cancel room booking. | cancellation request [6] | Cancel Booking |
Guest | Guest arrives at hotel. | arrival message = * * = [guest name ; booking reference] [7] |
Check in Guest |
Time / Scheduler | Guest fails to arrive at hotel. [This is a "non-event" event.] | 11 pm (local time) [A "non-event" event is detected by the arrival of a point in time, a deadline.] | Create Guest Bill, Update Booking |
Guest | Guest asks to check out of hotel. | check-out request = * * = [guest name ; room number] [8] |
Create Guest Bill, Update Room Occupancy |
Time / Scheduler | Guest fails to check out of hotel. [This is a "non-event" event.] | 11 am (local time) [A "non-event" event is detected by the arrival of a point in time, a deadline.] | Create Guest Bill |
Guest | Guest offers payment of bill. | payment vehicle = * * = [cash ; cheque ; credit card ; debit card] + (guest id) [9] |
Accept Guest Payment |
Time / Scheduler | Time to prepare Room Occupancy Report for previous night. | 8 am (local time) | Report on Room Occupancy |
Hotel Manager | Hotel Manager requests Room Occupancy Report. | occupancy report request | Report on Room Occupancy |
Smoke / CO Alarm | Alarm detects smoke. | smoke alarm message | Report Smoke Alarm |
Smoke / CO Alarm | Alarm detects CO (carbon monoxide). | CO alarm message | Report CO Alarm |
This approach helps the analyst to decompose the system into "mentally bite-sized" mini-systems using events that require a planned response. The level of detail of each response is at the level of "primary use cases". Each planned response may be modelled using DFD notation or as a single use case using use case diagram notation.
The basic flow within a process or use case can usually be described in a relatively small number of steps, often fewer than twenty or thirty, possibly using something like "structured English". Ideally, all of the steps would be visible all at once (often a page or less). The intention is to reduce one of the risks associated with short-term memory, namely, forgetting what is not immediately visible ("out of sight, out of mind").
Alternatively, using the notations of structured techniques, an analyst could create a "Nassi–Shneiderman diagram". In the UML, the use case could be modelled using an activity diagram, a sequence diagram, or a communication diagram. This could be problematic if there are many complex scenarios of the use case; the analyst may wish to model all or most of the scenarios.
If the response is lengthy or complex (i.e., more than a page of text), an analyst may decompose ("factor out" or deduplicate) into smaller "secondary use cases" to keep the "parent" primary use case smaller and simpler. These secondary use cases may prove to be reusable as well. (In a UML use case diagram, they would be drawn as extended or included use cases, which are related to one or more primary use cases.)
While describing a use case, an analyst may also uncover "business rules". Some analysts suggest capturing business rules in a separate document using the Object Constraint Language or some other formal notation. Then when a business rule must be obeyed in a use case, the analyst makes reference to it. This minimises repetition [10] within a specification, but risks fragmentation of a specification. One technique that may reduce this tension is to use hyperlinks in the specification document.
This reductionist approach lies somewhat in contrast to a systems thinking approach as represented by Peter Checkland's soft systems methodology.
In addition to functional requirements captured in a use case description, an analyst may include such non-functional requirements as response time, learnability, etc.