Filters








107 Hits in 2.4 sec

Experience of building an architecture-based generator using GenVoca for distributed systems

Chung-Horng Lung, Pragash Rajeswaran, Sathyanarayanan Sivadas, Theleepan Sivabalasingam
2010 Science of Computer Programming  
We also present our empirical experience in raising the level of abstraction to the architecture layer for distributed and concurrent systems using GenVoca.  ...  GenVoca is a generative programming approach that is used here to support the generation or instantiation of a particular architectural pattern in distributed computing based on user's selection.  ...  Acknowledgements We would like to thank Nortel Networks for providing us a network routing software system for research and education.  ... 
doi:10.1016/j.scico.2009.05.003 fatcat:7qyiyhje5vdbbabuopqtdoylfu

Designing high quality system/software architectures

Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera, Kawtar Benghazi
2010 Science of Computer Programming  
Acknowledgements We would like to thank all the participants of IWSSA'07 for their enthusiastic cooperation.  ...  In particular, we would like to thank the Program Committee for IWSSA'07 for their thorough and excellent reviews that helped to substantially improve the quality of the papers for this special issue:  ...  The first paper entitled ''Experience of Building an Architecture-Based Generator Using GenVoca for Distributed Systems'', by Chung-Horng Lung, Pragash Rajeswaran, Sathyanarayanan Sivadas, and Theleepan  ... 
doi:10.1016/j.scico.2010.01.006 fatcat:pgr7w6av5nepbirxsbejsu67da

Creating reference architectures

Don Batory, Lou Coglianese, Mark Goodwin, Steve Shafer
1995 Software engineering notes  
A central concept of DSSA is the use of software system generators to implement component-based models of software synthesis in the target domain [SEI90].  ...  ADAGE is a project to define and build a domain-specific software architecture (DSSA) environment for assisting the development of avionics software.  ...  We thank Paul Clements and Vivek Singhal for their valuable comments on earlier drafts of this paper.  ... 
doi:10.1145/223427.211786 fatcat:qfn4aqrqrvgjfppmvfvc47vv4e

Generative programming for embedded systems

Janos Sztipanovits, Gabor Karsai
2002 Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02  
Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems.  ...  The discussion uses Model-Integrated Computing (MIC) as an example for model-based software development.  ...  Acknowledgments The authors would like to thank Don Batory, Gregor Kiczales, Doug Schmidt, and Charles Simonyi for stimulating discussions on the topic.  ... 
doi:10.1145/571157.571175 dblp:conf/ppdp/SztipanovitsK02 fatcat:nwf5rp3rlvf77owtuq5crpzp4u

Generative Programming for Embedded Systems [chapter]

Janos Sztipanovits, Gabor Karsai
2002 Lecture Notes in Computer Science  
Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems.  ...  The discussion uses Model-Integrated Computing (MIC) as an example for model-based software development.  ...  Acknowledgments The authors would like to thank Don Batory, Gregor Kiczales, Doug Schmidt, and Charles Simonyi for stimulating discussions on the topic.  ... 
doi:10.1007/3-540-45821-2_2 fatcat:pdbh5aiubrevhdsfdhanhhegqi

Achieving Extensibility through Product-Lines and Domain-Specific Languages: A Case Study [chapter]

Don Batory, Clay Johnson, Bob MacDonald, Dale von Heeder
2000 Lecture Notes in Computer Science  
This is a case study in the use of product-line architectures (PLAs) and domain-specific languages (DSLs) to design an extensible command-and-control simulator for Army fire support.  ...  The complexity of our component specifications is substantially reduced by using a DSL for defining and refining state machines, abstractions that are fundamental to simulators.  ...  We also thank the referees for their helpful suggestions that improved the final draft of this paper.  ... 
doi:10.1007/978-3-540-44995-9_8 fatcat:3iukqfb7ojhu7pggqtsundsqmq

Achieving extensibility through product-lines and domain-specific languages: a case study

Don Batory, Clay Johnson, Bob MacDonald, Dale von Heeder
2002 ACM Transactions on Software Engineering and Methodology  
This is a case study in the use of product-line architectures (PLAs) and domain-specific languages (DSLs) to design an extensible command-and-control simulator for Army fire support.  ...  The complexity of our component specifications is substantially reduced by using a DSL for defining and refining state machines, abstractions that are fundamental to simulators.  ...  We also thank the referees for their helpful suggestions that improved the final draft of this paper.  ... 
doi:10.1145/505145.505147 fatcat:zh5dlntdvjbffggg23c3o5o34y

Objects and domain engineering (panel)

Sanjiv Gossain, Don Batory, Hassan Gomaa, Mitch Lubars, Christopher Pidgeon, Ed Seidewitz
1995 SIGPLAN notices  
The GenVoca approach to software system generation relies on standardized and layered decompositions of software systems. The building blocks of software systems are components, which are layers.  ...  An implementation of such a model is a software system generator. The modeling methods and implementation techniques that we have developed are expressed in the GenVoca model.  ... 
doi:10.1145/217839.217872 fatcat:sicv6lpuobdirlkles3stxcyei

Object-Oriented Frameworks and Product Lines [chapter]

Don Batory, Rich Cardone, Yannis Smaragdakis
2000 Software Product Lines  
A framework is a set of abstract classes that embody an abstract design; a framework instance is a set of concrete classes that subclass abstract classes to provide an executable subsystem.  ...  Doing so reduces code replication and creates a component-based product-line of frameworks and framework instances.  ...  We thank Mike Kistler for his comments on earlier drafts of this paper.  ... 
doi:10.1007/978-1-4615-4339-8_13 fatcat:smuzbotrufayjhqmem3bjkrghu

Composition validation and subjectivity in GenVoca generators

D. Batory, B.J. Geraci
1997 IEEE Transactions on Software Engineering  
GenVoca generators synthesize software systems by composing components from reuse libraries.  ...  We present simple, efficient, and domainindependent algorithms for validating compositions of GenVoca components.  ...  We thank Reed Little (SEI) for pointing out the similarity of method wrapper mechanisms in CLOS and FLAVORS to the operation bypasses in GenVoca components.  ... 
doi:10.1109/32.585497 fatcat:33spqnulgffzreowoa6lbxhetm

Scaling step-wise refinement

D. Batory, J.N. Sarvela, A. Rauschmayer
2004 IEEE Transactions on Software Engineering  
AHEAD shows that software can have an elegant, hierarchical mathematical structure that is expressible as nested sets of equations. We review a tool set that supports AHEAD.  ...  Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally.  ...  They thank Melanie Kail and Mark Esslinger for their contributions to the design of AHEAD tools and Jim Browne, Stan Jarzabek, Dewayne Perry, and Roberto Lopez-Herrejon for their helpful comments on earlier  ... 
doi:10.1109/tse.2004.23 fatcat:w5rvyxmx7rfwffjylmkhykp34e

Scaling step-wise refinement

D. Batory, J.N. Sarvela, A. Rauschmayer
2003 25th International Conference on Software Engineering, 2003. Proceedings.  
AHEAD shows that software can have an elegant, hierarchical mathematical structure that is expressible as nested sets of equations. We review a tool set that supports AHEAD.  ...  Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally.  ...  They thank Melanie Kail and Mark Esslinger for their contributions to the design of AHEAD tools and Jim Browne, Stan Jarzabek, Dewayne Perry, and Roberto Lopez-Herrejon for their helpful comments on earlier  ... 
doi:10.1109/icse.2003.1201199 dblp:conf/icse/BatorySR03 fatcat:ccwf2ry7g5eenjdotxddxm62km

:{unav)

Ted J. Biggerstaff
2012 Annals of Software Engineering  
From this analysis, it will distill the key elements of generative success and provide an opinion of approximately where each class of generative system fits in the overall picture.  ...  Nevertheless, the paper will use some known metric evidence plus anecdotal evidence, personal experience, and suggestive evidence to define some of the boundaries of the success envelope.  ...  Now, let's examine another system that provides additional evidence that we can come close to hitting the reuse sweet spot -the GenVoca architecture for generating programs.  ... 
doi:10.1023/a:1018924407841 fatcat:yop2jmwtprhifjxhxnet7xbbue

Exploiting architectural style to develop a family of applications

N. Medvidovic, R.N. Taylor
1997 IEE Proceedings - Software Engineering  
. 1 Index Terms --architectural styles, message-based architectures, application families, graphical user interfaces (GUIs), constraint management, component-based development.  ...  The exercises involved the reuse of SkyBlue and Amulet's one-way formula constraint solver. We constructed numerous variations of a single application (thus an application family).  ...  We also wish to thank the developers of SkyBlue and Amulet for providing the source code to their systems and adequate documentation to ease our usage of them. XII. References  ... 
doi:10.1049/ip-sen:19971608 fatcat:u7hqhcmfivgm7i5j4hehg4xkki

Implementing Product-Line Features with Component Reuse [chapter]

Martin L. Griss
2000 Lecture Notes in Computer Science  
In this paper, we show how the maturation of several technologies for product-line analysis and component design, implementation and customization provides an interesting basis for systematic product-line  ...  Independent work in the largely separate reuse ("domain analysis") and object-oriented ("code and design") communities has reached the point where integration and rationalization of the activities could  ...  ACKNOWLEDGEMENTS I am grateful for several useful and extremely clarifying suggestions and comments on early drafts of this paper by Gregor Kiczales, Peri Tarr and Michael Van Hilst.  ... 
doi:10.1007/978-3-540-44995-9_9 fatcat:pjtqsfuzafccnhzk3ddpyhbbei
« Previous Showing results 1 — 15 out of 107 results