ANALYZING OBSERVABLE BEHAVIOURS OF DEVICE ECOLOGY WORKFLOWS

Seng W. Loke, Sea Ling

Abstract

We envision an Internet computational platform of the 21st century that will include device ecologies consisting of collections of devices interacting synergistically with one another, with users, and with Internet resources. We consider device ecology workflows as a type of workflow describing how such devices work together. It would be ideal if one can model the devices in a computer and analyze the effects when such workflows are executed in the device ecology. This paper provides a Petri Net model in terms of workflow nets for analyzing the observable effects of device ecology workflows.

References

  1. Aalst, W. (1999). Interorganizational work ows: An approach based on message sequence charts and Petri nets. Systems Analysis - Modelling - Simulation, 34(3):335-67.
  2. Aalst, W. v. (1998). The application of Petri nets to workow management. The Journal of Circuits, Systems and Computers, 8(1):21-66.
  3. AHAM (2002). Connected Home Appliances Object Modelling, AHAM CHA-1-2002.
  4. Bentham, J. (2002). TCP/IP Lean: Web Servers for Embedded Systems (2nd Edition). CMP Books.
  5. Carabelea, C. and O.Boissier (2003). Multi-agent Platforms for Smart Devices: Dream or Reality? In Proceedings of the Smart Objects Conference (SOC'03), Grenoble.
  6. Corporation, M. (2002). Understanding UPnPTM: A White Paper. Software - Practice and Experience.
  7. Desel, J. and Esparza, J. (1995). Free choice Petri nets. Cambridge University Press.
  8. Durand, Y., Vincent, S., Marchand, C., Ottogalli, F., Olive, V., Martin, S., Dumant, B., and Chambon, S. (2003). SIDRAH: A Software Infrastructure for a Resilient Community of Wireless Devices. In Proceedings of the Smart Objects Conference (SOC'03), Grenoble.
  9. Jahnke, J., DEntremont, M., and Stier, J. (2002). Facilitating the Programming of the Smart Home. IEEE Wireless Communications, pages 70-76.
  10. Loke, S. (2003). Service-Oriented Device Ecology Workows. In Proceedings of the International Conference on Service-Oriented Computing, pages 559-74.
  11. Loke, S. (2004). Device ecology work ows with predictable observable effects. In Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA) Workshop (to appear).
  12. Marples, D. and Kriens, P. (2001). The Open Services Gateway Initiative: An Introductory Overview. IEEE Communications, pages 2-6.
  13. Matsuura, K., Haraa, T., Watanabe, A., and Nakajima, T. (2003). A New Architecture for Home Computing. In Proceedings of the IEEE Workshop on Software Technologies for Future Embedded Ssytems (WSTFES03), pages 71-74.
  14. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-80.
  15. Nakajima, T. (2003). Pervasive Servers: A Framework for Creating a Society of Appliances. In Proceedings of the 1AD: First International Conference on Appliance Design, pages 57-63.
  16. Ramparany, F., Boissier, O., and Brouchoud, H. (2003). Cooperating Autonomous Smart Devices. In Proceedings of the Smart Objects Conference (SOC'03), Grenoble.
  17. Saif, U., Gordon, D., and Greaves, D. (2001). Internet Access to a Home Area Network. IEEE Internet Computing, pages 54-63.
  18. Waldo, J. (1999). The Jini Architecture for Network-Centric Computing. Communications of the ACM, pages 76- 82.
  19. Work ow Management Coalition (1999). Work ow management coalition terminology and glossary (WFMCTC-1011). Technical report, Work ow Management Coalition, Brussals.
Download


Paper Citation


in Harvard Style

W. Loke S. and Ling S. (2004). ANALYZING OBSERVABLE BEHAVIOURS OF DEVICE ECOLOGY WORKFLOWS . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 972-8865-00-7, pages 78-83. DOI: 10.5220/0002625800780083


in Bibtex Style

@conference{iceis04,
author={Seng W. Loke and Sea Ling},
title={ANALYZING OBSERVABLE BEHAVIOURS OF DEVICE ECOLOGY WORKFLOWS},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2004},
pages={78-83},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002625800780083},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - ANALYZING OBSERVABLE BEHAVIOURS OF DEVICE ECOLOGY WORKFLOWS
SN - 972-8865-00-7
AU - W. Loke S.
AU - Ling S.
PY - 2004
SP - 78
EP - 83
DO - 10.5220/0002625800780083