Add to ORKGThis paper introduces a formal yet practical method to verify whether the behavior design of a distributed application conforms to the behavior design of the enterprise in which the application is embedded. The method allows both enterprise architects and application architects to talk about designs in their own terms, and introduces a common set of terms as the linking pin between enterprise and application designs. The formal semantics of these common terms allows us to verify the conformance between an enterprise and its applications formally and automatically
The use of object-oriented frameworks is one way to increase productivity by reusing both design and...
This paper examines the issue of developing semantics for agent communication languages. In particul...
In this dissertation we present ARAMIS: a concept and corresponding tool support for behavior-based ...
This paper introduces a formal yet practical method to verify whether the behavior design of a distr...
During the top-down design of distributed systems, abstract designs have to be replaced by more conc...
During the top-down design of distributed systems, abstract designs have to be replaced by more conc...
Part 1: Formal MethodsInternational audienceModern enterprise applications integrate various heterog...
In this paper we present a systematic check of the conformance of the implemented and the intended s...
Software architecture compliance is concerned with the alignment of implementation with its desired ...
Developing applications that properly support the enterprise is a difficult task. Failing to perform...
Recently, languages such as BPEL and CDL have been proposed to describe the way services can interac...
Compliance and Conformance are foundations for many applications and technical issues in computing, ...
Architectural decisions can be interpreted as structural and behavioral constraints that must be enf...
In order to formally verify a component application, it is suitable to structure the formal specific...
Context: Domain-driven design (DDD) is commonly used to design microservices. A crucial aspect of mi...
The use of object-oriented frameworks is one way to increase productivity by reusing both design and...
This paper examines the issue of developing semantics for agent communication languages. In particul...
In this dissertation we present ARAMIS: a concept and corresponding tool support for behavior-based ...
This paper introduces a formal yet practical method to verify whether the behavior design of a distr...
During the top-down design of distributed systems, abstract designs have to be replaced by more conc...
During the top-down design of distributed systems, abstract designs have to be replaced by more conc...
Part 1: Formal MethodsInternational audienceModern enterprise applications integrate various heterog...
In this paper we present a systematic check of the conformance of the implemented and the intended s...
Software architecture compliance is concerned with the alignment of implementation with its desired ...
Developing applications that properly support the enterprise is a difficult task. Failing to perform...
Recently, languages such as BPEL and CDL have been proposed to describe the way services can interac...
Compliance and Conformance are foundations for many applications and technical issues in computing, ...
Architectural decisions can be interpreted as structural and behavioral constraints that must be enf...
In order to formally verify a component application, it is suitable to structure the formal specific...
Context: Domain-driven design (DDD) is commonly used to design microservices. A crucial aspect of mi...
The use of object-oriented frameworks is one way to increase productivity by reusing both design and...
This paper examines the issue of developing semantics for agent communication languages. In particul...
In this dissertation we present ARAMIS: a concept and corresponding tool support for behavior-based ...