Finite state automata as conceptual model for e-Services

Journal of Integrated Design and Process Science

Volumn 8, Issue 2, 2004, Pages 105-121

  Berardi, Daniela ^a   De Rosa, Fabio ^a   De Santis, Luca ^a   Mecella, Massimo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Conceptual model for e Services; e Service behavior; e services; Timed e services; Web service transition language (WSTL)

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; ELECTRONIC COMMUNITIES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SEMANTICS; TIME VARYING SYSTEMS; WORLD WIDE WEB; XML;

CONCEPTUAL MODEL FOR E-SERVICES; E-SERVICE BEHAVIOR; E-SERVICES; TIMED E-SERVICES; WEB SERVICE TRANSITION LANGUAGE (WSTL);

FINITE AUTOMATA;

EID: 4344687373     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (25)

1. Alur, R. and Dill, D. L., 1994, "A Theory of Timed Automata. Theoretical Computer Science," 126(2): 183-235.
2. Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M. Payne, T., and Sycara, K., 2002, "DAML-S: Web Service Description for the Semantic Web," In Proceedings of the 1st International Semantic Web Conference (ISWC 2002).
3. Ariba, Microsoft, and IBM, 2001, "Web Services Description Language (WSDL) 1.1," W3C Note. Available on-line (link checked March, 1st 2003): http://www.w3.org/TR/2001/NOTE-wsdl-20010315.
4. BEA, Intalio, SAP, and Sun, 2002, "Web Service Choreography Interface (WSCI) 1.0," W3C Document. Available on-line (link checked March, 1st 2003): http://www.w3.org/TR/wsci/.
5. Berardi, D., Calvanese, D., De Giacomo, G., and Mecella, M., 2003, "Reasoning about Actions for e-Service Composition," Technical Report 01-2003, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza".
6. Castro, J., Kolp, M., and Mylopoulos, J., 2002, "Towards Requirements-driven Information Systems Engineering: the Tropos Project," Information Systems, 27(6).
7. Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., and Weerawarana, S, 2002, "Business Process Execution Language for Web Services (Version 1.0)," IBM Document. Available on-line (link checked March, 1st 2003): http://www.ibm.com/developerworks/library/ws-bpel/.
8. Dayal, U., Hsu, M., and Ladin, R., 2001, "Business Process Coordination: State of the Art, Trends and Open Issues," In Proceedings of the 27th Very Large Databases Conference (VLDB 2001).
9. De Michelis, G., Dubois, E., Jarke, M., Matthes, F., Mylopoulos, J., Papazoglou, M., Pohl, K., Schmidt, J., Woo, C., and Yu, E., 1997, "Cooperative Information Systems: A Manifesto," In Papazoglou, M. and Schlageter, G., editors, Cooperative Information Systems: Trends & Directions. Accademic-Press.
10. Elmagarmid, A. and McIver Jr, W., 2001, "The Ongoing March Towards Digital Government".IEEE Computer, 34(2). Special Issue.
11. Georgakopoulos, D., editor, 1999, Proceedings of the 9th International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises (RIDEVE' 99).
12. Henzinger, T., Manna, Z., and Pnueli, A., 1994, "Temporal Proof Methodologies for Timed Transition Systems," Information and Computation, 112(2):273-337.
13. HP, 2001, "Web Services Concepts: a Technical Overview. HP Document," Available on-line (link checked March, 1st 2003): http://www.bluestone.com/downloads/pdf/web_services_tech_overview.pdf.
14. Kuno, H., Lemon, M., Karp, A., and Beringer, D., 2001, "Conversations + Interfaces = Business Logic," In Proceedingsof the 2nd VLDB International Workshop on Technologies for e-Services (VLDB-TES 2001).
15. Lenzerini, M., 2002, "Data Integration: A Theoretical Perspective," In Proceedings of the 21st ACM SIGACT-SIGMODSIGART Symposium on Principles of Database Systems (PODS 2002).
16. Leymann, F., 2001, "Web Service Flow Language (WSFL 1.0)," IBM Document. Available on-line (link checked March, 1st 2003): http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
17. Mecella, M. and Pernici, B., 2002, "Building Flexible and Cooperative Applications Based on e-Services," Technical Report 21-2002, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza". (available on line at: http://www.dis.uniromal.it/~mecella/publications/mp_techreport_212002.pdf).
18. Mecella, M., Pernici, B., and Craca, P., 2001, "Compatibility of e-Services in a Cooperative Multi-Platform Environment," In Proceedings of the 2nd VLDB International Workshop on Technologies for e-Services (VLDB-TES 2001).
19. Meredith, G., 2002, "Contract and Types," In Invited Talk at the 3rd VLDB International Workshop on Technologies for e-Services (VLDB-TES 2002).
20. Rahm, E. and Bernstein, P., 2001, "A Survey of Approaches to Automatic Schema Matching," VLDB Journal, 10(4).
21. Satish, T., 2001, "XLANG. Web Services for Business Process Design. Microsoft Document," Available on-line (link checked March, 1st 2003): http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.hm.
22. UDDI.org, 2001, "UDDI Technical White Paper," Available on-line (link checked March, 1st 2003): http://www.uddi.org/pubs/Iru_UDDI_Technical_White_Paper.pdf.
23. W3C, 2002, "XML Protocol," XML Protocol Web Page (link checked September, 1st 2002): http://www.w3.org/2000/xp/.
24. Weikum, G., 1999, "Towards Guaranteed Quality and Dependability of Information Services," In Invited Talk at the 8th German Database Conference (Datenbanksysteme in Buro, Technik und Wissenschaft).
25. Yang, J., van den Heuvel, W., and Papazoglou, M., 2002, "Tackling the Challenges of Service Composition in e-Marketplaces," In Proceedings of the 12th International Workshop on Research Issues on Data Engineering: Engineering E-Commerce/E-business Systems (RIDE-2EC 2002).