The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems

Wong, Peter; Albert, Elvira; Muschevici, Radu; Proença, José; Schäfer, Jan; Schlatte, Rudolf
October 2012
International Journal on Software Tools for Technology Transfer;Oct2012, Vol. 14 Issue 5, p567
Academic Journal
Modern software systems must support a high degree of variability to accommodate a wide range of requirements and operating conditions. This paper introduces the Abstract Behavioural Specification (ABS) language and tool suite, a comprehensive platform for developing and analysing highly adaptable distributed concurrent software systems. The ABS language has a hybrid functional and object- oriented core, and comes with extensions that support the development of systems that are adaptable to diversified requirements, yet capable to maintain a high level of trustworthiness. Using ABS, system variability is consistently traceable from the level of requirements engineering down to object behaviour. This facilitates temporal evolution, as changes to the required set of features of a system are automatically reflected by functional adaptation of the system's behaviour. The analysis capabilities of ABS stretch from debugging, observing and simulating to resource analysis of ABS models and help ensure that a system will remain dependable throughout its evolutionary lifetime. We report on the experience of using the ABS language and the ABS tool suite in an industrial case study.


Related Articles

  • Design of the management system of university projects based on UML sequence diagram. Yali Su // Indian Journal of Science & Technology;Aug2010, Vol. 3 Issue 8, p928 

    Analysis and design of the management system of university projects is based on UML sequence diagram. It is user-centric. It describes the object from the dynamic point of view and illustrates the interaction process of the objects with the time change. This design can support all intermediate...

  • Visualization of variability and configuration options. Pleuss, Andreas; Botterweck, Goetz // International Journal on Software Tools for Technology Transfer;Oct2012, Vol. 14 Issue 5, p497 

    When designing, constructing, and maintaining diverse and variable software systems, a key challenge is the complexity of systems. A potential approach to tackle this challenge are techniques from variability management and product line engineering to handle the diversity and variability. A key...

  • A code tagging approach to software product line development. Heymans, Patrick; Boucher, Quentin; Classen, Andreas; Bourdoux, Arnaud; Demonceau, Laurent // International Journal on Software Tools for Technology Transfer;Oct2012, Vol. 14 Issue 5, p553 

    Software product line engineering seeks to systematise reuse when developing families of similar software systems so as to minimise development time, cost and defects. To realise variability at the code level, product line methods classically advocate usage of inheritance, components,...

  • What Are Mock Objects? Tease, Ben // Database & Network Journal;Feb2005, Vol. 35 Issue 1, p15 

    The paper provides information on Mock Objects. One way of thinking about an object-oriented program is that each object is an entity that interacts with other objects in order to do its work. A diagram of object-oriented program is illustrated. It is important to realize that, depending on the...

  • Automating the Collection of Object Relational Database Metrics. Suleiman, Samer M.; Al-Radaideh, Qasem A.; Abulhuda, Bilal A.; AlSmadi, Izzat M. // International Journal of Advanced Computer Science & Application;Jun2011, Vol. 2 Issue 6, p19 

    The quality of software systems is the most important factor to consider when designing and using these systems. The quality of the database or the database management system is particularly important as it is the backbone for all types of systems that it holds their data. Many researches argued...

  • RECOVERY OF OBJECT-ORIENTED DESIGN PATTERNS USING STATIC AND DYNAMIC ANALYSES. Abd-El-Hafiz, S. K.; Shawky, D. M.; El-Sedeek, A.-L. // International Journal of Computers & Applications (Acta Press);2008, Vol. 30 Issue 3, p220 

    Maintenance is undoubtedly an effort-consuming activity in the software process. The discovery of a collection of high level building blocks, such as design patterns, in a software artifact represents an important step in program understanding and, hence, can be extremely useful during...

  • A Question-Based Design Pattern Advisement Approach. Pavlič, Luka; Podgorelec, Vili; Heričko, Marjan // Computer Science & Information Systems;6/ 1/2014, Vol. 11 Issue 2, p645 

    Design patterns are a proven way to build flexible software architectures. But the selection of an appropriate design pattern is a difficult task in practice, particularly for less experienced developers. In this paper, a question-based design pattern advisement approach will be proposed. This...

  • Ontologies and Object models in Object Oriented Software Engineering. Siricharoen, Waralak V. // Recent Advances in Engineering & Computer Science;2007, Issue 62, p123 

    This paper is to clarify ontologies in knowledge base compare with object models in object oriented software engineering. Ontology itself has the concept which is the foundation of knowledge base; on the other hand The object model is the center of object oriented software engineering. Because...

  • Architecture Synthesis Process for Scheduler Concept Based On Design Algebra with Object Oriented Design Methods. Rajarajeswari, P.; Ramamohanreddy, A.; vasumathi, D. // International Journal of Database Theory & Application;2014, Vol. 7 Issue 3, p49 

    Synthesis analysis is the effective process for solving problems in Software engineering. We provide description for scheduler concept by using synthesis analysis. We presented implementation of architecture design alternatives for scheduler concept based on design algebra concept. During the...


Read the Article


Sign out of this library

Other Topics