Advertisement

Components, Features, and Agents in the ABC

  • Tiziana Margaria
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2975)

Abstract

In this paper, we show how the concepts of objects, components, features and agents are used today in the Application Building Center (ABC) environment in order to marry the modelling of functionally complex communication systems at the application level with an object-oriented, component based implementation. Characteristic of the ABC is the coarse-grained approach to modelling and design, which guarantees the scalability to capture large complex systems. The interplay of the different features and components is realized via a coordination-based approach, which is an easily understandable modelling paradigm of system-wide business processes, and thus adequate for the needs of industrial application developers.

Keywords

Model Check Business Logic Access Control Model Coordination Sequence Electronic Tool Integration 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ahmed, T., Tripathi, A.: Static Verification of Security Requirements in Role Based CSCW Systems. In: Proc. 8th Symp. on Access Control Models and Technologies, Como (I), pp. 196–203. ACM Press, New York (2003)Google Scholar
  2. 2.
    Andrade, L., Fiadeiro, J., Gouveia, J., Koutsoukos, G., Lopes, A., Wermelinger, M.: Coordination Technologies For Component-Based Systems. In: Int. Conference on Integrated Design and Process Technology, IDPT 2002, Pasadena (CA) (June 2002), Society for Design and Process Science.Google Scholar
  3. 3.
    Bredereke, J.: On Feature Orientation and Requirements Encapsulation. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 26–44. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    CVS: Concurrent Versions System, http://www.cvshome.org/
  5. 5.
    Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.-D.: An Efficient Regression Testing of CTI Systems: Testing a complex Call-Center Solution. In: Annual Review of Communic., Int. Engineering Consortium, Chicago, vol. 55 (2001)Google Scholar
  6. 6.
    Harris, H., Ryan, M.: Theoretical Foundations of Updating Systems. In: ASE 2003, 18th IEEE Int. Conf. on Automated Software Engineering, IEEE-CS Press, Los Alamitos (2003)Google Scholar
  7. 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 (March 1993) Google Scholar
  8. 8.
    ITU-T: Recommendation Q.1203. Intelligent Network - Global Functional Plane Architecture (October 1992) Google Scholar
  9. 9.
    ITU-T: Recommendation Q.1204. Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4 (September 1997) Google Scholar
  10. 10.
    Kozen, D.: Results on the Propositional μ-Calculus. Theoretical Computer Science 27, 333–354 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Lindner, B., Margaria, T., Steffen, B.: 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. 12.
    Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. In: 2nd IFIP Conf. on e-commerce, e-business, e-government (I3E 2002), Lisboa (P), October 2002, pp. 497–511, “Towards the Knowledge Society”. Kluwer, Dordrecht (2002),Google Scholar
  13. 13.
    Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. To appear in STTT, Int. Journal on Software Tools for Technology Transfer, Springer, Heidelberg (2003)Google Scholar
  14. 14.
    Margaria, T., Wuebben, M.: Tool Integration in the ETI Platform - Review and Perspectives. In: TIS 2003: ESEC/FSE Workshop on Tool Integration in System Development, Helsinki (FIN), September 2003, pp. 39–44 (2003)Google Scholar
  15. 15.
    Margaria, T., Steffen, B.: Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints. In: Monterey 2003 Worksh. on Software Engineering for Embedded Systems: From Requirements to Implementation, Chicago, September 2003, IEEE-CS Press, Los Alamitos (2003) (invited position paper), Post workshop Proceedings in printGoogle Scholar
  16. 16.
    Müller-Olm, M., Schmidt, D., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330–354. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  17. 17.
    Object Management Group: The Common Object Request Broker: Architecture and Specification, Revision 2.3, Object Management Group (1999) Google Scholar
  18. 18.
    Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-Based Access Control Models. IEEE Computer 29(2), 38–47 (1996)Google Scholar
  19. 19.
  20. 20.
    Steffen, B., Claßen, A., Klein, M., Knoop, J., Margaria, T.: The Fixpoint Analysis Machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, Springer, Heidelberg (1995) (invited paper)Google Scholar
  21. 21.
    Steffen, B., Margaria, T.: METAFrame in Practice: Intelligent Network Service Design. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  22. 22.
    Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. In: Int. J. STTT (1997)1, pp. 9–30. Springer, Heidelberg (1997)Google Scholar
  23. 23.
    Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition, Annual Review of Communication. In: Int. Engin. Consortium (IEC), pp. 847–856 (1997)Google Scholar
  24. 24.
    Sun: Java Remote Method Invocation, http://java.sun.com/products/jdk/rmi
  25. 25.
    Weber, H.: Continuous Engineering of Information and Communication Infrastructures. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol. 1577, pp. 22–29. Springer, Heidelberg (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Tiziana Margaria
    • 1
    • 2
  1. 1.Universität GöttingenGöttingenGermany
  2. 2.METAFrame Technologies GmbHDortmundGermany

Personalised recommendations