Information Technology Reference
In-Depth Information
contextServiceCentreinv:
self.repairOrder->select(status<>OrderStatus::closed)->
size()<=MaxOpenOrders
Further invariant schemata can be specified in this way, defining the in-
tegrity constraints and well-formed rules of the information model that spec-
ifies the shared data model handled by the system.
3.3.5
Static Schemata
Sometimes it is very useful to be able to describe instantaneous views of
the information, for example at system initialization, or at any other specific
moment in time that is relevant to any of the system stakeholders. This
specification of the instantaneous state of the objects is precisely the one
«IV_StaticSchema»
PendingOrderExample
{locationInTime = "2010−07−01,
12:00 UTC" }
MT−Handset : UserHandset
MarkTwain : User
BestCo : CustomerCompany
loan = s
repairOrder = ro0
serialNo = "SN33433/09"
status = Operational
user = MarkTwain
handset = MT−Handset
name = "Mark Twain"
repairOrder = ro0
worksFor = BestCo
address = "Windsor Castle.
Berks. England"
contract = BestCoDeal
name = "The Best Co. Ever, Inc."
phone = "+44.555.1234"
s : Loan
BestCoDeal : Contract
handset = MT−Handset
repairHandset = rh1
returnTo = "10 Downing St, London, England"
starts = "2010−07−01"
billingInfo = "..."
company = BestCo
expiryDate = "2099−12−31"
startDate = "2005−01−01"
ro0 : RepairOrder
rh1 : LoanHandset
a1 : ActionTaken
actionTaken = a1 , a2, a3
estimatedClose = "2010−07−05, 9:55"
handset = MT−Handset
open = "2010−07−01"
orderNumber = "2010−VIP−0003"
repairCentre = LondonRC1
status = Open
user = MarkTwain
loan = s
repairCentre = LondonRC1
serialNo = "SN89355/10"
status = Operational
action = Received
description = "Registered"
performer = s1
repairOrder = ro0
when = "2010−07−01, 10:00"
LondonRC1 : ServiceCentre
MaxOpenOrders = 50
name = "221b Baker St., London,
England"
repairHandset = rh1 , rh2, rh3, rh4, rh5
repairOrder = ro0 , ro1, ro2, ro3
staff = s1, s2
s1 : Staff
actionTaken = a1
name = "Joe Smith"
servicerCentre = LondonRC1
a2 : ActionTaken
a3 : ActionTaken
action = InternallyTested
description = "SIM does not
work. Test#1234 fails"
performer = s2
repairOrder = ro0
when = "2010−07−01, 10:30"
s2 : Staff
action = AssignedRepairHandset
description = "Handed to user"
performer = s2
repairOrder = ro0
when = "2010−07−01, 10:35"
actionTaken = a2 , a3
name = "Laura Stilton"
servicerCentre = LondonRC1
FIGURE 3.4: Current state of an example RepairOrder.
