In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible...

Information Science Abstracts (ISA) is the oldest abstracting and indexing (A&I) publication covering the field of information science. A&I publications play a valuable “gatekeeping” role in identifying changes in a discipline by tracking its literature. This article briefly reviews the history of ISA as well as the history of attempts to define “information science” because the American Docume...

The relevance of the study lies in theoretical substantiation water losses for filtration canals with lined and earthen bed. Loss resources negatively affects nearby territories due to rising groundwater waterlogging territories. elimination irrigation contributes improving efficiency as well effectiveness measures on irrigated areas. object is Saratov region. method empirical knowledge, which ...

ing the Template Instantiation Relation in C++ Andrew Sutton, Ryan Holeman, Jonathan I. Maletic Department of Computer Science Kent State University Kent Ohio 44242 {asutton, rholeman, jmaletic}@cs.kent.edu

ing Complex Languages through Transformation and Composition Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, and Richard F. Paige 1 Technische Universität Dresden, [email protected] 2 Computing Department, Lancaster University, [email protected] 3 Telefónica Research & Development, [email protected],[email protected] 4 Department of Compu...

In the general abstracting process (GAP), there are two types of data: textual, within a particularly framed trilogy (surface, deep, and rhetoric); and documentary (abstractor, means of production and user demands). For its development, the use of the following disciplines, among others, is proposed: linguistics (structural, transformational and textual), logic (formal and fuzzy) and psychology...

ing Induction by Extrapolation and Interpolation

ing RTL Designs to the Term Level Bryan A. Brady UC Berkeley [email protected] Randal E. Bryant Carnegie Mellon University [email protected] Sanjit A. Seshia UC Berkeley [email protected]

We present the system ABTWEAK, which extends the precondition-elimination abstraction of ABSTRIPS to hierarchical planners using the nonlinear plan representation as defined in TWEAK. We show that ABTWEAK satisfies the monotonic property, whereby the existence of a lowest level solution II implies the existence of a highest level solution that is structurally similar to II. This property enable...

ing an operational semantics to finite automata Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker IRIT (Institut de Recherche en Informatique de Toulouse) Université de Toulouse, France firstname.lastname @irit.fr ?,?? Abstract. There is an apparent similarity between the descriptions of small-step operational semantics of imperative programs and the semantics of finite aut...