Analyzing observable behaviours of device ecology workflows

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

Volumn , Issue , 2004, Pages 78-83

  Loke, Seng W ^a   Ling, Sea ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

Analysis; Device ecology; Petri net modelling; Workflow

Indexed keywords

COMPUTATIONAL METHODS; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SERVERS; SOFTWARE ENGINEERING; WIRELESS TELECOMMUNICATION SYSTEMS;

DEVICE ECOLOGY; INTERNET COMPUTING; PETRI NET MODELING; WORKFLOWS;

INTERNET;

EID: 8444252975     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Aalst, W. (1999). Interorganizational workflows: 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 workflow 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 UPnP™: 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 Workflows. In Proceedings of the International Conference on Service-Oriented Computing, pages 559-74.
11. Loke, S. (2004). Device ecology workflows 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 IAD: 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. Workflow Management Coalition (1999). Workflow management coalition terminology and glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussals.