Skip header Section
Skip Bibliometrics Section
Specification and development of interactive systems: focus on streams, interfaces, and refinementFebruary 2001
- Authors:
- Manfred Broy,
- Ketil Stølen
Abstract
No abstract available.
Cited By
- Broy M (2024). Time, causality, and realizability, Journal of Systems and Software, 210:C, Online publication date: 1-Apr-2024.
- Broy M (2023). Specification and verification of concurrent systems by causality and realizability, Theoretical Computer Science, 974:C, Online publication date: 29-Sep-2023.
- Broy M and Rumpe B (2023). Development Use Cases for Semantics-Driven Modeling Languages, Communications of the ACM, 66:5, (62-71), Online publication date: 1-May-2023.
- Petrovska A, Hutzelmann T and Kugele S A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, (1440-1449)
- Preoteasa V, Dragomir I and Tripakis S (2022). The refinement calculus of reactive systems, Information and Computation, 285:PB, Online publication date: 1-May-2022.
- Gleirscher M, Calinescu R and Woodcock J (2021). RiskStructures: A design algebra for risk-aware machines, Formal Aspects of Computing, 33:4-5, (763-802), Online publication date: 1-Aug-2021.
- Reich M Inference of properties from requirements and automation of their formal verification Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, (1222-1225)
- Miyazawa A, Ribeiro P, Li W, Cavalcanti A, Timmis J and Woodcock J (2019). RoboChart, Software and Systems Modeling (SoSyM), 18:5, (3097-3149), Online publication date: 1-Oct-2019.
- Marmsoler D (2022). A calculus for dynamic architectures, Science of Computer Programming, 182:C, (1-41), Online publication date: 1-Aug-2019.
- Jiang J, Hong Z and Chen Y (2019). Modeling and Analyzing Incremental Natures of Developing Software, ACM Transactions on Management Information Systems, 10:2, (1-32), Online publication date: 30-Jun-2019.
- Reisig W (2019). Associative composition of components with double-sided interfaces, Acta Informatica, 56:3, (229-253), Online publication date: 1-Apr-2019.
- Bergmayr A, Breitenbücher U, Ferry N, Rossini A, Solberg A, Wimmer M, Kappel G and Leymann F (2018). A Systematic Review of Cloud Modeling Languages, ACM Computing Surveys, 51:1, (1-38), Online publication date: 31-Jan-2019.
- Terzimehić T Optimization and reconfiguration of IEC 61499-based software architectures Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (180-185)
- Eder J, Bahya A, Voss S, Ipatiov A and Khalil M From Deployment to Platform Exploration Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (438-446)
- Friedrich J Declarative project planning and controlling Proceedings of the 2018 International Conference on Software and System Process, (61-69)
- Broy M (2018). A logical approach to systems engineering artifacts, Software and Systems Modeling (SoSyM), 17:2, (365-393), Online publication date: 1-May-2018.
- Westman J and Nyberg M (2018). Conditions of contracts for separating responsibilities in heterogeneous systems, Formal Methods in System Design, 52:2, (147-192), Online publication date: 1-Apr-2018.
- Broy M (2018). Theory and methodology of assumption/commitment based system interface specification and architectural contracts, Formal Methods in System Design, 52:1, (33-87), Online publication date: 1-Feb-2018.
- Mund J, Junker M, Bougouffa S, Cha S and Vogel-Heuser B Model-based availability analysis for automated production systems Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, (46-55)
- Aravantinos V and Kanav S Tool support for live formal verification Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (145-155)
- Ramesh S, Vogel-Heuser B, Chang W, Roy D, Zhang L and Chakraborty S Specification, Verification and Design of Evolving Automotive Software Proceedings of the 54th Annual Design Automation Conference 2017, (1-6)
- Ringert J, Rumpe B, Schulze C and Wortmann A Teaching agile model-driven engineering for cyber-physical systems Proceedings of the 39th International Conference on Software Engineering: Software Engineering and Education Track, (127-136)
- Spichkova M, Simic M, Schmidt H, Cheng J, Dong X, Gui Y, Liang Y, Ling P and Yin Z (2016). Formal Models for Intelligent Speed Validation and Adaptation, Procedia Computer Science, 96:C, (1609-1618), Online publication date: 1-Oct-2016.
- Preoteasa V and Tripakis S Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (768-777)
- Bures T, Weyns D, Berger C, Biffl S, Daun M, Gabor T, Garlan D, Gerostathopoulos I, Julien C, Krikava F, Mordinyi R and Pronios N (2015). Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda, ACM SIGSOFT Software Engineering Notes, 40:6, (28-32), Online publication date: 11-Nov-2015.
- Heinzemann C, Brenner C, Dziwok S and Schäfer W (2015). Automata-based refinement checking for real-time systems, Computer Science - Research and Development, 30:3-4, (255-283), Online publication date: 1-Aug-2015.
- Rumpe B, Schulze C, von Wenckstern M, Ringert J and Manhart P Behavioral compatibility of simulink models for product line maintenance and evolution Proceedings of the 19th International Conference on Software Product Line, (141-150)
- Koutsoumpas V A model-based approach for the specification of a virtual power plant operating in open context Proceedings of the First International Workshop on Software Engineering for Smart Cyber-Physical Systems, (26-32)
- Spichkova M and Schmidt H Reconciling a component and process view Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (1-6)
- Din C and Owe O (2015). Compositional reasoning about active objects with shared futures, Formal Aspects of Computing, 27:3, (551-572), Online publication date: 1-May-2015.
- Preoteasa V and Tripakis S Refinement calculus of reactive systems Proceedings of the 14th International Conference on Embedded Software, (1-10)
- Gammie P (2013). Synchronous digital circuits as functional programs, ACM Computing Surveys, 46:2, (1-27), Online publication date: 1-Nov-2013.
- Kurnia I and Poetzsch-Heffter A A relational trace logic for simple hierarchical actor-based component systems Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, (47-58)
- Hackenberg G and Bytschkow D Towards early emergent property understanding Proceedings of the 2012 Extreme Modeling Workshop, (39-44)
- Din C, Dovland J and Owe O Compositional reasoning about shared futures Proceedings of the 10th international conference on Software Engineering and Formal Methods, (94-108)
- Kurnia I and Poetzsch-Heffter A Verification of Open Concurrent Object Systems Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866, (83-118)
- Hackenberg G, Irlbeck M, Koutsoumpas V and Bytschkow D Applying formal software engineering techniques to smart grids Proceedings of the First International Workshop on Software Engineering Challenges for the Smart Grid, (50-56)
- Junker M and Neubeck P A rigorous approach to availability modeling Proceedings of the 4th International Workshop on Modeling in Software Engineering, (1-7)
- Lochmann K and Goeb A A unifying model for software quality Proceedings of the 8th international workshop on Software quality, (3-10)
- Andova S, Groenewegen L and de Vink E (2011). Dynamic consistency in process algebra, Science of Computer Programming, 76:8, (711-735), Online publication date: 1-Aug-2011.
- Tripakis S, Lickly B, Henzinger T and Lee E (2011). A Theory of Synchronous Relational Interfaces, ACM Transactions on Programming Languages and Systems, 33:4, (1-41), Online publication date: 1-Jul-2011.
- Gleirscher M Hazard-based selection of test cases Proceedings of the 6th International Workshop on Automation of Software Test, (64-70)
- Buckl C, Gaponova I, Geisinger M, Knoll A and Lee E Model-based specification of timing requirements Proceedings of the tenth ACM international conference on Embedded software, (239-248)
- Hu G Formal specification of bounded buffer using stream functions Proceedings of the 10th IEEE international conference on Information Reuse & Integration, (230-235)
- Botaschanjan J and Hummel B Specifying the worst case Proceedings of the eighteenth international symposium on Software testing and analysis, (273-284)
- Spanfelner B, Leuxner C and Sitou W Formal specification of system functions Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering, (26-31)
- Broy M, Leuxner C, Sitou W, Spanfelner B and Winter S Formalizing the notion of adaptive system behavior Proceedings of the 2009 ACM symposium on Applied Computing, (1029-1033)
- Hayes I Towards reasoning about teleo-reactive programs for robust real-time systems Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, (87-94)
- Hummel B and Braun P Towards an integrated system model for testing and verification of automation machines Proceedings of the 2008 international workshop on Models in software engineering, (51-56)
- Ermagan V, Krüger I and Menarini M Aspect-oriented modeling approach to define routing in enterprise service bus architectures Proceedings of the 2008 international workshop on Models in software engineering, (15-20)
- Hölzl F and Feilkas M AutoFocus 3 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (317-322)
- Lund M, Refsdal A and Stølen K Semantics of UML models for dynamic behavior Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (77-103)
- Schätz B and Giese H Models of reactive systems Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (3-15)
- Morrison R, Balasubramaniam D, Oquendo F, Warboys B and Greenwood R An active architecture approach to dynamic systems co-evolution Proceedings of the First European conference on Software Architecture, (2-10)
- Jones C (2007). Splitting atoms safely, Theoretical Computer Science, 375:1-3, (109-119), Online publication date: 20-Apr-2007.
- Chen X, He J, Liu Z and Zhan N A model of component-based programming Proceedings of the 2007 international conference on Fundamentals of software engineering, (191-206)
- Dosch W, Muenchaisri P, Ruanthong W and Stümpel A Model checking for input/output properties of a black-box model Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, (120-127)
- Broy M, Krüger I and Meisinger M (2007). A formal model of services, ACM Transactions on Software Engineering and Methodology, 16:1, (5-es), Online publication date: 1-Feb-2007.
- Broy M Interaction and Realizability Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science, (29-50)
- Reisig W, Bretschneider J, Fahland D, Lohmann N, Massuthe P and Stahl C Services as a paradigm of computation Formal methods and hybrid real-time systems, (521-538)
- Jones C, Hayes I and Jackson M Deriving specifications for systems that are connected to the physical world Formal methods and hybrid real-time systems, (364-390)
- Broy M From "formal methods" to system modeling Formal methods and hybrid real-time systems, (24-44)
- Kraemer F and Herrmann P Service Specification by Composition of Collaborations--An Example Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology, (129-133)
- Broy M Requirements engineering as a key to holistic software quality Proceedings of the 21st international conference on Computer and Information Sciences, (24-34)
- Broy M (2006). The 'Grand Challenge' in Informatics, Computer, 39:10, (72-80), Online publication date: 1-Oct-2006.
- Seehusen F and Stølen K Maintaining information flow security under refinement and transformation Proceedings of the 4th international conference on Formal aspects in security and trust, (143-157)
- Hamlet D Defining “predictable assembly” Proceedings of the 9th international conference on Component-Based Software Engineering, (320-327)
- Dosch W and Stümpel A Deriving state-based implementations of interactive components with history abstractions Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (180-194)
- Broy M Challenges in automotive software engineering Proceedings of the 28th international conference on Software engineering, (33-42)
- Oquendo F (2006). π-Method, ACM SIGSOFT Software Engineering Notes, 31:3, (1-13), Online publication date: 1-May-2006.
- Chekin K (2005). Theory of infinite streams and objects, ACM SIGSOFT Software Engineering Notes, 31:2, (15-es), Online publication date: 1-Mar-2006.
- Mateescu R and Oquendo F (2006). π-AAL, ACM SIGSOFT Software Engineering Notes, 31:2, (1-19), Online publication date: 1-Mar-2006.
- Oquendo F (2006). Formally modelling software architectures with the UML 2.0 profile for π-ADL, ACM SIGSOFT Software Engineering Notes, 31:1, (1-13), Online publication date: 1-Jan-2006.
- Jürjens J Model-based security engineering with UML Proceedings of the 4th international conference on Formal Methods for Components and Objects, (64-87)
- Lau K, Ornaghi M and Wang Z A software component model and its preliminary formalisation Proceedings of the 4th international conference on Formal Methods for Components and Objects, (1-21)
- Pretschner A and Prenninger W Computing refactorings of behavior models Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems, (126-141)
- Refsdal A, Husa K and Stølen K Specification and refinement of soft real-time requirements using sequence diagrams Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems, (32-48)
- Chekin K Theory of infinite streams and objects Proceedings of the 2005 conference on Specification and verification of component-based systems, (15-es)
- Fahrmair M, Sitou W and Spanfelner B An engineering approach to adaptation and calibration Proceedings of the Second international conference on Modeling and Retrieval of Context, (134-147)
- Oquendo F Model-driven refinement of software architectures with π-ARL Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science, (1-7)
- Arbab F, Baier C, de Boer F, Rutten J and Sirjani M Synthesis of reo circuits for implementation of component-connector automata specifications Proceedings of the 7th international conference on Coordination Models and Languages, (236-251)
- Arbab F (2005). Abstract behavior types, Science of Computer Programming, 55:1-3, (3-52), Online publication date: 1-Mar-2005.
- Broy M A core theory of interfaces and architecture and its impact on object orientation Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components, (26-47)
- Deubler M, Grünbauer J, Jürjens J and Wimmel G Sound development of secure service-based systems Proceedings of the 2nd international conference on Service oriented computing, (115-124)
- Liu Z, Jifeng H and Li X rCOS Proceedings of the Third international conference on Formal Methods for Components and Objects, (183-221)
- Romberg J and Bauer A Loose synchronization of event-triggered networks for distribution of synchronous programs Proceedings of the 4th ACM international conference on Embedded software, (193-202)
- Chen Y, Liu S and Nagoya F An approach to integration testing based on data flow specifications Proceedings of the First international conference on Theoretical Aspects of Computing, (235-249)
- Oquendo F (2004). Formally refining software architectures with π-ARL, ACM SIGSOFT Software Engineering Notes, 29:5, (1-26), Online publication date: 1-Sep-2004.
- Oquendo F (2004). π-ARL, ACM SIGSOFT Software Engineering Notes, 29:5, (1-20), Online publication date: 1-Sep-2004.
- Dosch W and Stümpel A Transforming stream processing functions into state transition machines Proceedings of the Second international conference on Software Engineering Research, Management and Applications, (1-18)
- Oquendo F (2004). π-ADL, ACM SIGSOFT Software Engineering Notes, 29:3, (1-14), Online publication date: 1-May-2004.
- Schätz B Mastering the complexity of reactive systems Formal methods for embedded distributed systems, (215-258)
- Haugen Ø, Husa K, Runde R and Stølen K Why timed sequence diagrams require three-event semantics Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools, (1-25)
- Krüger I Capturing overlapping, triggered, and preemptive collaborations using MSCs Proceedings of the 6th international conference on Fundamental approaches to software engineering, (387-402)
Index Terms
- Specification and development of interactive systems: focus on streams, interfaces, and refinement
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Pragmatic Tabular Specification Method for Interactive Systems
ICNDC '13: Proceedings of the 2013 Fourth International Conference on Networking and Distributed ComputingThe need for a multi-format specification method with unambiguous, easy-to-understand, and easy-to-validate notation is widely recognized. In many years, presenting specifications by diagrams or tables is considered a significant help. In this paper, we ...
Structured Specification of Communicating Systems
Specification methods for distributed systems is the underlying theme of this paper. A model of communicating processes with rendezvous interactions is assumed as a basis for the discussion. The possible interactions by a process, and the ...
Specification Diagrams for Actor Systems
Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specifying message-passing behavior that is expressive, intuitively understandable, and that ...