Filters








4,647 Hits in 4.4 sec

Specifying Interactions in Integrated Manufacturing Systems [chapter]

David Flater
2001 Global Engineering, Manufacturing and Enterprise Networks  
In this report we discuss approaches for specifying component interactions and examine a number of potentially useful specification techniques. J. P. T. Mo et al.  ...  Accurate specification of the component interactions in these systems is needed to ensure testability and maintainability.  ...  FSMs are the cornerstone of many different specification languages and techniques.  ... 
doi:10.1007/978-0-387-35412-5_12 fatcat:gjsf6dpumzdxjn3earhyxixqum

From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement

Hartmut Ehrig
2010 Electronic Communications of the EASST  
In the present (1990 – 2010) integrated and visual modelling techniques have gained more and more importance.  ...  For the future (2010 – 2020) we try to sketch the idea of a Certified Integrated Visual Modelling Technique and Environment based on an integration of graph theory, graph transformation and Petri net theory  ...  Typical examples of integrated specification techniques studied by the TFS-group have been LOTOS, High-Level Nets, and Attributed Graph Grammars (AGG) integrating algebraic specifications with CCS, Petri  ... 
doi:10.14279/tuj.eceasst.30.430 dblp:journals/eceasst/Ehrig10 fatcat:g4tkrae4ijbijd44x62ibb44za

Formal concepts for an integrated internal model of the UML

Martin Große-Rhode
2001 Electronical Notes in Theoretical Computer Science  
In this paper I present an abstract semantic domain that has been defined independently of the UML and can be used to provide formal semantics for the different modelling languages.  ...  Since one common domain is employed also the integration of the different viewpoint models is supported by this approach. 1  ...  This yields a very flexible and general integration framework for software specification techniques.  ... 
doi:10.1016/s1571-0661(04)80945-9 fatcat:pf3mldwe75fmfhozkgbns3phhu

Foundations for MDA-based Forward Engineering

Liliana Favre
2005 Journal of Object Technology  
We consider this integration beneficial for both semiformal and formal specification techniques.  ...  NEREUS can be viewed as a communication bridge between UML and other algebraic languages and between UML and object oriented languages.  ...  Semi-formal and formal modeling techniques Various works analyzed the integration of semiformal techniques and object-oriented designs with formal techniques.  ... 
doi:10.5381/jot.2005.4.1.a4 fatcat:36teumpl5fhcjmhxihjzglb33u

Experimenting different software architectures performance techniques

Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi
2004 Software engineering notes  
We applied two complementary techniques, one based on stochastic process algebras and one based on simulation, in order to derive some performance indices at the software architectural level.  ...  Finally, we discuss how to take advantage of the integration of different techniques in software architecture performance analysis.  ...  This requires specific skills and expertise, reduces the automation of the approach and make the integration with the software development process difficult. Integration.  ... 
doi:10.1145/974043.974062 fatcat:zzos7hscfbcbviefzmovhwpxea

Experimenting different software architectures performance techniques

Simonetta Balsamo, Moreno Marzolla, Antinisca Di Marco, Paola Inverardi
2004 Software engineering notes  
We applied two complementary techniques, one based on stochastic process algebras and one based on simulation, in order to derive some performance indices at the software architectural level.  ...  Finally, we discuss how to take advantage of the integration of different techniques in software architecture performance analysis.  ...  This requires specific skills and expertise, reduces the automation of the approach and make the integration with the software development process difficult. Integration.  ... 
doi:10.1145/974044.974062 dblp:conf/wosp/BalsamoMMI04 fatcat:6xqionngdja7djaei24zalqdjm

On the Role of Logic and Algebra in Software Engineering [chapter]

Manfred Broy
2013 Mathematics, Computer Science and Logic - A Never Ending Story  
In the following we outline the role that we see for logic and algebra in the emerging field of software engineering. M. Broy ( )  ...  Stimulated by the exponential growth of the power and speed of electronic hardware we observe an exponential growth in the functionality, the size, and complexity of software.  ...  As a result the UML approach, as technique to describe a formal model of distributed software systems the approach remains shallow, imprecise, full of contradictions, and fails to provide an integrated  ... 
doi:10.1007/978-3-319-00966-7_2 fatcat:wjjcems3snewxfs7mh6elh7l3u

Specification of Mixed Systems in Korrigan with the Support of a UML-Inspired Graphical Notation [chapter]

Christine Choppy, Pascal Poizat, Jean-Claude Royer
2001 Lecture Notes in Computer Science  
We shall show how our method is applied to develop a Korrigan specification (both in textual and graphical notation) and illustrate this approach on a case study. ing well-accepted semi-formal notations  ...  In order to be close to the UML, we select a subset of UML that is relevant to illustrate concepts of our approach. We also extend/modify it when needed.  ...  Our method reuses a technique [2] which allows one to get an abstract data type from an automaton. This technique extracts a signature and generators from the automaton.  ... 
doi:10.1007/3-540-45314-8_10 fatcat:pddfi57asvdd7ob6ntlemjgvce

An Algebraic Baseline for Automatic Transformations in MDA

Artur Boronat, José Á. Carsí, Isidro Ramos
2005 Electronical Notes in Theoretical Computer Science  
Our model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic.  ...  Our approach enhances the integration between formal environments and industrial technologies such as .NET technology, and exploits the best features of both.  ...  In this sense, the MOMENT Framework is user-friendly and permits the use of formal techniques from well-known CASE tools to both define models by means of algebraic specifications and to perform model  ... 
doi:10.1016/j.entcs.2004.08.031 fatcat:i2olhdelxnc67hn77r562xwyhu

Formalizing and validating UML architecture description of web systems

Yujian Fu, Zhijiang Dong, Xudong He
2006 Workshop proceedings of the sixth international conference on Web engineering - ICWE '06  
design using model checking techniques.  ...  Unified Modeling Language (UML), a widely accepted object-oriented system modeling and design language, and adapted for software architecture descriptions for several years, has been used for the web system  ...  Algebraic High-Level Nets An algebraic high-level net integrates Petri net with inscription of an algebraic specification defining the data types and operations.  ... 
doi:10.1145/1149993.1150002 dblp:conf/icwe/FuDH06a fatcat:35ugy3e5ljcspoe52pz7he5ply

Designing Data Warehouses for Geographic OLAP Querying by Using MDA [chapter]

Octavio Glorio, Juan Trujillo
2009 Lecture Notes in Computer Science  
Its modeling is defined and implemented by using an extension of UML metamodel and it is also formalized by using OCL language.  ...  There are some ad hoc solutions that deal only with isolated aspects and do not provide developer and analyst with an intuitive, integrated and standard framework for designing all relevant parts.  ...  Mancha Ministry of Education and Science (Spain).  ... 
doi:10.1007/978-3-642-02454-2_36 fatcat:atli3iivmjfulel4veqo2nqqha

Validating Distributed Object and Component Designs [chapter]

Nima Kaveh, Wolfgang Emmerich
2003 Lecture Notes in Computer Science  
For each of these we define a UML stereotype and a formal process algebra specification of the stereotype semantics.  ...  We devise a means to specify safety and liveness properties in UML and again map those to process algebra safety and liveness properties.  ...  We use that semantics to translate UML models and properties into behaviourally equivalent process algebra representations and can then use model checking techniques to detect any violations of the properties  ... 
doi:10.1007/978-3-540-39800-4_5 fatcat:r6kc6ts2gredlbhme56tmnv6vm

Test cases generation from UML state diagrams

Y. G. Kim, H. S. Hong, D. H. Bae, S. D. Cha
1999 IEE Proceedings - Software  
Several research efforts have been made at the systematic testing of classes and many of them are specification based using algebraic specifications or model-based specifications.  ...  An integral part of class testing is the construction of test cases as sequences of messages from a given specification.  ...  In the last two decades, a number of techniques have been proposed for class testing and many of them model classes using abstract data types using algebraic specifications or model-based specifications  ... 
doi:10.1049/ip-sen:19990602 fatcat:yf5rtn5v2vhv7ic4agzd4xfyyu

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform [chapter]

Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
2005 Lecture Notes in Computer Science  
We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions.  ...  A UML project is presented to the platform for analysis, formal content is extracted in the form of process calculi descriptions, analysed with the analysers of the calculi, and the results of the analysis  ...  It is a pleasure to thank the other members of the project for their contributions and comments on the work reported here.  ... 
doi:10.1007/11526841_20 fatcat:jbclc5sssfgy5kcfg7kweazhai

Formalizing and Validating UML Architecture Description of Service-Oriented Applications [chapter]

Zhijiang Dong, Yujian Fu, Xudong He, Yue Fu
2008 Petri Net, Theory and Applications  
Thus, next we simply introduce the algebraic high level nets used in our approach. www.intechopen.com Formalizing and Validating UML Architecture Description of Service-Oriented Applications 499 SAM [44  ...  In this paper, we choose algebraic high level nets [17] and linear time first order temporal logic as the underlying complementary formalisms of SAM.  ...  Algebraic high-level nets An algebraic high-level net [17] integrates Petri net with inscription of an algebraic specification defining the data types and operations.  ... 
doi:10.5772/5331 fatcat:vem5h7sf4nfe5prmb2uqnzogwq
« Previous Showing results 1 — 15 out of 4,647 results