Selected Publications

2006

•  E. Schoitsch, E. Althammer, H. Eriksson, J. Vinter, L. Gönczy, A. Pataricza, and Gy. Csertán. Validation and certification of safety-critical embedded systems - the DECOS test bench. In in Proceedings of The 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP2006), Lecture Notes in Computer Science, Gdansk, POLAND, September 25-29 2006. Springer.
  BibTeX

  Abstract: The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications, the DECOS Test Bench constitutes a framework to support Validation and Verification. By implementing a modular approach, an application safety case merely contains the application-specific issues and reuses the safety arguments of the generic safety cases of the DECOS platform. The Test Bench covers the complete life cycle from the platform-independent models to deployment, including model validation and transformations. The safety cases are based on validation-plans (v-plans) comprising the steps to validate the safety requirements. The Test Bench provides a methods/tools repository, guidelines to generate and execute v-plans, and integration of tools and of remotely distributed test beds.

•  A. Balogh and D. Varró. Pattern composition in graph transformation rules. In Accepted for the (first) European Workshop on Compostion of Model Transformations., July 2006.
  BibTeX

  Abstract: Graph transformation (GT) frequently serves as a precise underlyingspecification mechanism for model transformations within and betweenmodeling languages. However, composability of graph transformation rules istypically limited to inter-level rule composition (i.e. rules calling otherrules). In the current paper, we introduce intra-level composition for GTrules where the left-hand side and right-hand side graphs of GT rules can becomposed of stand-alone graph patterns in a fully declarative way. As aresult, the specification of complex model transformation problems can bedrastically reduced. Our concepts are demonstrated using the transformationlanguage of the VIATRA2 framework.

•  I. Ráth and D. Varró. Challenges for advanced domain-specific modeling frameworks. In International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July 2006. In press.
  BibTeX

•  Z. Micskei, I. Majzik, and F. Tam. Robustness testing techniques for high availability middleware solutions. In Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006), Luxembourg, Luxembourg, June 12-13 2006. University of Luxembourg.
  BibTeX

  Abstract: To increase the interoperability of availability management software (also known as high availability middleware) major vendors released an open specification, the Service Availability Interface. With the development of a common interface the comparison of multiple products can be achieved. For high availability (HA) solutions, assessing the robustness of the HA middleware is as important as measuring its performance. This paper investigates the sources of inputs that can activate robustness faults of a HA middleware and recommends the corresponding testing techniques to check the existence of such faults. We investigated the automated construction of the robustness test suites and compared the efficiency of different techniques using a case study with an open-source HA middleware.

•  L. Gönczy and D. Varró. Modeling of reliable messaging in service oriented architectures. In Andrea Polini, editor, in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006), pages 35-49, Palermo, Sicily, ITALY, June 9th 2006.
  BibTeX

  Abstract: Due to the increasing need of highly dependable services in Service-Oriented Architectures(SOA), service-level agreements include more and more frequently such traditional aspects as security, safety, availability, reliability, etc. Whenever a service can no longer be provided with the required QoS, the service requester need to switch dynamically to a new service having adequate service parameters. In the current paper, we propose a metamodel to capture such parameters required for reliable messaging in services in a semi-formal way (as an extension to [1]). Furthermore, we incorporate fault-tolerant algorithms into appropriate reconfiguration mechanisms for modeling reliable message delivery by graph transformation rules.

•  Z. Micskei and I. Majzik. Model-based automatic test generation for event-driven embedded systems using model checkers. In Proc. of Dependability of Computer Systems (DepCoS - RELCOMEX 2006), pages 191-198, Los Alamitos, CA, USA, May 25-27 2006. IEEE Computer Society.
  BibTeX | http

  Abstract: Testing is an essential, but time and resource consuming activity in the software development process. In the case of model-based development, among other subtasks test construction and test execution can be partially automated. Our paper describes the implementation of a test generator framework that uses an external model checker to construct test sequences. The possible configurations of the model checker are examined by measuring the efficiency of test construction in the case of different statechart models of event-driven embedded systems. The generated test cases are transformed and executed on common testing frameworks (JUnit, Rational Robot) and the effectiveness of tests are measured using code coverage metrics.

•  A. Balogh, G. Varró, D. Varró, and A. Pataricza. Compiling model transformations to EJB3-specific transformer plugins. In ACM Symposium on Applied Computing - Model Transformation Track (SAC 2006), 2006. In press.
  BibTeX | .pdf

  Abstract: The current paper presents a technique for generating standalone model transformation plugins for the EJB 3.0 platform from platform-independent specifications of transformations given by a combination of graph transformation and abstract state machine rules (as used within the Viatra2 framework). As a result, the design of transformations can be separated from the execution of transformations. This also enables to run platform-independent Viatra2 transformations on very large models stored in underlying relational databases or to integrate such transformations into existing business applications.

  Keywords: model transformation, platform-specific transformers, EJB 3.0, graph transformation, abstract state machines

•  A. Balogh and D. Varró. Advanced model transformation language constructs in the VIATRA2 framework. In ACM Symposium on Applied Computing - Model Transformation Track (SAC 2006), 2006. In press.
  BibTeX | .pdf

  Abstract: We present the model transformation language of the VIATRA2 framework, which provides a rule and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic and meta transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. In addition, powerful language constructs are provided for multi-level metamodeling to design modeling languages and template-based code generation.

•  A. Pataricza, A. Balogh, and L. Gönczy. Enterprise Modeling and Computing with UML, chapter Verification and validation of non-functional aspects in enterprise modeling. Idea Group, 2006. In press.
  BibTeX

•  L. Gönczy. Verification of reconfiguration mechanisms in service-oriented architectures. In in Proceedings of Conference of PhD Students in Computer Science, Szeged, HUNGARY, 2006.
  BibTeX

•  L. Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza, A. Bondavalli, and T. Bartha. Dependability evaluation of web service-based processes. In M. Telek, editor, in Proceedings of European Performance Engineering Workshop (EPEW 2006), Lecture Notes on Computer Science, pages 166-180, Budapest, HUNGARY, 2006. Springer.
  BibTeX

  Abstract: As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more crucial. Therefore, extensions of the common service composition techniques are urgently needed in order to cover dependability aspects and a core concept for the dependability estimation of the target composite service. Since Web services-based workflows fit into the class of systems composed of multiple phases, this paper attempts to apply methodologies and tools for dependability analysis of Multiple Phased Systems (MPS) to this emerging category of dependability critical systems. The paper shows how this dependability analysis constitutes a very useful support to the service provider in choosing the most appropriate service alternatives to build up its own composite service.

•  M. Kovács and L. Gönczy. Simulation and formal analysis of workflow models. In Roberto Bruni and Daniel Varro, editors, Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, Electronic Notes in Theoretical Computer Science, pages 215-224, Vienna, AUSTRIA, 2006. Elsevier.
  BibTeX

  Abstract: We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how a workflow model, implemented in the BPEL language, can be transformed into a data ow network model, (ii) how potentially incorrect execution paths can be incorporated, and (iii) how the properties of a workflow can be formally verifed using the SPIN model checker. For the several model transformation steps from workflow to analysis models, we use graph transformations.

•  A. Pataricza and Sz. Varró-Gyapay. Optimal trajectory generation for petri nets. Acta Cybernetica, 17(2):225-245, 2006.
  BibTeX

•  P. Domokos and I. Majzik. Automated construction of dependability models by aspect-oriented modeling and model transformation. In W. Karl, J. Becker, K.-E. Grosspietsch, C. Hochberger, and E. Maehle, editors, Proc. 19th Int. Conf. on Architecture of Computing Systems, volume GI Lecture Notes in Informatics P-81, pages 66-75. Gesellschaft für Informatik, GI, 2006.
  BibTeX

•  G. Varró, K. Friedl, and D. Varró. Graph transformation in relational databases. Journal of Software and Systems Modelling, 2006. In press.
  BibTeX

•  D. Varró, Sz. Varró-Gyapay, H. Ehrig, U. Prange, and G. Taentzer. Termination analysis of model transformations by Petri nets. In Proc. Third International Conference on Graph Transformation (ICGT 2006), LNCS. Springer, 2006. In press.
  BibTeX

•  R. Bruni and D. Varró, editors. Fifth International Workshop on Graph Transformation and Visual Modelling Techniques, ENTCS. Elsevier, 2006.
  BibTeX

•  A. Kövi, D. Varró, and Z. Németh. Making legacy services highly-available with OpenAIS: An experience report. In Francis Tam and Kimmo Raatikainen, editors, Third International Service Availability Symposium (ISAS 2006), LNCS. Springer, 2006. In press.
  BibTeX

•  A. Darabos, A. Pataricza, and D. Varró. Towards testing the implementation of graph transformations. In Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques, ENTCS. Elsevier, 2006.
  BibTeX

 

---