38,743 Hits in 10.9 sec

Message Redirector

Michael Goedicke, Gustaf Neumann, Uwe Zdun
2001 European Conference on Pattern Languages of Programs  
In object systems this control can also be used to express architectural semantics across several objects or classes.  ...  Many object-oriented applications require explicit control over the message flow to support flexible wrapping, interceptions, modifications of messages, traces, and other message control tasks.  ...  Acknowledgements We would like to thank Gustavo Rossi for his great comments during the shepherding process.  ... 
dblp:conf/europlop/GoedickeNZ01 fatcat:fbnzlgeomzcinjzdq4ojogvyke

Message from Organizers

2005 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 05)  
Specifically, we are interested in parallel process scheduling, which has been a topic of significant study in the supercomputing community, but so far little of this research has trickled down to the  ...  In this paper, we demonstrate, using several case studies, that contemporary general-purpose operating systems are inadequate for the emerging parallel desktop workloads.  ...  ACKNOWLEDGEMENTS We would like to thank the Diablo developers at ELIS Department of University of Ghent for their valuable help on binary optimization techniques.  ... 
doi:10.1109/cvpr.2005.491 fatcat:j4aleqdnrfevfkj6tdvqdle2qu

An object-oriented algebraic steam-boiler control specification [chapter]

Peter Csaba ölveczky, Piotr Kosiuczenko, Martin Wirsing
1996 Lecture Notes in Computer Science  
In this paper an object-oriented algebraic solution of the steam-boiler specification problem is presented. The solution is written in Timed Maude.  ...  The specification focuses on the description of the control program, which is designed as the parallel composition of several objects which communicate using messages.  ...  Acknowledgement: We would like to thank Stephan Merz and Jos~ Meseguer for many valuable comments on earlier versions of this paper.  ... 
doi:10.1007/bfb0027246 fatcat:itfcjdq34jdfvnzr7bhsb5iz6a

Specification architecture illustrated in a communications context

Kenneth J. Turner
1997 Computer networks and ISDN systems  
The approach is illustrated throughout with the example of a message switch, culminating in a larger case study based on the work of the PANGLOSS project to design a high-speed message switch.  ...  Three important architectural principles are offered as a way of achieving a satisfactory specification architecture: modularity, generality and simplicity.  ...  The paper benefited from a careful reading by the anonymous reviewers.  ... 
doi:10.1016/s0169-7552(96)00105-5 fatcat:gw2r5au5x5a6xcoxzwjhbpfk6e

Toward rigorous design of domain-specific distributed systems

Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
2016 Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering - FormaliSE '16  
A variety of techniques for model exploration, active testing, and synthesis of detailed implementations from higher level specifications are being developed.  ...  To that end, we present DS2 -a domain-specific language and integrated framework for specifying, synthesizing, and reasoning.  ...  Overall, the core is built around an extensible "strategy" object oriented design pattern. A DistributedSystem a context, and schedulers are the strategies exploring the context.  ... 
doi:10.1145/2897667.2897674 dblp:conf/icse/Al-MahfoudhGS16 fatcat:44dsygtvurg33knjwgngca3aqq

Delta-Oriented Monitor Specification [chapter]

Eric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz
2012 Lecture Notes in Computer Science  
In this work we discuss how delta-oriented programming and MOP can benefit from each other in the Abstract Behavior Specification Language (ABS) through a new approach we call Delta-oriented Monitor Specification  ...  A small case study shows that our approach successfully avoids code duplication in monitor specifications and that those specifications can evolve hand in hand with feature definitions.  ...  The lifting of aspect-oriented techniques to UML models has been done for activity diagrams in [13] .  ... 
doi:10.1007/978-3-642-34026-0_13 fatcat:xpoxbbcixvfild3iqxp7bigwea

MSA: Multiphase Specifically Shared Arrays [chapter]

Jayant DeSouza, Laxmikant V. Kalé
2005 Lecture Notes in Computer Science  
We present MSA, a system that supports such specifically shared arrays that can be shared in read-only, write-many, and accumulate modes.  ...  We contend that a multi-paradigm programming model comprising a distributedmemory model with a disciplined form of shared-memory programming constitutes a "complete" and powerful parallel programming system  ...  Acknowledgements The authors wish to acknowledge the work of Rahul Joshi on implementing an initial version of MSA, and Orion Lawlor for improving the MSA API and performance.  ... 
doi:10.1007/11532378_20 fatcat:ghdfm55zkvfkhlldzgl6zbkuxu

Embedding Object-Oriented Design in System Engineering [chapter]

R. J. Wieringa
1999 Behavioral Specifications of Businesses and Systems  
how this allows a coherent use of these techniques in a system engineering approach.  ...  In this paper, I show how the UML can be used as a systemlevel design technique.  ...  This means, for example, that actions do not take time and that all objects perform their tasks in parallel.  ... 
doi:10.1007/978-1-4615-5229-1_20 fatcat:rwdflflbyzabviwd7x7ymzxlie

Domain-Specific Languages with Scala [chapter]

Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata
2015 Lecture Notes in Computer Science  
Scala is a modern strongly typed programming language combining object-oriented and functional programming [22] . Scala has several libraries and features that make it suited for DSL development.  ...  A higher-level contribution is the message that Scala, as a high-level programming language, can be used for modeling in general, possibly augmented with internal modeling DSLs.  ...  Mixed approaches are common, in particular for internal DSLs.  ... 
doi:10.1007/978-3-319-25423-4_1 fatcat:ebtaf2zkgjhatixrwh6rg7nu6u

Maude: specification and programming in rewriting logic

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martı́-Oliet, J. Meseguer, J.F. Quesada
2002 Theoretical Computer Science  
Maude is a high-level language and a high-performance system supporting executable speciÿcation and declarative programming in rewriting logic.  ...  This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized  ...  Acknowledgements We would like to thank David de Frutos, Miguel Palomino, Alberto Verdejo, and the anonymous referees for all their helpful comments to previous versions of this paper.  ... 
doi:10.1016/s0304-3975(01)00359-0 fatcat:qx6ctc4thbgghje2mqarzxjxdy

On the roles of functions and objects in system specification

Axel Jantsch, Ingo Sander
2000 Proceedings of the eighth international workshop on Hardware/software codesign - CODES '00  
We present an analysis of the benefits and drawbacks of function and object based models in system specification.  ...  Object based models should be used for architectural design space exploration and as a design specification for the following design and implementation phases.  ...  The proliferation of proposals to use a parallel process based notation or object oriented languages for system specification [3, 5, 7, 20] is motivated by this architecture oriented point of view.  ... 
doi:10.1145/334012.334014 dblp:conf/codes/JantschS00 fatcat:yb2rty3anjdu5itrf2ainw65ca

Towards a Formal Specification of Production Processes Suitable for Automatic Execution

Marko Vještica, Vladimir Dimitrieski, Milan Pisarić, Slavica Kordić, Sonja Ristić, Ivan Luković
2021 Open Computer Science  
In this paper we propose a research on Industry 4.0 manufacturing using a Domain-Specific Modeling Language (DSML) within a Model-Driven Software Development (MDSD) approach to model production processes  ...  A digital revolution in the manufacturing industry is enforced by introducing smart devices and knowledge bases to form intelligent manufacturing information systems.  ...  Acknowledgement: The research in this paper is supported by KEBA AG Linz.  ... 
doi:10.1515/comp-2020-0200 fatcat:kedh2qlxlffhfc2c6v6na5pur4

On Methods for the Formal Specification of Fault Tolerant Systems [article]

Manuel Mazzara
2012 arXiv   pre-print
This paper introduces different views for understanding problems and faults with the goal of defining a method for the formal specification of systems.  ...  The abnormal behavior is described in terms of an Error Injector (EI), which represents a model of the erroneous interference coming from the environment.  ...  Formal methods in system specification look to be an approachable solution. Object Oriented Design [?] and Component Computing [?]  ... 
arXiv:1207.2754v1 fatcat:ex52m3e2lbfzfcwx7fzdj4izqu

Domain-specific languages and program generation with meta-AspectJ

Shan Shan Huang, David Zook, Yannis Smaragdakis
2008 ACM Transactions on Software Engineering and Methodology  
A valuable application is in implementing small domain-specific language extensions as generators using unobtrusive annotations for syntax extension and AspectJ as a back-end.  ...  It is a mature meta-programming tool for AspectJ (and, by extension, Java): a lot of emphasis has been placed on context-sensitive parsing and error-reporting.  ...  CCR-0238289, as well as by a grant from LogicBlox Inc. MAJ is available at  ... 
doi:10.1145/1416563.1416566 fatcat:3c77r7mmzngf7k7idvbmmsg2cm

(E)-Lotos: (Enhanced) Language of Temporal Ordering Specification [chapter]

Kenneth J. Turner, Mihaela Sighireanu
2001 Software Specification Methods  
Acknowledgements Thanks are due to the following for carefully reviewing the papers that formed the basis of this chapter: Hubert Garavel (INRIA Rhône-Alpes), Radu Mateescu (INRIA Rhône-Alpes) and Carron  ...  The process-oriented specification of the invoicing system might be regarded as object-based.  ...  ) is a standardised FDT (Formal Description Technique) originally intended for the specification of communications and distributed systems. Several tutorials for LOTOS are available [?,?] .  ... 
doi:10.1007/978-1-4471-0701-9_10 fatcat:52pt3nouuzcojnwkzrvr6jr4o4
« Previous Showing results 1 — 15 out of 38,743 results