Filters








218,007 Hits in 2.1 sec

Behavioral interface specification languages

John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew Parkinson
2012 ACM Computing Surveys  
Behavioral interface specication languages provide formal code-level annotations such as pre-/postconditions, invariants, and assertions that allow programmers to express the intended behavior of program  ...  This paper surveys behavioral interface specication languages with a focus toward automatic program verication, and with a view towards aiding the Veried Software Initiativea fteen-year, cooperative, international  ...  The public module interface's behavior can be specied using a behavioral interface specication language.  ... 
doi:10.1145/2187671.2187678 fatcat:rzy5c4pm6fddzkcfce5yrhctve

Pipa: A Behavioral Interface Specification Language for Aspect [chapter]

Jianjun Zhao, Martin Rinard
2003 Lecture Notes in Computer Science  
Pipa is a behavioral interface specification language (BISL) tailored to AspectJ, an aspect-oriented programming language.  ...  Pipa is a simple and practical extension to the Java Modeling Language (JML), a BISL for Java.  ...  Instead of designing a generic specification language for AOP, we choose instead to design a behavioral interface specification language (BISL) tailored to AspectJ, an aspect-oriented extension to Java  ... 
doi:10.1007/3-540-36578-8_11 fatcat:mmd77qtywbdqzcczae2kcze5dy

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode [chapter]

Lilian Burdy, Marieke Huisman, Mariela Pavlova
Fundamental Approaches to Software Engineering  
We present the Bytecode Modeling Language (BML), the Java bytecode cousin of JML.  ...  In particular, JML specifications can be compiled into BML specifications.  ...  However, as specification language they use a subset of JML, i.e. a source code level specification language.  ... 
doi:10.1007/978-3-540-71289-3_18 dblp:conf/fase/BurdyHP07 fatcat:pwnddlqp6je7xjblhm26m4okz4

Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages [chapter]

Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun
2020 Lecture Notes in Computer Science  
Almost all built-in behaviors are implicitly defined inside a concrete ASM language implementation and thus, the behavior is hidden from the language user.  ...  specifications.  ...  Each functionality of the CASM language (e.g. operators) is mapped to a behavior (trait) in the prelude specification. The language user can explore and extend the behaviors of CASM in CASM.  ... 
doi:10.1007/978-3-030-48077-6_17 fatcat:u2jctj6dxnd6tehght6ajzxcz4

Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems [article]

Jan Oliver Ringert, Alexander Roth, Bernhard Rumpe, Andreas Wortmann
2015 arXiv   pre-print
MontiArcAutomaton allows modeling software architectures as component and connector models with different component behavior modeling languages.  ...  Engineering software for robotics applications requires multidomain and application-specific solutions.  ...  While the ability to use specific behavior modeling languages allows to develop specific applications, the encapsulation of models in components with well-defined and stable interfaces allows to modify  ... 
arXiv:1505.00904v1 fatcat:cclpawbxzjdhhf7wmx3nmaobcq

A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, Frederic Mallet
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
In this paper, we propose a Behavioral Coordination Operator Language (B-COOL) to reify coordination patterns between specific domains by using coordination operators between the Domain-Specific Modeling  ...  Languages used in these domains.  ...  The specification begins by importing (see Listing 4: line 3 and 4) the behavioral interfaces of each language, defined as an ECL specification.  ... 
doi:10.1109/models.2015.7338249 dblp:conf/models/LarsenDCM15 fatcat:bgcixboumfdjdk67ccbmbt242m

Behavioral specification of distributed software component interfaces

C.D.T. Cicalese, S. Rotenstreich
1999 Computer  
Figure 1 shows the interactions in this model: Design by contract solves the problem of behavioral specification for classes in an object-oriented program, which will ultimately lead to more robust and  ...  Design goals The design goals of this work are to • enable behavioral specification of Java RMI interfaces; • make behavioral-specification constructs a natural extension to the Java language that the  ...  Thus, in addition to an interface definition, a behavioral specification is necessary.  ... 
doi:10.1109/2.774918 fatcat:e3zdudb72fhg5p3xaeklmfrb7e

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration)

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015  
Modeling software systems as component & connector architectures with application-specific behavior modeling languages enables domain experts to describe each component behavior with the most appropriate  ...  We demonstrate an approach to black-box generator composition for architecture description languages that relies on explicit interfaces and exploits the encapsulation of components.  ...  The former provide component models with stable interfaces and behavior models formulated in the most appropriate component behavior modeling language.  ... 
doi:10.1145/2814204.2814224 dblp:conf/gpce/RingertRW15 fatcat:eg54iaganzadrask6dcgi4y3om

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration)

Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2015 SIGPLAN notices  
Modeling software systems as component & connector architectures with application-specific behavior modeling languages enables domain experts to describe each component behavior with the most appropriate  ...  We demonstrate an approach to black-box generator composition for architecture description languages that relies on explicit interfaces and exploits the encapsulation of components.  ...  The former provide component models with stable interfaces and behavior models formulated in the most appropriate component behavior modeling language.  ... 
doi:10.1145/2936314.2814224 fatcat:hny6jamyajhhfk3i2zzuffhwl4

The LIME Interface Specification Language and Runtime Monitoring Tool [chapter]

Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä
2009 Lecture Notes in Computer Science  
The interface specification language is tailored for the Java programming language and supports two kinds of specifications: (i) call specifications that specify requirements for the allowed call sequences  ...  This paper describes an interface specification language designed in the LIME project (LIME ISL) and the supporting runtime monitoring tool.  ...  Acknowledgements We thank our LIME research partners atÅbo Akademi University and colleagues at TKK for feedback on earlier versions of the LIME interface specification language, and the anonymous referees  ... 
doi:10.1007/978-3-642-04694-0_7 fatcat:vhyq3hoo4fbv7o5fpz2b5433yi

Integrating Interface Modeling and Analysis in an Industrial Setting

Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman
2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development  
Precise specification of system component interfaces enables analysis of component behavior and checking of conformance of an implementation to the interface specification.  ...  ComMA provides a family of domain-specific languages that integrate existing techniques from formal behavioral and time modeling and is easily extensible.  ...  Another DSL part of ComMA allows interface behavior specifications. The behavior of one or more interfaces is given in several state machines.  ... 
doi:10.5220/0006133103450352 dblp:conf/modelsward/KurtevSHS17 fatcat:qrgq2ktruvh23djglhm5masfaa

CASSIS: A Modeling Language for Customizable User Interface Designs [chapter]

Jan Van den Bergh, Karin Coninx
2014 Lecture Notes in Computer Science  
It also allows the specification of design-time and runtime user interface variations.  ...  Current user interface modeling languages usually focus on modeling a single user interface and have a fixed set of user interface components; adding another user interface component requires an extension  ...  Acknowledgments This work was partly supported by FWO project Transforming human interface designs via model driven engineering (G. 0296.08).  ... 
doi:10.1007/978-3-662-44811-3_15 fatcat:od5ftx2avzf47fkceodnpivicu

Behavioral interfaces for executable DSLs

Dorian Leroy, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoit Combemale, Wieland Schwinger
2020 Journal of Software and Systems Modeling  
Executable domain-specific languages (DSLs) enable the execution of behavioral models.  ...  We implemented the proposed metalanguage in the GEMOC Studio and show how behavioral interfaces enable the realization of tools that are generic and thus usable for different executable DSLs.  ...  The focus of this work is, however, not on behavioral language interfaces themselves and uses a specific kind of behavioral interface, defined for a specific purpose: model coordination.  ... 
doi:10.1007/s10270-020-00798-2 pmid:32728354 pmcid:PMC7374479 fatcat:psx6nz4j6napva5cfjgegwatxa

Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination

Julien Deantoni
2016 2016 Architecture-Centric Virtual Integration (ACVI)  
The protocol is then used to infer a relevant behavioral language interface for specifying coordination patterns to be applied on conforming executable models.  ...  This was achieved by providing dedicated meta-language to define the behavioral semantics of DSMLs and their coordination.  ...  In our approach, the behavioral semantics is abstracted by using a behavioral language interface.  ... 
doi:10.1109/acvi.2016.9 fatcat:bzkz4qr5dnbsbg3jdmqpax3zpi

An experience modelling telecommunications systems using ODP-DLcomp [chapter]

B. Stepien, K. Farooqui, L. Logrippo
1997 IFIP Advances in Information and Communication Technology  
It supports specification of interface and object templates, with appropriate creation and binding operations.  ...  The ODP-DLcomp language is intended to describe systems in the ODP computational model.  ...  Acknowledgments We would like to thank Jan de Meer of GMD-FOKUS for giving us the opportunity to work on the implementation of this language, especially on the exploration of visual animation and programming  ... 
doi:10.1007/978-0-387-35082-0_16 fatcat:7udmlyqhrjhgznmqvthfucdvi4
« Previous Showing results 1 — 15 out of 218,007 results