Filters








33,838 Hits in 7.7 sec

Specifying Component-Based Java Applications [chapter]

S. Cimato
1999 Formal Methods for Open Object-Based Distributed Systems  
We propose a interface specification language for Java modules and a methodology to support the design of Java components.  ...  We show how such a notation helps in designing software systems built of Java components, like JavaBeans. P. Ciancarini et al. (eds.), Formal Methods for Open Object-Based Distributed Systems  ...  We provide an interface specification language for the specification of modules written in Java, and explore the use of such a notation for the definition of components to be employed to design concrete  ... 
doi:10.1007/978-0-387-35562-7_9 fatcat:ifxgk3bqjbbgbiznygnm2d66d4

TOWARDS A CONTROL SOFTWARE DESIGN ENVIRONMENT USING A META-MODELLING TECHNIQUE

D.N. Ramos-Hernandez, I. Zubizarreta, P.J. Fleming, S. Bennett, J.M. Bass
2002 IFAC Proceedings Volumes  
The novelty of this paper is mainly the integration of multi-disciplinary software tools into a control software design environment, namely the Integrated Design Notation (IDN).  ...  An approach for generating Java code automatically from UML also is proposed. The Java code generated is tested on a real-time target hardware architecture. Copyright © 2002 IFAC  ...  ACKNOWLEDGEMENTS The authors gratefully acknowledge the support of UK EPSRC (Grant GR/M55299) and collaborators in industry, University of Wales, Bangor and UMIST.  ... 
doi:10.3182/20020721-6-es-1901.00948 fatcat:4le43owqifedrfhtsgw4dlfdfy

A framework for early design and prototyping of service-oriented applications with design patterns

Steven Capelli, Patrizia Scandurra
2016 Computer languages, systems & structures  
Moreover, service-oriented applications are hard to design and validate, and demand for new foundational theories, modeling notations and analysis techniques.  ...  However, the service paradigm raises a bundle of problems that did not exist in traditional component-based development where abstraction, encapsulation, and modularity were the only main concerns.  ...  It is based on the DPML (Design Pattern Modeling Language) notation for the specification of design patterns and their instantiation into UML design models.  ... 
doi:10.1016/j.cl.2016.07.001 fatcat:qn54ddhvyjg5vkc64pu3avsjua

Tiny- Notational Approach for Software Architecture Visualization

Imran Ghani, Baskar Rimal, Seung Ryul Jeong
2012 International Journal of Computer Applications  
The proposed notations are easy to use and understand, and also several design aspects of components may be focused for domain specific analysis.  ...  The "Tiny-Notations" are designed to specify the underlined concepts that a software entity, module and component belong to.  ...  This research has been conducted with the support of academic visitors research grant, allocated by Universiti Teknologi Malaysia, under vote no. 4D046.  ... 
doi:10.5120/6095-8286 fatcat:sr4ev5cpjzbpzjcfnqrr2r6yhu

Reconfiguring the Structure of Component-Based Systems

Martin TOMÁŠEK
2014 Acta Electrotechnica et Informatica  
We introduce component-based system architecture and basic software components. The main goal of this paper is to present a novel solution for component-based system design in UML language.  ...  This solution is created as a plug-in for Eclipse IDE and the results of the work are tested in various practical examples.  ...  Because the components are designed on a modular base, we can create diverse collection of components. The modularity of components has advantages not only for programmers but also for users.  ... 
doi:10.15546/aeei-2014-0016 fatcat:peggr55vprdipfjnqm6nfd7acq

Experiences with a Formal Method for Design and Automatic Checking of User Interfaces

Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro
2004 Model-Based User Interface  
Among the many people who have contributed to the design of VEG and of its toolkit, we specially thank Jean Berstel, Stefano Crespi Reghizzi, Gilles Roussel and Emanuele Mattaboni.  ...  The VEG notation is based on describing a set of rules, each one defining the behavior of a component in a different state.  ...  Semantic functions are designed for modeling this role. They are collected in a so-called Semantic Library and are written in a programming language such as Java.  ... 
dblp:conf/mbui/CampiMP04 fatcat:75nz6s53bfb25eg3prccaufxzm

A UML tool for an automatic generation of simulation programs

L. B. Arief, N. A. Speirs
2000 Proceedings of the second international workshop on Software and performance - WOSP '00  
Its array of notations helps system designers to capture their ideas in a way that is expressive yet easy to understand.  ...  For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems.  ...  An application program based on the SAX approach has been built to read any XML notation that conforms to the SimML DTD.  ... 
doi:10.1145/350391.350408 dblp:conf/wosp/AriefS00 fatcat:4wde54fncbhgjefn7ema3feqra

Developing Java Card Applications with B

Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe
2007 Electronical Notes in Theoretical Computer Science  
This work proposes a methodology for the rigorous development of Java Card smart card applications, using the B Method.  ...  Its main feature is to abstract the particularities of Java Card and smart card aware applications from the specifier as much as possible.  ...  Most of the applications require a high-degree of reliability, and make smart card aware software design a suitable application for formal methods.  ... 
doi:10.1016/j.entcs.2007.03.016 fatcat:pjtnn2nh6bd6vdhc2dglcvnd6e

XSED – XML-Based Description of Status–Event Components and Systems [chapter]

Alan Dix, Jair Leite, Adrian Friday
2008 Lecture Notes in Computer Science  
This paper describes a collection of XML-based specification notations (called XSED) for describing, implementing and optimising systems that take account of this dual statusevent nature of the real world  ...  These notations cover individual components, system configuration, and separated temporal annotations.  ...  The Equator Component Toolkit [3] (ECT) is a collection of java bean 'components' that provides a library of tools for constructing interactive ubiquitous computing applications.  ... 
doi:10.1007/978-3-540-92698-6_13 fatcat:7ymwrbzc6jclbpbyjts23jrpjy

From Business to IT with SEAM: The J2EE Pet Store Example

Irina Rychkova, Gil Regev, Lam-Son Le, Alain Wegmann
2007 International Enterprise Distributed Object Computing Conference, Proceedings  
This paper illustrates how we represent the business role of an IT application and its platform-specific realization in SEAM. We use the Java Pet Store sample application as an example.  ...  SEAM is a systemic visual approach for modeling systems, including information systems and organizations.  ...  work also involves developing patterns for different platforms, such as .NET. Examples of the .NET Pet Store can be found in [20] , [21].  ... 
doi:10.1109/edoc.2007.4384020 fatcat:nbcto5a3hvd6bn4pgvbh4gc3qq

From Business to IT with SEAM: The J2EE Pet Store Example

Irina Rychkova, Gil Regev, Lam-Son Le, Alain Wegmann
2007 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)  
This paper illustrates how we represent the business role of an IT application and its platform-specific realization in SEAM. We use the Java Pet Store sample application as an example.  ...  SEAM is a systemic visual approach for modeling systems, including information systems and organizations.  ...  work also involves developing patterns for different platforms, such as .NET. Examples of the .NET Pet Store can be found in [20] , [21].  ... 
doi:10.1109/edoc.2007.53 dblp:conf/edoc/RychkovaRLW07 fatcat:7neb3wer3rgmthi4n23nh4hztm

Model-based technology of software development in large

Enn Tyugu, Jaan Penjam
2015 Symposium on Programming Languages and Software Tools  
Components are introduced considering their functionality, but the implementability of a component is taken into account at the early stage of the design process only based on an experience of a designer  ...  This is different from the block languages and model-based software tools on the market, which provide a set of components where the reusability of the components is an important requirement.  ...  The implementability of a components can be taken into account only based on an experience of a designer.  ... 
dblp:conf/splst/TyuguP15 fatcat:uiimayffdfhcjo7f6riwdraheu

Customizing software development [Book Review]

M.J. Lutz
2000 Computer  
The San Francisco Application Business Components project from IBM provides a platform-independent infrastructure and ready-built components for constructing business applications.  ...  Object-oriented process, environment, and notation (OPEN) addresses the chal-lenge of migration, component integration, and Internet-based development, as well as high-level process and project management  ... 
doi:10.1109/mc.2000.863973 fatcat:khetrhstt5earpl3kwbphsmwim

Guidelines and a software tool for quality assessment of BPMN business process models

Andrii Kopp, Dmytro Orlovskyi
2022 Zenodo  
This paper considers the problem of quality measurement of Business Process Model and Notation business process models.  ...  Therefore, this study proposes guidelines and a software tool for errors detection in business process models.  ...  below outlines the UML component diagram of the application we created for the BPMN models assessment. : The component diagram of the developed application Depicted component diagram of the developed application  ... 
doi:10.5281/zenodo.6583820 fatcat:kich7ncirjdmncbumhlj7m32oe

Specifying and running rich graphical components with Loa

Olivier Beaudoux, Mickael Clavreul, Arnaud Blouin, Mengqiang Yang, Olivier Barais, Jean-Marc Jezequel
2012 Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12  
We illustrate the specification and integration with the Loa framework as part of a global process for the design of interactive systems.  ...  Interactive system designs often require the use of rich graphical components whose capabilities go beyond the set of widgets provided by GUI toolkits.  ...  INTRODUCTION Building Rich Interactive Applications (RIA) often leads to the design of new graphical components.  ... 
doi:10.1145/2305484.2305513 dblp:conf/eics/BeaudouxCBYBJ12 fatcat:orkbf37tbzdn5bbzn3zkqe5tsq
« Previous Showing results 1 — 15 out of 33,838 results