Second-order semantic web

Proceedings of the 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05

Volumn 2005, Issue , 2005, Pages 219-227

  Margaria, Tiziana ^a   Steffen, Bernhard ^b  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROGRAM COMPILERS; SEMANTICS;

AGGRESSIVE VERSION OF MODEL-DRIVEN DEVELOPMENT (AMDD); SEMANTIC WEB; TECHNOLOGY MAPPINGS; WEB APPLICATIONS;

WORLD WIDE WEB;

EID: 33646915290     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2005.40     Document Type: Conference Paper

References (33)

1. L.F. Andrade, J.L. Fiadeiro: Architecture Based Evolution of Software Systems, http://www.atxsoftware.com/publications/SFM.pdf.
2. AspectJ Website: http://eclipse.org/aspectj/
3. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, January 2003.
4. T. Berners-Lee, J. Hendler, O. Lassila: The Semantic Web, Scientific American, May 2001.
5. Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services. http://www.ibm.com/developerworks/library/ws-bpel/
6. CCITT/ITU-T: Recommendation 1201 - Principles of Intelligent Network Architecture, 1992.
7. A. Hagerer, H. Hungar, O. Niese, and B. Steffen: Model Generation by Moderated Regular Extrapolation. Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), Grenoble (F), LNCS 2306, pp. 80-95.
8. A. Hagerer, T. Margaria, O. Niese, B. Stoffen, G. Brune, H.-D. Ide: Efficient Regression Testing of CTI-Systems: Testing a Complex Call-Center Solution, in Annual Review of Communication, Int. Engineering Consortium Chicago (USA), Vol. 55, pp. 1033-1039, TEC, 2002.
9. A. Hopper: The Royal Society Clifford Paterson Lecture: Sentient Computing, 1999.
10. B. Jonsson, T. Margaria, G. Naeser, J. Nyström, and B. Stoffen. Incremental requirement specification for evolving systems. Nordic Journal of Computing, vol. 8(1):65,
11. Also in Proc. of Feature Interactions in Telecommunications and Software Systems 2000, 2001.
12. JRules, ILOG. http://www.ilog.com/
13. M. Karusseit, T. Margaria: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service WWV'05, 1st Int'l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15, 2005, - final version appears in ENTCS.
14. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J.-M. Loingtier, J.Irwin: Aspect-Oriented Programming. Proc. of ECOOP, Springer-Verlag (1997).
15. Ekkart Kindler: On the Semantics of EPC: A framework for resolving the vicious circle, Proc. EPK 2003 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten - 2. GI-Workshop, Okt. 2003 Bamberg, pp. 7-18.
16. B. Lindner, T. Margaria, B. Steffen: Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse - In Proc. GT-VOI-BITKOM- OCG- TeleTrusT Konferenz on Elektronische Geschäftsprozesse (eBusiness Processes), Universität Klagenfurt, Sept. 2001, http://syssec.uni-klu.ac. at/EBP2001/.
17. Mark Little, Jim Webber: Introducing BPEL4WS 1.0: building on WS-Transaction and WS-Coordination, Web Services Journal, August 2003, http://www.findarticles.com/cf_0/m0MLV/8_3/106174062/p1/article.jhtml
18. Daniel J. Mandell, Sheila A. McIlraith: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation, Proc. ISWC2003, 2nd Intern. Semantic Web Conference, October 2003, Sundial Resort, Sanibel Island, FL (USA), LNCS N.2870, 2003, pp. 227 - 241, Springer Verlag.
19. T. Margaria: Components, Features, and Agents in the ABC, invited contribution to the volume Components, Features, and Agents, PostWorkshop Proceedings of the Dagstuhl Seminar on Objects, Agents and Features 7-21.3.2003, H.-D. Ehrich, J.-J. Meyer, and M. Ryan eds., appears in LNCS, Springer Verlag.
20. T. Margaria, M. Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conference on "e- commerce, e-business, e-government" (I3E 2002), Lisboa (P), 7-9 Oct. 2002 ,
21. in "Towards the Knowledge Society - eCommerce, eBusiness and eGovernment", Kluwer Academic Publishers, pp.497-511.
22. T. Margaria, O. Niese, B. Steffen, A. Erochok: System Level Testing of Virtual Switch (Re-)Configuration over IP, Proc. IEEE European Test Workshop, Corfu (GR), May 2002, IEEE Society Press.
23. T. Margaria, B. Steffen: METAFrame in Practice: Design of Intelligent Network Services, in "Correct System Design - Issues, Methods and Perspectives", LNCS 1710, Springer-Verlag, 1999, pp. 390-415.
24. T. Margaria, B. Steffen: Backtracking-free Design Planning by Automatic Synthesis in METAFrame. Proc. of Int. Conf. on Fundamental Aspects of Software Engineering (FASE'98), Lisbon, Portugal, (eds.: E. Astesiano), Lecture Notes in Computer Science (LNCS), Vol. 1382, pp. 188-204. Springer-Verlag, Heidelberg, Germany, March 30 - April 3 1998.
25. T. Margaria, B. Steffen: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, to appear in STTT, Int. Journal on Software Tools for Technology Transfer, Springer-Verlag, 2003.
26. T. Margaria, B. Steffen: Aggressive Model Driven Development of Broadband Applications, invited contribution for the book: Delivering Broadband Applications: A Comprehensive Report, IEC, Int. Engineering Consortium, Chicago (USA), 2004.
27. O. Niese, T. Margaria, A. Hagerer, M. Nagelmann, B. Steffen, G. Brune, and H. Ide. An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication, Int. Engineering Consortium Chicago (USA), Vol. 54, pp. 927-936, IEC, 2001.
28. O.Niese, T. Margaria, B. Steffen: Demonstration of an Automated Integrated Test Environment for Web-based Applications, - in "Model Checking of Software", Proc. SPIN 2002, 9th Int. SPIN Workshop on Applications of Model Checking, satellite Workshop to ETAPS 2002, Grenoble (F), April 2002, LNCS N. 2318, pp. 250-253, Springer Verlag.
29. O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, and H. Ide. Library-based design and consistency checks of system-level industrial test cases. In H. Hußmann, editor, Proc. EASE 2001, LNCS 2029, pages 233-248. Springer Verlag, 2001.
30. Organic Computing: Computer- und Systemarchitektur im Jahr 2010, position paper of the VDE/ITG/GI. http://www.gi-ev.de/download/VDE-ITG-GI- Positionspapier
31. B. Steffen. Unifying models. In R. Reischuk and M. Morvan, editors, Proc. STAGS'97, LNCS 1200, pages 1-20. Springer Verlag, 1997.
32. B. Steffen, T. Margaria, A. Claßen: Heterogeneous Analysis and Verification for Distributed Systems, "SOFTWARE: Concepts and Tools" Vol. 17, N.1, pp. 13-25, March 1996, Springer Verlag.
33. Web Service Choreography Interface (WSCI) 1.0, W3C Note, 8 August 2002, http://www.w3.org/TR/2002/NOTE-wsci-20020808.