17,546 Hits in 3.7 sec

An approach to integrating semi-formal and formal notations in software specification

Sergiu Dascalu, Peter Hitchcock
2002 Proceedings of the 2002 ACM symposium on Applied computing - SAC '02  
As such, the correspondence between the diagnmunatic (scurd-formal) and textual (formal) parts of a specification is typically limited to a subset of the speeification's components.  ...  modeling approach and combine the advantages of graphical, semi-formal notations with those of formal notations is RoZeLink [28] .  ...  using Statecharts and FNLOG) or semi-formal~semi-formal (e.g., [29] , where an integration UM]JLean Cuisine+ is proposed for supporting the early stages of interactive system design).  ... 
doi:10.1145/508791.508988 dblp:conf/sac/DascaluH02 fatcat:fszunty6rjgcda357kkl6an2pa

A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling

Cristiane Aparecida Lana, Milena Guessi, Pablo Oliveira Antonino, Dieter Rombach, Elisa Yumi Nakagawa
2019 IEEE Systems Journal  
be incurred by adopting formal and semi-formal approaches (i.e., languages and techniques) for modeling requirements.  ...  This landscape was built by means of a systematic mapping and shows formal and semi-formal approaches grouped from model-based to property-oriented ones.  ...  We also thank the SofTware Architecture Research Team (START) of ICMC/USP, Brazil, for its advice and guidance in improvinge this work, the anonymous reviewers for their thorough reviews, and Sonnhild  ... 
doi:10.1109/jsyst.2018.2874061 fatcat:3csrsiqoyzap5bw3nbv6qmrvfq

Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

Domenik Bork, Hans-Georg Fill
2014 2014 47th Hawaii International Conference on System Sciences  
Thereby, the formalization of modeling methods is essential to unambiguously define their structure, behavior, and semantics, and enable an intersubjective understanding and machine-processability.  ...  In this paper we analyze and compare six common enterprise modeling methods in regard to the formalization of their process-related aspects.  ...  The static notation of function, event, and connector is semi-formally defined by a legend illustrating sample shapes (i.e., a rounded rectangle for functions, a hexagon for events, and edges and arrows  ... 
doi:10.1109/hicss.2014.422 dblp:conf/hicss/BorkF14 fatcat:gmprefzzrvfpli3w5zqy5aheum

Building Formal Requirements Models for Reliable Software [chapter]

Axel van Lamsweerde
2001 Lecture Notes in Computer Science  
We review various techniques available to date for system modeling, from semi-formal to formal, and discuss their relative strengths and weaknesses when applied during the RE stage of the software lifecycle  ...  , and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software.  ...  Semi-Formal Approaches The principle here is to formally declare conceptual units and their links; the properties of such units and links are generally asserted informally.  ... 
doi:10.1007/3-540-45136-6_1 fatcat:3q6dpb2binai5aobqxy5aqtrgq

Frameworks Based on Templates for Rigorous Model-driven Development

Nuno Amálio, Fiona Polack, Susan Stepney
2007 Electronical Notes in Theoretical Computer Science  
This paper advocates an approach to building engineering environments (or frameworks) for rigorous model-driven development (MDD) that is based on combining semi-formal notations with formal modelling  ...  On the one hand, semi-formal modelling approaches that are used in practical, large-scale system development, such as the UML, are not amenable to formal analysis and consistency checking.  ...  All funding and supervision is gratefully acknowledged.  ... 
doi:10.1016/j.entcs.2007.09.002 fatcat:xtij4yr5ivex7bnu7nibvavzku

Model Analysis of Equivalence Classes in UML Events Relations

Nazir Ahmad Zafar
2013 Journal of Software Engineering and Applications  
Hence, linking UML with formal approaches will enhance modeling power of software systems.  ...  In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams.  ...  This is because UML structures are based on graphical notations and have informal or semi-formal definitions which are prone to causing errors [4] as mentioned above.  ... 
doi:10.4236/jsea.2013.612078 fatcat:rt6pev2zsrbqxngmkggw2tofpm

A Formal Model of Peer-to-Peer Digital Product Marketplace

Sylvanus A. Ehikioya
2018 International Journal of Networked and Distributed Computing (IJNDC)  
This paper uses both semi-formal and formal specification methods to model a P2P digital product marketplace.  ...  By using both semi-formal and formal methods in the design of the P2P system, we can reason about and create a correct and reliable system quickly and efficiently. application class.  ...  We use both semi-formal notation such as the UML and formal notation such as the Object-Z for our specification and design.  ... 
doi:10.2991/ijndc.2018.3.6.3 fatcat:fhtot74dljbu7hxj4gb4mq2yxm

State Based Static and Dynamic Formal Analysis of UML State Diagrams

Fahad Alhumaidan
2012 Journal of Software Engineering and Applications  
Formal methods are proved powerful, particularly, at requirement specification and design level. For a moment, formal methods are not welcomed because of much use of mathematics in formal languages.  ...  Therefore, a linkage between UML and formal methods is required to overcome the above deficiencies.  ...  In addition to above following benefits are observed: 1) An approach is developed by linking UML to Z notation by defining a relationship among fundamentals of these semi-formal and formal techniques;  ... 
doi:10.4236/jsea.2012.57056 fatcat:6mhxwsx3x5akrfckt5zckj3wai

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods [chapter]

Yakoub Nemouchi, Simon Foster, Mario Gleirscher, Tim Kelly
2019 Lecture Notes in Computer Science  
Consequently, assurance techniques should support both formal and informal artifacts, with explicated inferential links between them.  ...  The framework guarantees well-formedness, consistency, and traceability of ACs, and allows a tight integration of formal and informal evidence of various provenance.  ...  This work is supported by EPSRC projects CyPhyAssure 8 , grant reference EP/S001190/1, and RoboCalc, grant reference EP/M025756/1.  ... 
doi:10.1007/978-3-030-34968-4_21 fatcat:f4yorb4dongwvkf72u3saaxl7a

Collaborative Enterprise Integrated Modelling

Marco Rospocher, Chiara Ghidini, Luciano Serafini, Barbara Kump, Viktoria Pammer, Stefanie N. Lindstaedt, Andreas Faatz, Tobias Ley
2008 Semantic Web Applications and Perspectives  
This methodology produces an integrated enterprise model model that, not only contains a structural (formal) description, but it also includes more informal and semi-formal information.  ...  Nowadays, knowledge engineering provides sophisticated methodologies and tools to support enterprise modelling and production of formal enterprise models.  ...  meta-model) contains informal, semi-formal, and formal information about key aspects of an enterprise.  ... 
dblp:conf/swap/RospocherGSKPLFL08 fatcat:l44bf6clgrhf3fvgjc4dde64gy

Formal specification

Axel van Lamsweerde
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
After recalling the essence, role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and discuss their evaluation criteria.  ...  It then provides a brief assessment of the current strengths and weaknesses of today's formal specification technology.  ...  Many thanks to Michel Sintzoff for fruitful input and discussions on some issues raised in this paper.  ... 
doi:10.1145/336512.336546 dblp:conf/icse/Lamsweerde00a fatcat:pbjflkp2sje7dnklqn3przzrue

Closing the Gap between Enterprise Models and Service-oriented Architectures [chapter]

Martin Juhrisch, Werner Esswein
2008 Advances in Computer and Information Sciences and Engineering  
The possibility of a direct link between business workflows and the supporting application system is often seen as the critical strength of the SOA paradigm.  ...  For that kind of configuration the gap between analysis and design phase has to be bridged.  ...  Thus, we need semi-formal languages to model problems, which are not well-structured, highly subjective, and finally not objectively well formed [HR00] .  ... 
doi:10.1007/978-1-4020-8741-7_54 dblp:conf/cisse/JuhrischE07 fatcat:qrndqw57azeu5mjfgvtwu56xce

Applying UML to Design an Inter-domain Service Management Application [chapter]

Mohamed Mancona Kandé, Shahrzade Mazaher, Ognjen Prnjat, Lionel Sacks, Marcus Wittig
1999 Lecture Notes in Computer Science  
In our approach, we use the conceptual framework of ODP and discuss some methodological issues related to ODP-viewpoint modelling of distributed systems using UML notations.  ...  We conclude with recognising the power of combining UML and ODP so as to manage the complexity of the problem.  ...  Different semi-formal and formal languages are used for specifying different ODP viewpoints.  ... 
doi:10.1007/978-3-540-48480-6_16 fatcat:ova3ye4jlfdqtfmidtrwh624te

The 4SECURail Formal Methods Demonstrator

Franco Mazzanti, Dimitri Belli
2022 Zenodo  
The need for high-quality standard interfaces is widely rec- ognized as a mandatory step to reduce procurement costs and create safely operating complex railway infrastructures.  ...  show, with a structured evaluation (known as the formal methods demonstrator), how formal methods might help to improve the quality of a specific signalling interface selected as case study.  ...  and suggestions during the project.  ... 
doi:10.5281/zenodo.6245956 fatcat:wmx2zxellrfsrk4u3wnhub5pk4

Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study

Aissam Belghiat
2016 Journal of Computing and Information Technology  
Likewise, we notice lack of real applications based on this paradigm and lack of serious evaluations of their modeling approaches.  ...  The objective is to give the reader an overview and a thorough understanding of the work that has been done and where the gaps in the research are.  ...  Rachid Echahed (CNRS and University of Grenoble, France) for his words of advice and comments regarding this work.  ... 
doi:10.20532/cit.2016.1002695 fatcat:t6oc42nawvhzzibxrayy63lp5q
« Previous Showing results 1 — 15 out of 17,546 results