Wyniki wyszukiwania - BazTech

1

Stanowiska językowe do budowy serwisów informacyjnych

Dąbrowski W., Kosior A., Stasiak A.

Metody Informatyki Stosowanej

|

2011

|

nr 5

67-78

EN

This article describes a method of software development based on the concept of language workbenches. This method was used and verified in the process of building an information service about student projects. The proposed method defines three internal domain specific languages and determined how to use them in the process of the construction site of the modeling requirements for a system to automatically generate the service source code as a result of the transformation of the models.

2

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Brad E., Hammond K.

Fundamenta Informaticae

|

2010

|

Vol. 102, nr 2

145-176

EN

In the modern, multi-threaded, multi-core programming environment, correctly managing system resources, including locks and shared variables, can be especially difficult and errorprone. A simple mistake, such as forgetting to release a lock, can have major consequences on the correct operation of a program, by, for example, inducing deadlock, often at a time and location that is isolated from the original error. In this paper, we propose a new type-based approach to resource management, based on the use of dependent types to construct a Domain-Specific Embedded Language (DSEL) whose typing rules directly enforce the formal program properties that we require. In this way, we ensure strong static guarantees of correctness-by-construction, without requiring the development of a new special-purpose type system or the associated special-purpose soundness proofs. We also reduce the need for "over-serialisation", the overly-conservative use of locks that often occurs in manually constructed software, where formal guarantees cannot be exploited. We illustrate our approach by implementing a DSEL for concurrent programming and demonstrate its applicability with reference to an example based on simple bank account transactions.

3

Integration of application business logic and business rules with DSL and AOP

Hnatkowska B., Kasprzyk K.

e-Informatica Software Engineering Journal

|

2010

|

Vol. 4, nr 1

59--69

EN

Business processes and business rules are implemented in almost all enterprise systems. Approaches used today to their implementation are very sensitive to changes. In the paper authors propose to separate business logic layer from business rule layer by introducing an integration layer. The connections between both parts are expressed in a dedicated domain specific language (DSL). The definitions in DSL are further translated into working source code. The proof-of-concept implementation of the integration layer was done in the aspect oriented language (AOP) - AspectJ. The AOP was selected because it fits well to encapsulate scattered and tangled source code implementing the connections between business logic and business rules with the source code implementing core business logic.

4

Bi-dimensional composition with domain specific languages

Ionita A. D., Estublier J., Leveque T., Nguyen T.

e-Informatica Software Engineering Journal

|

2009

|

Vol. 3, nr 1

27--41

EN

The paper presents how domain modeling may leverage the hierarchical composition, supporting two orthogonal mechanisms (vertical and horizontal) for composing completely autonomous parts. The vertical mechanism is in charge of coordinating heterogeneous components, tools or services at a high level of abstraction, by hiding the technical details. The result of such a composition is called "domain" and represents a high granularity unit of reuse, which may be easily developed in Mélusine framework. A domain is characterised by a Domain Specific Language (DSL) and applications in that domain are defined by models executed by the DSL interpreter. Most often, this is significantly simpler than writing a program using a general purpose language. Unfortunately, DSLs have a narrow scope, while real world applications usually span over many domains, raising the issue of domain (and DSL) composition. To overcome this problem, the horizontal mechanism composes domains at the level of their DSLs, even if they have been independently designed and implemented. The paper presents a model and metamodel perspective of the Mélusine bi-dimensional composition, assisted and automated with the Codele tool, which allows specification at a high level of abstraction, followed by Java and AspectJ code generation.