On the Formalization of UML Activities for Component-Based Protocol Design Specifications

Kaliappan, Prabhu Shankar; König, Hartmut

doi:10.1007/978-3-642-27660-6_39

Cited by 6 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hong and Mannino (1995) provide a denotational semantics for UML. Kaliappan and König (2012) give formal semantics to UML activity diagrams using the compositional Temporal Logic of Actions. In another work, Vidal et al (2012) formalise the semantics of OWL-S services choreography using Petri nets.…”

Section: Introductionmentioning

confidence: 99%

On the Formalisation of an Application Integration Language Using Z Notation

Klein

Sawicki

Roos‐Frantz

et al. 2014

Proceedings of the 16th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Companies rely on applications in their software ecosystem to provide IT support for their business processes. It is common that these applications were not designed taking integration into account, which makes hard their reuse. Enterprise Application Integration (EAI) focuses on the design and implementation of integration solutions. The demand for integration has motivated the rapid growing of tools to support the construction of EAI solutions. Guaraná is a proposal that can be used to design and implement EAI solutions, and different from other proposals includes a monitoring system that can be configured using a rule-based language to endow solutions with fault-tolerance. Although Guaraná is available, it has not been formalised yet. This is a limitation since it is not possible to validate the rules written by software engineers, using the rule-based language, to ensure that all possibilities of failure in a given EAI solution are covered. Besides, it is not possible to generate automatically these rules based on the semantics of the EAI solution. In this paper we provide a formal specification of the language provided by Guaraná to design EAI solutions, using Z notation.

show abstract

Section: Introductionmentioning

confidence: 99%