Components, features, and agents in the ABC

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2975, Issue , 2004, Pages 154-174

  Margaria, Tiziana ^a,b  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

^b METAFrame Technologies GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

APPLICATION LEVEL; BUSINESS PROCESS; COARSE-GRAINED APPROACHES; COMPONENT-BASED IMPLEMENTATION; LARGE COMPLEX SYSTEMS; OBJECT ORIENTED;

ARTIFICIAL INTELLIGENCE;

EID: 35048904135     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25930-5_10     Document Type: Article

References (25)

1. T. Ahmed, A. Tripathi: Static Verification of Security Requirements in Role Based CSCW Systems, Proc. 8th Symp. on Access Control Models and Technologies, Como (I), ACM Press, pp.196-203, 2003.
2. L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, A. Lopes, M. Wermelinger: Coordination Technologies For Component-Based Systems, Int. Conference on Integrated Design and Process Technology, IDPT-2002, Pasadena (CA), June, 2002, Society for Design and Process Science.
3. J. Bredereke: On Feature Orientation and Requirements Encapsulation, this vol.
4. CVS: Concurrent Versions System, www.cvshome.org/
5. A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, H.-D. Ide: An Efficient Regression Testing of CTI Systems: Testing a complex Call-Center Solution, Annual Review of Communic., Vol. 55, Int. Engineering Consortium, Chicago, 2001.
6. H. Harris, M. Ryan: Theoretical Foundations of Updating Systems. ASE 2003, 18th IEEE Int. Conf. on Automated Software Engineering, IEEE-CS Press, 2003.
7. ITU: General recommendations on telephone switching and signaling - intelligent network: Introduction to intelligent network capability set 1, Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva, Mar. 1993.
8. ITU-T: Recommendation Q. 1203. "Intelligent Network - Global Functional Plane Architecture", Oct. 1992.
9. ITU-T: Recommendation Q.1204. "Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4", Sept. 1997.
10. D. Kozen: Results on the Propositional μ-Calculus, Theoretical Computer Science, Vol. 27, 1983, pp. 333-354.
11. B. Lindner, T. Margaria, B. Steffen: Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse, GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Geschäfts-prozesse (eBusiness Processes), Universität Klagenfurt, September 2001, http://syssec.uni-klu.ac.at/EBP2001/ .
12. T. Margaria, M. Karusseit: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conf. on "e-commerce, e-business, e-government" (I3E 2002), Lisboa (P), Oct. 2002, in "Towards the Knowledge Society", Kluwer, pp.497-511.
13. 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.
14. T. Margaria, M. Wuebben: Tool Integration in the ETI Platform - Review and Perspectives, TIS 2003: ESEC/FSE Workshop on Tool Integration in System Development, Sept. 2003, Helsinki (FIN), pp.39-44
15. T. Margaria, B. Steffen: Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints (invited position paper) Monterey'03 Worksh. on "Software Engineering for Embedded Systems: From Requirements to Implementation", Chicago, Sept. 2003, - Post workshop Proceedings in print, IEEE-CS Press.
16. M. Müller-Olm, D. Schmidt, B. Steffen: Model-Checking: A Tutorial Introduction, Proc. SAS'99, September 1999, LNCS 1503, pp. 330-354, Springer Verlag.
17. Object Management Group: The Common Object Request Broker: Architecture and Specification, Revision 2.3, Object Management Group, 1999.
18. R. Sandhu, E. Coyne, H. Feinstein, C. Youman: Role-Based Access Control Models, IEEE Computer, 29(2):38-47, Feb. 1996.
19. W3C: SOAP http://www.w3.org/TR/SOAP/
20. B. Steffen, A. Claßen, M. Klein, J. Knoop, T. Margaria: The Fixpoint Analysis Machine, (invited paper) CONCUR'95, Pittsburgh (USA), August 1995, LNCS 962, Springer Verlag.
21. B. Steffen, T. Margaria: METAFrame in Practice: Intelligent Network Service Design, In Correct System Design - Issues, Methods and Perspectives, LNCS 1710, Springer Verlag, 1999, pp. 390-415.
22. B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration platform: concepts and design, Int. J. STTT (1997)1, Springer Verlag, 1997, pp. 9-30.
23. B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical service definition, Annual Review of Communication, Int. Engin. Consortium (IEC), 1997, pp. 847-856.
24. Sun: Java Remote Method Invocation. http://java.sun.com/products/jdk/rmi.
25. H. Weber: Continuous Engineering of Information and Communication Infrastructures, Proc. Int. Conf. on Fundamental Approaches to Software Engineering (FASE'99), Amsterdam, LNCS N. 1577, Springer Verlag, pp. 22-29.