42,246 Hits in 2.9 sec

Syntactic Abstraction in Component Interfaces [chapter]

Ryan Culpepper, Scott Owens, Matthew Flatt
2005 Lecture Notes in Computer Science  
In this paper, we show how to combine a component system and a macro system.  ...  of components.  ...  Conclusion We have designed and implemented an extension of the PLT Scheme unit system that allows programmers to attach language extensions to signatures, thus enriching the interfaces available to client  ... 
doi:10.1007/11561347_25 fatcat:wcprr7nr6beclhaatweiwmfria

Composing simulation models using interface definitions based on web service descriptions

Mathias Rohl, Stefan Morgenstern
2007 2007 Winter Simulation Conference  
Variations in interface descriptions of model components have to be resolved.  ...  Independently of each other developed model components cannot be expected to coincide in all description details, even if based on the same abstractions and assumptions.  ...  WSDL defines the syntactic part of an implementation's interface in a single document.  ... 
doi:10.1109/wsc.2007.4419677 dblp:conf/wsc/RohlM07 fatcat:w4xxic2asnadtar3daiwvyok4y

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
2012 Electronic Proceedings in Theoretical Computer Science  
In this paper, we propose a method to assure that concrete models for system components refine more abstract models for the same components.  ...  During the development process in a component-based approach, components of a system are described at qualitatively differing abstraction levels: during requirements engineering component models are rather  ...  Both abstract component (syntactic interface (I a O a )) and concrete component (syntactic interface (I c O c )) operate on domains of streams.  ... 
doi:10.4204/eptcs.80.2 fatcat:kmsmesstjrdevcpzy2fopb53na

(Inter-)Action Refinement: The Easy Way [chapter]

Manfred Broy
1993 Program Design Calculi  
In particular, we demonstrate how these concepts of refinement and their verification are supported by functional specification techniques leading to a general formal refinement calculus.  ...  We identify and discuss several classes of refinements such as behaviour refinement, communication history refinement, interface interaction refinement, state space refinement, distribution refinement,  ...  Specification In functional system modelling as used in the sequel the observable behaviours of a system component are described by giving a syntactic interface consisting of -a number of input channels  ... 
doi:10.1007/978-3-662-02880-3_5 dblp:conf/nato/Broy92 fatcat:ztijucqhgbganjl5ztmt2avvvm

Service-Oriented Systems Engineering: Modeling Services and Layered Architectures [chapter]

Manfred Broy
2003 Lecture Notes in Computer Science  
In FOCUS a component is a total behavior. In contrast, a service is a partial behavior. A layer in a layered architecture is a service with two service interfaces, an import and an export interface.  ...  Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectures.  ...  We introduce the notion of a service and that of a component. We give an abstract semantic model of software component interfaces and of service interfaces.  ... 
doi:10.1007/978-3-540-39979-7_4 fatcat:ixcehps22zfdvgocabcrbbunem

The Theory of Classification, Part 1: Perspectives on Type Compatibility

Anthony J.H. Simons
2002 Journal of Object Technology  
We can characterise type in two fundamental ways: • syntactic compatibility -the component provides all the expected operations (type names, function signatures, interfaces); • semantic compatibility -  ...  Although syntactic types reach the desired degree of abstraction away from concrete models, they are not yet precise.  ... 
doi:10.5381/jot.2002.1.1.c5 fatcat:usttkkow2fde3lmzybpd2flaaa

Page 65 of Computational Linguistics Vol. 16, Issue 1 [page]

1990 Computational Linguistics  
Although the comparative relates to all the components, the syntactic component is the one that is mainly affected.  ...  However, the comparative is an essential component of language that frequently occurs in discourse.  ... 

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones

Manfred Broy
2006 Innovations in Systems and Software Engineering  
Today, in general, embedded software is distributed onto networks and structured into logical components that interact asynchronously by exchanging messages.  ...  We consider, in particular, models of data, states, interfaces, functionality, hierarchically composed systems, and processes.  ...  In this section we introduce the notion of a syntactic interface of systems and system components.  ... 
doi:10.1007/s11334-006-0011-y fatcat:aluqsccxbrhvdiqm3tj5l4q53u

Components, Contracts, and Connectors for the Unified Modelling Language UML [chapter]

Claus Pahl
2001 Lecture Notes in Computer Science  
Abstract behaviour, expressed by pre-and postconditions, and re nement are the key elements in the de nition of a formal and exible component and component i n terconnection approach.  ...  The lack of a component concept for the UML is widely acknowledged. Contracts between components can be the starting point for introducing components and component i n terconnections.  ...  This abstract interface is wrapped up by a contract between two components. The export interface of a suitable reusable library component has to satisfy the requirements stated in the contract.  ... 
doi:10.1007/3-540-45251-6_15 fatcat:g6sgd3hvr5d7doz6w5b26dxypy

Integrating Semantic and Syntactic Descriptions to Chain Geographic Services

R. Lemmens, A. Wytzisk, R.d. By, C. Granell, M. Gould, P. van Oosterom
2006 IEEE Internet Computing  
A geographic information systems workflow approach can use semantic and syntactic service descriptions to form service chains that can integrate service discovery, composition, and reuse.  ...  has its own geographic coverage, data resolution, and special semantic (in addition to syntactic) interface needs.  ...  Two interfaces control the access to an integrated component: the public interface openly expresses an integrated component's functionality (described in the Web Service Description Language for Web Service  ... 
doi:10.1109/mic.2006.106 fatcat:faf55q6t4ffb5nblxqnuz7xxpa

A Toolbox for Automating Visual Software Engineering [chapter]

Luciano Baresi, Mauro Pezzè
2002 Lecture Notes in Computer Science  
Visual diagrammatic (VD) notations have always been widely used in software engineering.  ...  Traditional meta-CASE tools support flexibility at syntactic level; MetaEnv augments them with semantic flexibility.  ...  Its components can easily be organized in concrete, abstract, and semantic components according to the level at which they work on the VD notation.  ... 
doi:10.1007/3-540-45923-5_13 fatcat:yyjaxwbdvndmboubtwnfstiiim

The Leading Role of Software and Systems Architecture in the Age of Digitization [chapter]

Manfred Broy
2018 The Essence of Software Engineering  
Platform-Dependent Software and Hardware Architecture In the end, the abstract system described in terms of the functional service architecture and the platform-independent component architecture has to  ...  (I O) denotes this syntactic interface. Figure 4 shows system F with its syntactic interface in a graphical representation as a data flow node.  ...  The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material.  ... 
doi:10.1007/978-3-319-73897-0_1 fatcat:mjg36lpkprfh5gf64ve3c5np7e

The use of domain level semantics to support unanticipated system adaptation

Damien Conroy
2002 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02  
In this paper I examine the issue of combining system structure representations and application domain semantic representations to facilitate unanticipated system adaptation.  ...  Interface Adaptation refers to adaptation that takes place when components must interact through interfaces that have incompatible syntactic structures.  ...  If interfaces were to be described in application domain terms then mappings could be provided to enable translations from application domain entities to syntactic interface entities.  ... 
doi:10.1145/985072.985075 dblp:conf/oopsla/Conroy02 fatcat:nwop3dtbwbg6jnjq4p65fmk6fi

MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT [chapter]

Martin Bravenboer, René de Groot, Eelco Visser
2006 Lecture Notes in Computer Science  
JavaSwul is a custom designed language for implementing graphical user-interfaces, which provides high-level abstractions for component composition and event-handling.  ...  Generative programming methods and program transformation techniques can be used to overcome this lack of abstraction in general-purpose languages.  ...  Embedding The syntactic embedding of Swul in Java is defined in an SDF module that imports the Swul and Java syntax and defines where Swul components can be used in Java and vice versa.  ... 
doi:10.1007/11877028_10 fatcat:dq2fjepys5ds3nx5o7yljbrtze

Composable attribute grammars

R. Farrow, T. J. Marlowe, D. M. Yellin
1992 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92  
The conceptual separateness of components allows most of the information embodied in a component to be hidden behind narrow, preciselydefined interfaces.  ...  The component production-constructors used in the rules of the glue AG serve to abstract a component subproblem from the original, larger problem described by the glue AG.  ... 
doi:10.1145/143165.143210 dblp:conf/popl/FarrowMY92 fatcat:jiu3rht7uvesxggzg7rjmrbuxm
« Previous Showing results 1 — 15 out of 42,246 results