Components, Features, and Agents in the ABC

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.

[1]  Bernhard Steffen,et al.  Model-Checking: A Tutorial Introduction , 1999, SAS.

[2]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

[3]  Dexter Kozen,et al.  Results on the Propositional µ-Calculus , 1982, ICALP.

[4]  Ravi S. Sandhu,et al.  Role-Based Access Control Models , 1996, Computer.

[5]  Dexter Kozen,et al.  RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[6]  Tiziana Margaria,et al.  The Fixpoint-Analysis Machine , 1995, CONCUR.

[7]  Tiziana Margaria,et al.  Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints , 2005, MBEES.

[8]  Mark Ryan,et al.  Theoretical foundations of updating systems , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[9]  A. Watson,et al.  OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification , 2002 .

[10]  Tiziana Margaria,et al.  METAFrame in Practice: Design of Intelligent Network Services , 1999, Correct System Design.

[11]  Jan Bredereke,et al.  On Feature Orientation and on Requirements Encapsulation Using Families of Requirements , 2003, Objects, Agents, and Features.

[12]  T. Margaria,et al.  Efficient Regression Testing of CTI-Systems : Testing a complex Call-Center Solution , 2001 .

[13]  Tiziana Margaria,et al.  Community Usage of the Online Conference Service , 2003 .

[14]  Tiziana Margaria,et al.  Community Usage of the Online Conference Service: an Experience Report from three CS Conferences , 2002, I3E.

[15]  Anand R. Tripathi,et al.  Static verification of security requirements in role based CSCW systems , 2003, SACMAT '03.

[16]  Herbert Weber.  Continuous Engineering of Information and Communication Infrastructures (Extended Abstract) , 1999, FASE.

[17]  Tiziana Margaria,et al.  Lightweight coarse-grained coordination: a scalable system-level approach , 2004, International Journal on Software Tools for Technology Transfer.